共 2 条
使用引理的锁语义归结原理——LI-归结原理
被引：5
作者：
刘叙华
机构：
[1] 吉林大学计算机科学系
来源：
关键词：
归结原理;
出口;
文字;
LI;
引理;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
为了改进对于一阶逻辑中子句集是完备的2型IDI-归结原理的一个缺点,即在IDI归结中,只对其中一个亲本子句的归结文字有所限制,对另一个亲本子句的归结文字没有任何限制,本文提出了锁语义归结,简称LI-归结。即在这种语义归结原理中,象锁归结过程一样,每一次归结的两个亲本子句中的归结文字,都是该子句中有最小锁的文字,并证明了以一种固定的配锁方法,LI-归结原理对于一阶逻辑中的子句集是完备的。 使用引理的概念,将LI-演绎进行线性整理,从而引进了TLI-演绎的概念。
引用
收藏
页码：129 / 136
页数：8
相关论文