Horn集上的输入半锁归结原理
摘要
归结原理是1965年由Robinson提出的一种重要的定理机器证明方法. 1970年,Loveland和Luckham提出了线性归结,这是对归结原理的重要改进. 一种特殊的线性归结——输入归结在计算机上极易实现. 可惜,输入归结是不完备的. 1974年Henschen和Wos研究了一种特殊子句集,即所谓Horn子句集. 输入归结对于Horn集是完备的. 1981年,陆汝铃对Horn集上的正单项有序归结和有序输入归结进行了研究,并得到很好的结果.
引用本文（GB/T 7714）
叙华 刘. Horn集上的输入半锁归结原理[J]. Chinese Science Bulletin (Chinese Version), 1985.
引文网络
本站仅收录题录与摘要供学习参考，全文版权归属出版方；如有侵权请联系我们删除。