广义归结

详细信息   |

• 出版年：1982
• 作者：王湘浩；刘叙华
• 单位1：吉林大学
• 语种：中文
• 起始页：81
• 总页数：12
• 刊名：计算机学报
• 是否内版：是
• 卷：5
• 期：2

摘要

本文对1965年J.A.Robinson提出的归结方法（Resolutionprinciple)做了推广，提出了广义归结方法.由于广义归结方法允许对A要证明的定理做比较自然的描述，因此，使用广义归结方法去证明定理会简单，自然.本文证明了广义归结方法的完备性和一种广义锁归结方法、广义线性归结方法、广义语义归结方法的完备性.