摘要:1973年,Chang和Lee将线性归结与有序归结相结合,提出了有序线性归结,即OL归结,极大地提高了线性归结的效率和机械性。然而,OL归结并不是一种完备的归结方法。在OL归结的约化条件的基础上提出了强约化的概念。强约化条件对中心有信息有序子句的约化做了进一步的限制,且该强约化条件是约化条件的一种特例。在强约化条件的基础上,还提出了一种改进的OL归结——SOL归结,并证明了其完备性。
关键词:ol归结 sol归结 强约化 完备性
单位:西南交通大学信息科学与技术学院; 四川成都610031
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社