NC线性对称调解

本文提出了NC调解方法,证明了NC对称调解与NC归结的结合及广义对称调解与广义归结的结合的线性演绎都是完备的。     

广义模糊逻辑和锁语义归结原理

将命题的真值取在格上的模糊逻辑,我们称为广义模糊逻辑。本文讨论了这种广义模糊逻辑的性质,并证明了,对于一阶谓词公式,在广义模糊逻辑中的不可满足性和在二值逻辑中的不可满足性是等价的。还证明了原始的归结原理在广义模糊逻辑中是完备的。 最后,在模糊逻辑中讨论了涉及子句真值的语义归结原理,对于在广义模糊逻辑中的不可满足配锁子句集,在任意一个模糊解释下,使用语义归结原理,总可演绎出空子句。     

认识逻辑(1):关于知识和信念的逻辑框架

知识和信念是人工智能领域研究中经常涉及到的两个重要概念。本文讨论了知识和信念的涵义与关系，定义了认识逻辑系统ＥＩ，讨论了它的语法和语义，证明了认识逻辑ＥＬ不但是可靠的而且是完备的，认为逻辑ＥＬ不但可以用来描述人类的认识过程，还可以用于对常识推理以及分布式系统的形式化描述。     

相关逻辑及其推理

为了排除“实质蕴涵怪论”,Ackermann于五十年代提出了相关逻辑。尔后,由Anderson和Belnap等人进行了研究。近期,其进一步研究主要集中在美国和澳大利亚。本文简要介绍了命题相关逻辑R的一个子系统LR及其自动推理方法。     

非单调推理的研究现状

一、引言 早在1959年,McCart~[1]就发现常识和常识推理很难处理,因为在常识推理中当前得出的结论,可能会由于以后新事实的加入而被取消.这就是所谓的“非单调性”。     

基于组合─分解的机器发现方法

本文提出了一个用以刻划综合与分析的发现过程的机器发现方法，定义了组合－分解算子、组合－分解函数、函数发现和函数维护等概念，给出了组合－分解函数的发现算法和维护算法．作为应用，本文探讨了关于知识发现和知识维护的函数型知识发现过程．     

算子Fuzzy逻辑和λ—归结方法

本文提出了算子Fuzzy逻辑,并给出了这种逻辑系统中公式的一些简单性质,在算子Fuzzy逻辑中,提出了λ-恒真和λ-恒假的概念,提出了λ-归结方法。证明了:对于任一个λ-恒假公式,使用λ-归结方法,都可以在有限步内,给以判定。     

三种归结原理间的相容性问题

语义归结、锁归结、线性归结是三种重要的关于归结原理的改进。本文给出如下结果:语义归结和锁归结在某种条件下是相容的;语义归结和线性归结是不相容的;线性归结和锁归结在某种条件下是相容的。显然,任意两种归结的相容方法是对原来两种归结方法的进一步改进。     

基于模糊逻辑的不确定知识处理（Ⅱ）─—模糊逻辑的TABLEAU推理

本文基于ＴＡＢＬＥＡＵ方法，给出了模糊逻辑中一些至今缺少有效证明论的推理关系的证明论，也给出了作者提出的模糊择优蕴涵的判定过程．据此说明了Ｙａｇｅｒ所给出的推理规则对其所讨论的模糊推理关系是不完备的．分析了本文对前提和结论分别构造ＴＡＢＬＥＡＵ推理树的方法在研究推理关系的相关性等方面的直观语义和作为模糊Ｐｒｏｌｏｇ的推理机所具有的优越性．     

锁语义归结原理和模糊逻辑

一、LI-归结原理定义:设I是一个解释,已配锁的有限子句序列(E_1,…,E_q,N),q≥1,称为关于I的锁语义互撞,简称LI-互撞,当且仅当E_1,…,E_q,N满足下面条件: 1)E_1,…,E_q在I下为假, 2)令R_1=N,对每个i=1,…,q,存