首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   3篇
  完全免费   3篇
  自动化技术   6篇
  2008年   1篇
  2006年   1篇
  1997年   2篇
  1996年   1篇
  1995年   1篇
排序方式: 共有6条查询结果,搜索用时 31 毫秒
1
1.
知识库维护过程中检查其协调性的有效方法   总被引:3,自引:0,他引:3       下载免费PDF全文
沈宁川  龙翔  李未 《软件学报》1997,8(1):14-21
本文首先描述了知识库维护过程中的协调性问题,然后给出了扩充逻辑程序设计的框架,在此框架下,每个逻辑程序等价于一个知识库.为了检查知识库的协调性,本文为知识库中的推理规则构造了正支持集和负支持集,并给出了一些定义;基于这些概念和定义,提出了知识库维护过程中检查知识库协调性的一种有效方法,并证明了相关的定理;基于此方法,实现了一个算法CHIME,并给出了用CHIME分析一些知识库的实验结果.本文还提到一些相关的工作,最后给出结论.  相似文献
2.
本文首先介绍了知识库维护过程中诸如知识库序列、新规则、用户反驳以及重构等概念;然后给出了一个扩充逻辑程序设计的框架,在这一框架下,每个逻辑程序等价于一个知识库;进一步定义了一个转换系统,称为扩充逻辑程序设计的R-演算,对一个给定的知识库和用户反驳,此演算可以导出知识库的最佳修正;同时证明了该演算的可靠性和完备性;另外,对本文的工作与其他相关工作进行了比较;最后,给出了本文的结论.  相似文献
3.
Sme concepts used in knowledge base maintenace,such as sequence,new law,user‘s rejection and reconstructions of a knowledge base,are first introduced,and then a framework for extended logic programming(ELP)is given,where an extended logic program is equivalent to a knowledge base.A transition system called R-calculus for ELP is provided.For a given knowledge base and a user‘s rejection,the R-calculus for ELP will deduce best revisions of the base.The soundness and the completeness of the R-calculus for ELP are proved,and the R-calculus for ELP is implemented in Prolog.In addition,the research is compared with other relevant work.  相似文献
4.
5.
事实是逻辑程序的重要组成部分,事实维护影响着整个逻辑程序的一致性和完整性,并能够促进和完善规则维护。论文在分析了人工进行维护操作的弊端后,对事实维护中可能出现的情况进行分类分析,提出了事实维护系统的框架,重点描述了预警检测子系统所扮演的核心作用。  相似文献
6.
陈武  张明义 《计算机科学》2008,35(5):209-212
本文从基于信念修改的角度提出了两个AGENT之间的一个重复协商框架.在这个框架中,一个逻辑程序被当作一个协商的AGENT,每一个AGENT(逻辑程序)选择自己的一个回答作为自己最初的协商需求.两个AGENT之间的协商过程就是两个逻辑程序之间相互更新的过程,这个过程是通过协商的每一方接受对方的部分(或,全部)需求和放弃自己部分协商需求来实现的.本文设计了协商双方必须遵守的一些协商规则,根据这些规则对这个协商框架进行了形式化描述,并给出了协商的终止条件.  相似文献
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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