[01590931]基于元逻辑程序的通用知识处理系统MKS
联系人：
所在地：
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
登录后向技术服务商咨询
发布技术需求
服务免费，交易还可领红包哦
技术详细介绍
根据Ｋ ｏｗａｌｓｋｉ提出的将元级、目标级逻辑式语言相混合的思想，通过对ＴＵＲＢＯ ＰＲＯＬＯＧ进行彻底的元级扩充和改造而实现了通用知识库系统ＭＫＳ。该系统是一个集知识消化与问题求解功能于一体的知识库开放式集成开发环境，除具有原ＰＲＯＬＯＧ系统的全部目标级逻辑推理功能外，同时实现了对知识库逻辑一致性检测（包括对以事实和规则两种形式表示的知识进行可导性、矛盾性、冗余性和独立性的完全检测），解决了由于缺少基于ＴＵＲＢＯ ＰＲＯＬＯＧ的强有力知识消化系统这一制约知识库系统质量和性能问题，具有重要的理论和实践价值。