共查询到20条相似文献,搜索用时 15 毫秒
1.
知识库系统的逻辑基础 总被引:3,自引:0,他引:3
针对知识库系统的研究现状和存在的问题,分析了用经典一阶谓词逻辑作为知识库系统逻辑基础的不充分性,根据知识库系统的特点和需求,指出可计算性逻辑既能为知识库系统提供合理的逻辑基础,义能弥补经典逻辑作为知识库系统逻辑基础的不足.并在此基础上用证明论方法,建立了一个基于可计算性逻辑的完备子集CL4的知识库系统的公理系统,显示出易于表达、操作简单的特点. 相似文献
2.
3.
大规模领域本体的快速发展对语义Web领域的数据访问提出了更高的要求,而基本的本体推理服务已不能满足数据密集型应用中处理复杂查询(主要是合取查询)的迫切需要.为此,大量的研究工作集中在本体和描述逻辑知识库合取查询算法的设计实现上,并开发出了很多知识库存储和查询的实用工具.近来模糊本体和模糊描述逻辑的研究,特别是它们在处理语义Web中模糊信息方面,得到了广泛关注.文中重点研究了模糊SH这一族极富表达能力的描述逻辑知识库的合取查询问题,提出了相应的基于推演表的算法,证明了算法对于f-SHOIQ的真子逻辑的可靠性、完备性和可终止性.证明了算法对于f-SHOIQ是可靠的,并分析了导致算法不可终止的原因.对于该问题的数据复杂度,证明了当查询中不存在传递角色时其严格的CONP上限.对于联合复杂度,汪明了算法关于知识库和查询大小的CO3NEXPTIME时间复杂度上限. 相似文献
4.
基于ATMS的知识库维护系统与开放逻辑的实现 总被引:2,自引:0,他引:2
In this paper, a novel ATMS-based knowledge base maintenance system is proposed. Itenhances functions of the tranditional knowledge base maintenance systems as it is a multiple con-text, open and non-monotonic system, and possesses capacities of describing and characterizingknowledge increment, knowledge update and scientific discoveries. The relation of the open logicand this system is also discussed. Both of them aim at the computer simulation of higher mentalprocesses on theoretical foundation and implementation respectively 相似文献
5.
本文提出的方法是以Loveland的MESON一阶逻辑定理证明过程为基础,用于一阶逻辑规则知识库的冗余性和不一致性的检测.知识库的规则可包含非真、或及if-and-only-if规则.系统以交互形式从正、反向推理研究知识库规则增加时的变化. 相似文献
6.
城市公共交通(地铁,公交,出租车等)智能系统,都各自建立起自己的知识库和专家系统,但是这些知识库是相互独立的。为了应对不同领域知识库的融合问题,提出一种基于描述逻辑的知识库融合方法。这种方法的主要思想是基于描述逻辑建立起知识库描述语言的积语言,并建立用于这种混合知识库推理的Tableau算法,然后把算法具体应用到某城市的交通信息系统的智能查询中。实例分析表明,混合描述逻辑能够给人们带来更高效的信息服务。 相似文献
7.
8.
9.
10.
11.
针对角色描述能力较弱的问题,在现有描述逻辑SHIQ中增加角色表达式对角色进行描述,形成描述逻辑SHIQb。给出SHIQb的相关定义,并证明若SHIQb知识库中所有角色表达式都是安全的,那么该知识库在现有的推理机KAON2上的推理仍然是Polynomia Time这一定理。在此基础上,提出一种能够判断角色表达式是否安全的算法。 相似文献
12.
Web Agent技术是近年来互联网领域研究的热点。以国防科研项目“基于multi-Agent的分布式决策支持系统”及其后勤保障应用为背景,介绍了一个基于语义Web与Web服务的多Agent系统,并通过后勤保障原型应用实例描述了对象逻辑知识库的构造。 相似文献
13.
当前的实用知识库系统研究是将知识库查询语言嵌入到一个过程语言中。KBASE-P是一个通用的知识库程序设计语言。KBASE-P以KBASE作为查询语言,以FD-PROLOG(我们开发的一个PROLOG扩充)为过程性的宿主语言执行I/O和DB更新操作(用扩充的内部谓词)。由于良好的设计和实现,查询语言与宿主语言之间的阻抗不匹配问题相对较小。因而,KBASE-P是一个比较实用的知识库程序设计语言。KBA 相似文献
14.
本文把未来全球化教育向ICAI提出的需求作为出发点,概括出未来ICAI系统中知识库的基本特征;讨论了以往ICAI系统中知识库模型的不足之处,提出在ICAI中使用面向对象数据库是解决该问题的一个有效途径。 相似文献
15.
当前的实用知识库系统研究是将知识库查询语言嵌入到一个过程语言中.KBASE-P是一个通用的知识库程序设计语言.KBASE-P以KBASE作为查询语言,以FD-PROLOG(我们开发的一个PROLOG扩充)为过程性的宿主语言执行1/O和DB更新操作(用扩充的内部谓词).由于良好的设计和实现,查询语言与宿主语言之间的阻抗不匹配问题相对较小.因而,KBASE-P是一个比较实用的知识库程序设计语言.KBASE-P系统支持逻辑程序设计语言(KBASE-P语言)的程序开发,提供了文本编辑、文件管理、谓词管理、事实操作、Datalog查询、SQL查询等功能.本文详细介绍了KBASE-P系统的设计和实现. 相似文献
16.
17.
本文首先介绍了知识库维护过程中诸如知识库序列、新规则、用户反驳以及重构等概念;然后给出了一个扩充逻辑程序设计的框架,在这一框架下,每个逻辑程序等价于一个知识库;进一步定义了一个转换系统,称为扩充逻辑程序设计的R-演算,对一个给定的知识库和用户反驳,此演算可以导出知识库的最佳修正;同时证明了该演算的可靠性和完备性;另外,对本文的工作与其他相关工作进行了比较;最后,给出了本文的结论. 相似文献
18.
本文讨论知识库开发环境KBDE的基础研究工作。KBDE以元级逻辑程序设计为基础,从而能够适应不同的知识表示、推理策略、解释策略;另一方面,我们研究的部分计算机制明显提高了元级描述的运行效率,保证了KBDE的实用性。本文将着重讨论KBDE的结构、部分计算机制和KBDE内核。 相似文献
19.
扩充逻辑程序设计的R—演算—知识库维护的操作方法 总被引:1,自引:0,他引:1
本文首先介绍了知识库维护过程中诸如知识库序列、新规则、用户反驳以及重构等概念;然后给出了一个扩充逻辑程序设计的框架,在这一框架下,每个逻辑程序等价于一个知识库;进一步定义了一个转换系统,称为扩充逻辑程序设计的R-演算,对一个给定的知识库和用户反驱,此演算可以导出知识库的最佳修正;同时证明了该演算的可靠性和完备性;另外,对本文的工作与其他相关工作进行了比较;最后,给出了本文的结论。 相似文献