狭义模糊逻辑中的锁语义归结原理

在狭义模糊逻辑中的锁语义归结原理可以有比在广义模糊逻辑中更强的限制。本文讨论了这种更强限制下的锁语义归结原理,证明了它在狭义模糊逻辑中是完备的。     

一种新的语义归结原理——IDI-归结

本文利用Boyer 1971年使用的将子句中文字指数化的思想,引进了IDI-归结原理,IDI-归结原理具有OI-归结原理的在互撞的电子中,唯一挑选归结文字的优点,并证明了1型IDI-归结原理对于基子句集是完备的,2型IDI-归结原理对于一般子句集是完备的。     

SLDNF-归结原理关于模态语义的完备性

Ｂａｒａｔｅｌｌａ定义了正规谓词逻辑程序的模态完全化语义,并证明了该语义关于ＳＬＤＮＦ－归结的部分完备性。本文首先给出了逻辑程序的模态直承算子,并研究了相关的理论性质,进而证明了模态完全化语义关于ＳＬＤＮＦ－归结的完备性。     

布尔算子模糊逻辑中的广义半锁归结原理

大量冗余子句的产生是导致归结方法低效率的根本原因。锁策略通过对子句集中的原子进行配锁,限制某此子旬间的归结以减少无用子句的产生,从而能够提高归结方法的效率。在布尔算子模糊逻辑中,当相同谓词符号配相同锁时,广义锁归结方法是广义完备的。如果对配锁方式不加任何限制,则广义半锁归结方法是广义完备的。     

3型IDI-归结原理

本文改进了作者提出的IDI-归结原理,使之有效性有所提高,亦即,将IDI-互撞中的电子序号化,并要求每一个互撞中电子的序号序列是不减的,从而引进了3型IDI-归结原理,并证明了它对于一阶逻辑中的子句集是完备的。 本文还顺便指出了文献[1]中关于PI-互撞的性质的一个错误,并利用本文提出的序号化方法,对这个错误进行了补救。     

广义支撑集归结原理

广义归结是对Ｊ．Ａ．Ｒｏｂｉｎｓｏｎ普通归结的推广．支撑集策略是提高归结效率的有效方法．本文将支撑集策略引入广义归结中,提出了广义支撑集归结方法,并证明了它的完备性．     

Horn集上的语义归结和调换

本文在两种类型的解释上讨论了R-不可满足Horn子句集合上的语义归结和调换.     

Horn集上的语义正单元归结

Ｌ． Ｈｅｎｓｃｈｅｎ证明了语义归结对 Ｈｏｒｎ集是完备的［１］。但是语义归结不是正单元归结。本文的主要结果是不可满足的Ｈｏｒｎ子句集合Ｓ有这样一个反驳，对于这个反驳的每一个归结来说，或者一个祖先子句是正单元，而且该正单元在 Ｉ上是假的；或者一个祖先子句是正单元，而且从另一个祖先子句和这个归结式中删去他们的正义字后剩下的子句在 Ｉ上都是假的．其中 Ｉ是 Ｓ的任何一个解释。     

直觉模糊逻辑中的归结原理

在模糊逻辑归结原理的基础上，用（０，１）中的两个实数表示一个命题“真的程度”和“假的程度”，从而提出了直觉模糊逻辑，本文提出直觉模糊逻辑的归结原理，并证明其完备性。     

λ-Horn集上的λ-单元锁归结

本文给出了λ-Horn集上的λ-单元锁归结方法,并证明了λ-单元锁归结方法对λ-恒假公式是完备的。     

归结原理在不精确推理中的应用

归结原理是定理机器证明中的一种基本技术.在知识工程的研究中,需要处理不确定和不精确的知识,本文讨论了采用可能性理论表示不确定命题和谓词的方法,以及如何应用归结原理来进行不精确的推理.     

格值命题逻辑LP(X)中的语义归结方法

为了提高格值命题逻辑LP(X)中的α-归结原理的推理效率,将语义归结策略应用于α-归结原理,讨论了格值命题逻辑LP(X)中的α-语义归结方法,并证明了该方法的可靠性和弱完备性,为基于格值逻辑的归结自动推理提供一定基础。     

格值命题逻辑系统LP(X)的语义归结方法

为提高格值逻辑系统中α-归结原理的效率,将语义归结思想和α-归结原理相结合,讨论了格值逻辑系统的α-语义归结方法,并得到了其可靠性和完备性,为基于格值逻辑的归结自动推理算法作了必要的准备。     

席瓦尔兹引理和最大模原理的应用

席瓦尔兹引理和最大模原理是解析函数的两个重要性质．它们是研究解析函数的有力工具．本文应用两重要性质对单位圆内单叶解析函数的某几个方面的结论进行了探讨。     

RUE-NRF演绎与使用归结和调解的演绎

本文证明了在一定条件下,RUE-NRF演绎可以重写为使用归结和调解的演绎;通过反例说明RUE-NRF输入反驳与RUE-NRF单元反驳不等价及RUE-NRF线性反驳的不完备性.     

直觉算子模糊逻辑中的蕴含及其归结原理

在直觉算子模糊逻辑系统中引进了(μ，v)-弱蕴含和(μ，v)-强蕴含的概念，探讨了它们的性质和联系，给出了关于(μ，v)-归结的完整的完备性定理．     

格值一阶逻辑中α-语义归结方法的相容性

为优化基于格值逻辑的α-归结原理,将删除策略应用于α-语义归结方法,研究了基于格值逻辑的带有删除策略的α-语义归结方法.首先给出了带有删除策略的α-语义归结的完备性;接着,给出了带有删除策略的α-语义归结算法,并证明了该算法的可靠性和完备性;通过实例说明了该算法的可行性.     

输入归结与单元归结有效性的比较

本文讨论了输入归结的有效性并把它与单元归结的有效性作了比较.     

OL归结的反例及改进的MOL归结

本文给出一个反例,从中可看出OL归结是不完备的。然后加以若干改进,提出一种改进后的序线性归结原理,即MOL归结。本文证明了MOL归结原理是完备的。