一种改进的OL归结——SOL归结

摘要：

1973年,Chang和Lee将线性归结与有序归结相结合,提出了有序线性归结,即OL归结,极大地提高了线性归结的效率和机械性.然而,OL归结并不是一种完备的归结方法.在OL归结的约化条件的基础上提出了强约化的概念.强约化条件对中心有信息有序子句的约化做了进一步的限制,且该强约化条件是约化条件的一种特例.在强约化条件的基础上,还提出了一种改进的OL归结——SOL归结,并证明了其完备性.

关键词：OL归结、SOL归结、强约化、完备性

所属期刊栏目：41

分类号：TP301.1(计算技术、计算机技术)

资助基金：国家自然科学基金61673320;中央高校基本科研业务费专项资金2682018ZT10

在线出版日期：2019-03-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：98-103