线性归结相关论文
归结原理是1965年由Robinson提出的一种重要的定理机器证明方法。1970年,Loveland和Luckham提出了线性归结,这是对归结原理的重要......
在自动定理证明中，我们发现一个卓有成效的证明方法——多余文字参数法．利用这一方法可以简单便捷地证明许多难以证明的各种推理策略......
引进了一套次协调逻辑系统－注解逻辑的线性归结方法后，在探讨的过程中提出了若干命题，并用一个推理实例表明在该系统中产生次调性后，仍......
本文研究了Ｈｏｒｎ子句的形式描述，分析了ＰＲＯＬＯＧ语言的归结机制，探讨了了有选择线性归结及其不完备性，提出的改进技术引入了宽度优先搜索机制，并在理......
