未找到相关数据
一种新的语义归结原理——IDI-归结
被引：12
作者：
刘叙华
机构：
[1] 电子计算机系
来源：
关键词：
归结原理;
指数化;
出口;
IDI;
文字;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
本文利用Boyer 1971年使用的将子句中文字指数化的思想,引进了IDI-归结原理,IDI-归结原理具有OI-归结原理的在互撞的电子中,唯一挑选归结文字的优点,并证明了1型IDI-归结原理对于基子句集是完备的,2型IDI-归结原理对于一般子句集是完备的。
引用
收藏
页码：112 / 117
页数：6
相关论文