Horn集上的有向调解法  

Directed Paramodulation on Horn Set

作　　者：欧阳丹彤[1] 刘叙华[1] 

机构地区：[1]吉林大学计算机科学系

出　　处：《吉林大学自然科学学报》1992年第4期38-42,共5页Acta Scientiarum Naturalium Universitatis Jilinensis

基　　金：国家自然科学基金;国家教委博士点基金;国家863计划资助课题

摘　　要：本文证明了在一定条件下输入有向调解法在Horn集上是完备的,进而得出了在该条件下的单元有向调解法对Horn集的完备性。In this paper, it is proved that under some conditions input directed paramodulation is complete on Horn set, so that it is concluded that under the same conditions unit directed paramodulation is complete on Horn set.

关 键 词：HORN集 调解法 完备性 

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构]