10.3969/j.issn.1007-130X.2019.01.013
一种改进的OL归结——SOL归结
1973年,Chang和Lee将线性归结与有序归结相结合,提出了有序线性归结,即OL归结,极大地提高了线性归结的效率和机械性.然而,OL归结并不是一种完备的归结方法.在OL归结的约化条件的基础上提出了强约化的概念.强约化条件对中心有信息有序子句的约化做了进一步的限制,且该强约化条件是约化条件的一种特例.在强约化条件的基础上,还提出了一种改进的OL归结——SOL归结,并证明了其完备性.
OL归结、SOL归结、强约化、完备性
41
TP301.1(计算技术、计算机技术)
国家自然科学基金61673320;中央高校基本科研业务费专项资金2682018ZT10
2019-03-18(万方平台首次上网日期,不代表论文的发表时间)
共6页
98-103