首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  完全免费   1篇
  自动化技术   1篇
  1997年   1篇
排序方式: 共有1条查询结果,搜索用时 15 毫秒
1
1.
知识库维护过程中检查其协调性的有效方法   总被引:3,自引:0,他引:3       下载免费PDF全文
沈宁川  龙翔  李未 《软件学报》1997,8(1):14-21
本文首先描述了知识库维护过程中的协调性问题,然后给出了扩充逻辑程序设计的框架,在此框架下,每个逻辑程序等价于一个知识库.为了检查知识库的协调性,本文为知识库中的推理规则构造了正支持集和负支持集,并给出了一些定义;基于这些概念和定义,提出了知识库维护过程中检查知识库协调性的一种有效方法,并证明了相关的定理;基于此方法,实现了一个算法CHIME,并给出了用CHIME分析一些知识库的实验结果.本文还提到一些相关的工作,最后给出结论.  相似文献
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号