机构名称：
¥ 1.0
这些启发式方法和其他方法由逻辑理论机器使用。它在逻辑“类似”中搜索与要证明的表达式相似的定理（例如，其中的变量数量大约相同）；它从最终结果向后起作用；它尝试一种推理方法，如果不起作用，则尝试切换到另一种方法。它记得它所证明的定理，以便它可以在以后的定理中使用这些定理；它记得在处理特定类型的定理方面成功的方法，并应用了这些知识。并通过使用这些设备，逻辑理论机器设法将其任务减少为合理的比例；实际上，它成功证明了许多定理。而且它写的证据非常类似于A. N. Whitehead和Bertrand Russell获得的证据，五十年前，他们写了Mathematica Princiaia Mathematica，这是现代符号逻辑的基础。
人类和计算机解决问题
主要关键词
相关文件推荐
