共 1 条
3型IDI-归结原理
被引：4
作者：
刘叙华
机构：
[1] 吉林大学计算机科学系
来源：
关键词：
归结原理;
刘叙华;
结式;
出口;
电子;
有效性;
轻子;
IDI;
指数化;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
本文改进了作者提出的IDI-归结原理,使之有效性有所提高,亦即,将IDI-互撞中的电子序号化,并要求每一个互撞中电子的序号序列是不减的,从而引进了3型IDI-归结原理,并证明了它对于一阶逻辑中的子句集是完备的。 本文还顺便指出了文献[1]中关于PI-互撞的性质的一个错误,并利用本文提出的序号化方法,对这个错误进行了补救。
引用
收藏
页码：47 / 52
页数：6
相关论文