锁归结相关论文
文献[1]提出了Horn集上输入半锁归结原理,文献[2]则把文献[1]的结论推广到了含有等词的Horn集上。文献[3]提出了处理等词的RUE-NR......
归结原理是1965年由Robinson提出的一种重要的定理机器证明方法。1970年,Loveland和Luckham提出了线性归结,这是对归结原理的重要......
基于直觉模糊逻辑归结原理的一般形式，提出了子句(α，β)-可满足和(α，β)-归结式的概念，研究了它们的同可满足性，在直觉模糊逻辑系......
本文将一阶逻辑中的锁归结方法和广义锁归结方法推广到布尔算子Ｆｕｚｚｙ逻辑中，并且证明了布尔算子Ｆｕｚｚｙ逻辑的锁归结方法和一种特殊的广义锁归结......
本文给出了λ-Horn集上的λ-单元锁归结方法,并证明了λ-单元锁归结方法对λ-恒假公式是完备的。......
本文在RUE-NRF推理规则的基础上,定义了RUE-NRF输入归结、RUE-NRF单元归结及RUE-NRF锁归结的概念,证明了RUE-NRF输入反驳与RUE-NRF......
本文给出关于删除策略相容性的几个结果，对相同谓词符号配用锁的子句集，锁归结和删除策略联用完备，对正文字锁大于负文字锁的Ｈｏｒｎ集，正单元......
