A Science of Reasoning (Extended Abstract)
A Science of Reasoning (Extended Abstract)
复制标题
推理科学（扩展摘要）
DOI：
--
复制
发表时间：
1998
期刊：
影响因子：
--
通讯作者：
A. Bundy
中科院分区：
文献类型：
--
作者：
A. Bundy
我们如何特别理解一般和数学证据的推理？有人认为，需要对证据的高级理解来补充逻辑提供的低级理解。提出了计算角色来提供这种高级理解，即证明计划与证明的关联。给出了评估证明计划与证明的关联的标准。
How can we understand reasoning in general and mathematical proofs in particular? It is argued that a high-level understanding of proofs is needed to complement the low-level understanding provided by Logic. A role for computation is proposed to provide this high-level understanding, namely by the association of proof plans with proofs. Criteria are given for assessing the association of a proof plan with a proof.