逻辑程序中的否定问题与非单调逻辑

1引言 常识推理的一个共同特性是在不完全知识下的推理,非单调推理提供了不完全知下的推理方法,它能在有限如识的基础上得出一些结论,而当知识进一步丰富时这些结论是可销的。最著名的非单     

关于常识推理的统计途径

一、引言常识推理是人工智能的一个主要研究领域,在人类间题求解中是不可缺少的,但目前还没有关于它的严格定义,它泛指人们在日常生活中的推理。一般地说,常识推理具有下     

常识问题——常识,人工智能与数理逻辑

本文提出了常识问题，通过确立常识准则和常识模型，指出一个建立常识逻辑的技术途径。     

超协调逻辑（Ⅳ）—非单调超协调逻辑研究

这是关于超协调逻辑研究的末篇，文中分析了超协调逻辑与非单调逻辑的关系，并提出非单调超协调逻辑作为一种新的逻辑研究及其在形式化常识推理中的重要意义，最后，讨论了超协调逻辑的应用，特别是非单调超协调逻辑在计算机科学与人工智能中的应用问题。     

基于信度语义的算子模糊逻辑

本文在算子集与值域不同的算子格上，基于信度语义定义了一种归结推理更自然、具有结合性的算子模糊逻辑ＢＡＯＦＬ及一种语义有层次性的，非单调的算子模糊逻辑ＮＭＯＦＬ。     

基于改进的主动逻辑与元认知环的机器人常识推理的研究

针对常识推理的非单调和异常问题,构建了基于改进的主动逻辑与元认知环的机器人常识推理框架。首先,针对机器人在执行任务时易受异常情况干扰的问题,引入元认知环对异常进行监视和评估并引导机器人。其次,对主动逻辑进行改进,定义了事实、常识,及它们相互之间的蕴含、否定和无关三种关系,给出了详细的矛盾知识的发生的条件和定义,并给出了对应的矛盾知识的处理方法,提出在主动逻辑中事实包含关系的传递性及推理的非直接传递性以有效检测和处理矛盾。最后,设计的Pr2机器人取书的实验进一步验证了元认知环以及主动逻辑在机器人执行任务时对异常情况和矛盾知识处理的有效性。     

基于常识的亲属关系推理模型

常识知识的研究与发展得到了人工智能界的很大重视。文章建立了一个基于常识的人物亲属关系推理模型,研究了亲属关系常识以及人物信息的表示与存储。此外,对实际所要解决的问题进行了总结。     

经验逻辑：一种非单调逻辑的统一形式

人的常识推理是一种充满经验性知识的累积过程,而经验推理具有非单调性。本文提出一种关于典型与例外的经验逻辑,特别研究它的非单调性,它提供了一个现存的主要非单调逻辑的统一基础,这是通过一种类似的规则把它们翻译成经验逻辑获得的。因此,经验逻辑给出了一类更一般而且直观的非单调推理形式。     

一种带缺省推理的描述逻辑

该文提出了一种新的带缺省推理的描述逻辑，它以描述逻辑为主要框架，对单调逻辑和非单调逻辑进行了整合，但又避免了一般缺省逻辑的困难．基于带缺省推理的描述逻辑，构建了一种同时具有Tbox，Abox和缺省规则的知识库系统，研究了带缺省推理的描述逻辑的可满足性、缺省可满足性、概念包含、缺省包含以及实例检测等推理问题，提出了一种用来检测可满足性和缺省可满足性的Tableau—D算法，并得到了缺省可满足性和缺省包含的转换定理．     

老年人看护系统中常识推理的研究

根据老年人看护的需求,将常识推理运用到智能家庭老年人看护推理系统中,并将其与领域本体相结合,对系统实现的主要技术,即基于本体的常识表示与存储、规则的表示以及常识的推理进行探讨和构想,并通过典型应用实例验证了常识推理在老年人看护系统中的可行性、有效性及其重要性。     

超协调限制逻辑

本文给出了一阶超协调限制逻辑ＬＰｓ的定义，并证明了它与悖论逻辑（ＬＰ与ＬＰｍ）和限制逻辑（ＣＩＲＣ）的关系，ＬＰ作为一种非单调超协调逻辑具有非单逻辑和超协调逻辑的优点，而用能解决非单调逻辑和超协调逻辑存在的问题，它可作为在不完全与不协调知识下常识推理的形式化，因此它的知识表示中具有广泛的应用。     

基于四值语义的缺省逻辑

基于公式变换,给出一组缺省理论的变换方法,将命题语言L中的缺省理论变换到对应的命题语言L^-＋中,保证了所得到的缺省理论的所有扩张均不平凡,并通过一种弱变换可同时保证缺省扩张的存在性．为缺省理论定义了各种四值模型,使得缺省逻辑具有非单调超协调推理能力,并证明了L^-＋中的缺省扩张与L中缺省理论的四值模型之间具有一一对应关系．四值模型描述了公式变换的语义,基于四值语义的缺省推理通过缺省理论的变换技术能在标准的缺省逻辑中实现．     

一个在费协调逻辑中的限制

本通过应用限制到一个费协调逻辑给出一种费协调限制，费协调限制是一种费协调非单调逻辑，它能被极小化语义所刻划，并具有两方面优点：非单调逻辑在包含矛盾时是不平凡的；费协调逻辑在矛盾没有影响时等介于经典逻辑。     

非单调性和不一致性的处理——一个基于线性逻辑的方法

本文提出一种基于线性逻辑的理论L1,它除了能较好地反映常识推理的非单调性外,还可以在矛盾存在的情况下继续组织有效的推理。     

利用格论研究缺省推理

本文提出了一组转换规则,使用这组转换规则可以把缺省规则转换成扩展规则,然后使用这些扩展规则去扩展缺省理论的初始逻辑公式集合,在这些扩展规则的基础上,我们提出了缺省格(default lattice)的概念,证明了缺省理论的外延刚好对应于它的缺省格的相容性集合的D-极大值,因此可以使用缺省格求出缺省理论的所有外延.     

知识进化和高级思维过程的逻辑基础

一、引言人类在智能上同动物的主要区别是他们具有高级思维过程,即包括创造性思维、灵感或顿悟、和直觉等。然而,迄今为止的人工智能研究恰恰在模拟人类高级思维过程方面表现出苍白无力。究其原因:(1)在方法学上人工智能建立在物理符号系统假说的基础之上。该假说把人类的大脑简化为一个机械的信息加工系统,并把人类的思维过程分解为最基本的六项操作:输入、输出、存储、复制、结构化、和条件转移。