2自动定理证明方法.pdf

自动定理证明方法 自动定理证明 研究计算程序（算法）使机器能够自动 或半自动地进行推理并判定（在有限步 内确定）定理是否成立，又称“定理机 器证明”. 1.基于逻辑演算的方法： 归结原理 2.基于代数计算的方法： 吴方法 基于逻辑演算自动证明定理的一般过程 定理前提 选取领域知识 应用逻辑推理规则 中间结论 ∙∙∙∙∙∙ 中间结论 选取领域知识 选取领域知识 组 应用逻辑推理规则 应用逻辑推理规则