cicyt UNIZAR
Full-text links:

Download:

Current browse context:

cs.CL

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Computation and Language

Title: Argumentation theory for mathematical argument

Abstract: 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 applied to both 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.
Comments: 34 pages; submitted to Argumentation
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI)
ACM classes: G.m; J.7; I.2.4
Cite as: arXiv:1803.06500 [cs.CL]
  (or arXiv:1803.06500v1 [cs.CL] for this version)

Submission history

From: Joseph Corneli [view email]
[v1] Sat, 17 Mar 2018 13:20:37 GMT (2050kb,D)