共查询到18条相似文献,搜索用时 125 毫秒
1.
2.
一个在弗协调逻辑中的限制 总被引:2,自引:1,他引:1
本文通过应用限制到一个弗协调逻辑给出一种弗协调限制,弗协调限制是一种弗协调非单调逻辑,它能被极小化语义所刻划,并具有两方面优点:非单调逻辑在包含矛盾时是不平凡的;弗协调逻辑在矛盾没有影响时等价于经典逻辑. 相似文献
3.
超协调逻辑(Ⅱ)—新超协调逻辑研究 总被引:3,自引:0,他引:3
这是关于超协调逻辑研究的第二篇。文中,基于对超协调逻辑应具有一定共性的理解,给出一个超协调逻辑的新定义,并给出在应用研究中提出的三类有代表性的新超协调逻辑,由于它们满足共同的逻辑性质,从而有一定的关系,特别是,它们与非单调逻辑密切有关,因此进一步提出一种相对于超协调性的超完全逻辑的定义与结果。 相似文献
4.
超协调逻辑(Ⅲ)—超协调性的逻辑基础 总被引:2,自引:0,他引:2
这是关于超协调逻辑研究的第三篇,文中将给出一种优先语义作为超协调性的模型论基础,并给出一种表演算系统作为超协调性的证明论基础,这种优先语义和表演算系统,不仅可以包括名种超协调逻辑,而且能够导出新的超协调逻辑,在一定意义上,是超协调逻辑的统一基础,容易统一地刻画非单调性。 相似文献
5.
一个在费协调逻辑中的限制 总被引:3,自引:2,他引:1
本通过应用限制到一个费协调逻辑给出一种费协调限制,费协调限制是一种费协调非单调逻辑,它能被极小化语义所刻划,并具有两方面优点:非单调逻辑在包含矛盾时是不平凡的;费协调逻辑在矛盾没有影响时等介于经典逻辑。 相似文献
6.
超协调逻辑(Ⅳ)—非单调超协调逻辑研究 总被引:2,自引:0,他引:2
这是关于超协调逻辑研究的末篇,文中分析了超协调逻辑与非单调逻辑的关系,并提出非单调超协调逻辑作为一种新的逻辑研究及其在形式化常识推理中的重要意义,最后,讨论了超协调逻辑的应用,特别是非单调超协调逻辑在计算机科学与人工智能中的应用问题。 相似文献
7.
语义万维网作为一个开放、不断更新而且相互协作的环境,经常会包含一些不协调的或不精确的信息。众所周知,描述逻辑是语义万维网重要的逻辑基础,然而描述逻辑缺乏处理不协调或不完全信息的能力。近来一些超协调方案通过限制或阻止使用一些推理规则来避免推理的平凡化,从而容忍本体中出现的不协调。因为这些方法限制了描述逻辑系统的推理能力,所以推理能力弱于经典的描述逻辑推理能力,即使在处理协调的本体时。提出一种基于符号变换的具有强推理能力的超协调推理算法。证明了该算法是可判定的,而且在处理协调的本体时该推理系统与经典逻辑系统具有相等的推理能力。 相似文献
8.
9.
10.
基于公式变换,给出一组缺省理论的变换方法,将命题语言L中的缺省理论变换到对应的命题语言L^-+中,保证了所得到的缺省理论的所有扩张均不平凡,并通过一种弱变换可同时保证缺省扩张的存在性.为缺省理论定义了各种四值模型,使得缺省逻辑具有非单调超协调推理能力,并证明了L^-+中的缺省扩张与L中缺省理论的四值模型之间具有一一对应关系.四值模型描述了公式变换的语义,基于四值语义的缺省推理通过缺省理论的变换技术能在标准的缺省逻辑中实现. 相似文献
11.
基于限定的规划识别问题求解 总被引:4,自引:0,他引:4
该文把McCarthy的限定理论同规划识别结合起来,在限定中研究规划识别问题,证明了在一定的限制下,由观察到的现象求出的最小规划集与对这些现象作限定获得的解集是一样的,以此为基础,文中提出了一种用限定求解规划识别问题的方式,这种方法把Kautz提出的规划识别表示形式做了某些改变,求解的过程中把二阶限定的表示形式转化为一阶形式,这种一阶形式的限定结果可以用逐点限定的方法直接求得,因为利用了逐点限定的这一特点,该文的方法对限定的计算过程中可以用机器自动完成。 相似文献
12.
基于限定的溯因问题求解 总被引:2,自引:0,他引:2
溯因问题是人工智能中的一个重要研究方向,它在许多领域中有着广泛的应用,但在很多情形下,溯因解释的求取是非常困难的.本文提供一种基于限定理论的溯因解释求法,对于满足完备性公理和正原因假设的理论,可以证明其限定中的相容解释就是溯因解释,并且对Horn子句集给出具体的求解算法. 相似文献
13.
14.
15.
Matthew L. Ginsberg 《Computational Intelligence》1988,4(3):265-316
16.
17.