|
|||||
|
|
| 负超有序消解原理 | |
| 引用本文： | 蔡经球.负超有序消解原理[J].厦门大学学报(自然科学版),1981(3). |
| 作者姓名： | 蔡经球 |
| 作者单位： | 厦门大学数学系 |
| 摘 要： | Robinson在1965年提出消解原理后,定理机械证明的研究工作取得了重大进展。但消解原理过于一般化,在消解过程中产生了许多不相干的多余子句。为了提高消解效率,继又提出了各种消解策略,其中语义消解原理是研究得较多的消解策略。在语义消解中,为了减少消解过程中多余子句的生成,主要采取三项措施:(1)利用(任意) |
| 本文献已被 CNKI 等数据库收录！ | |