论文部分内容阅读
2.3.3 自动定理证明在致力于编制能够证明数学定理和逻辑定理的程序方面明显地存在有三个重要的课题。首先,AI 研究者们的早期工作曾取得了一些能够证明命题逻辑和中学平面几何中的简单定理的启发式程序。这些程序使用了(但主要还是有助于进一步明确)一些概
2.3.3 Automated Theorem Proof There are obviously three important topics in the effort to produce a program that can prove both mathematical and logical theorems. First of all, the early work of AI researchers had made a number of heuristics that proved simple propositions in propositional logic and middle school plane geometry. Some of these procedures are used (but mostly to help clarify more)