Modelling the way mathematics is actually done
Modelling the way mathematics is actually done
复制标题
模拟数学的实际完成方式
DOI：
10.1145/3122938.3122942
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Corneli J
中科院分区：
文献类型：
--
作者：
Corneli J
虽然正式的数学理论已经得到了很好的研究，但计算机还不能充分地表示和推理数学对话和其他非正式文本。为了弥补这一差距，我们开发了一种表示和推理策略，该策略利用当代论证理论和经典的人工智能技术来表示和质疑叙事和对话。为了使这些建模工具产生的结构可用于计算推理，我们将表示编码在更高阶的嵌套语义网络中。我们已经用LISP语言开发了这个系统的初步原型，它既可以表示人们所说的内容，也可以表示从一个步骤到下一个步骤的动态推理步骤。
Whereas formal mathematical theories are well studied, computers cannot yet adequately represent and reason about mathematical dialogues and other informal texts. To address this gap, we have developed a representation and reasoning strategy that draws on contemporary argumentation theory and classic AI techniques for representing and querying narratives and dialogues. In order to make the structures that these modelling tools produce accessible to computational reasoning, we encode representations in a higher-order nested semantic network. This system, for which we have developed a preliminary prototype in LISP, can represent both the content of what people say, and the dynamic reasoning steps that move from one step to the next.
登录
查看更多内容
数学论证的拉卡托斯游戏
DOI：
10.3233/978-1-61499-436-7-59
发表时间：
2014
期刊：
ArXiv
影响因子：
--
作者：
A. Pease;Katarzyna Budzynska;John Lawrence;C. Reed
通讯作者：
C. Reed
记忆、意义和语法
影响因子：
2.7
作者：
R. Schank;L. Birnbaum
通讯作者：
L. Birnbaum
影响因子：
2.9
作者：
H. Ehrig;A. Habel;H. Kreowski
通讯作者：
H. Kreowski
具有人性化输出的全自动定理证明器
DOI：
--
发表时间：
2016
期刊：
Journal of automated reasoning
影响因子：
--
作者：
M. Ganesalingam;W. Gowers
通讯作者：
W. Gowers
Naproche系统中符号数学的解析与消歧
DOI：
10.1007/978-3-642-22673-1_13
发表时间：
2011
期刊：
ArXiv
影响因子：
--
作者：
M. Cramer;P. Koepke;B. Schröder
通讯作者：
B. Schröder