Argumentation Theory for Mathematical Argument
Argumentation Theory for Mathematical Argument
复制标题
数学论证的论证理论
DOI：
10.1007/s10503-018-9474-x
复制
发表时间：
2019
期刊：
影响因子：
1.2
通讯作者：
Corneli J
中科院分区：
文献类型：
--
作者：
Corneli J
为了充分模拟数学论证，分析员必须能够表示所讨论的数学对象和它们之间的关系，以及随着论述的展开而得出的关于这些对象和关系的推论。我们介绍了一个具有这些性质的框架，该框架已被用于分析数学对话和说明性文本。该框架可以恢复句子层面上和句子内部的显著语篇元素，以及数学内容连接形成更大的论证结构的方式。我们展示了如何使用该框架来支持计算推理，并认为它提供了一种比Lamport的结构化证明更自然的方式来检查证明定理的过程。
To adequately model mathematical arguments the analyst must be able to represent the mathematical objects under discussion and the relationships between them, as well as inferences drawn about these objects and relationships as the discourse unfolds. We introduce a framework with these properties, which has been used to analyse mathematical dialogues and expository texts. The framework can recover salient elements of discourse at, and within, the sentence level, as well as the way mathematical content connects to form larger argumentative structures. We show how the framework might be used to support computational reasoning, and argue that it provides a more natural way to examine the process of proving theorems than do Lamport’s structured proofs.
登录
查看更多内容
DOI：
--
发表时间：
2017
期刊：
Argument Comput.
影响因子：
--
作者：
R. Harris;Chrysanne Di Marco
通讯作者：
Chrysanne Di Marco
利用修辞手法进行论点挖掘
DOI：
--
发表时间：
2017
期刊：
Argument Comput.
影响因子：
--
作者：
John Lawrence;J. Visser;C. Reed
通讯作者：
C. Reed
关于数学的产生，mathoverflow 告诉我们什么？
DOI：
--
发表时间：
2013
期刊：
arXiv.org
影响因子：
--
作者：
U. Martin;A. Pease
通讯作者：
A. Pease
论证的言语行为：对话中的推理锚点和外围线索
DOI：
--
发表时间：
2011
期刊：
Computational Models of Natural Argument
影响因子：
--
作者：
Katarzyna Budzynska;C. Reed
通讯作者：
C. Reed
ASPIC-END：带有解释和自然演绎的结构化论证
DOI：
--
发表时间：
2017
期刊：
International Workshop on Theorie and Applications of Formal Argumentation
影响因子：
--
作者：
Jérémie Dauphin;M. Cramer
通讯作者：
M. Cramer