Argument Mapping for Mathematics in Proofscape
The Proofscape argument mapping system for mathematical proofs is introduced. Proofscape supports argument mapping for informal proofs of the kind used by working mathematicians, and its purpose is to aid in the comprehension of existing proofs in the mathematical literature. It supports the provision of further clarification for large inference steps, which is available on demand when a proof is explored interactively through the Proofscape browser, and theory-wide exploration is possible by expanding and collapsing cited lemmas and theorems interactively. We examine how an argument map makes the structure of a proof immediately clear, and facilitates switching attention between the detailed level and the big picture. Proofscape is at http://proofscape.org.
Keywordsargument mapping informal proofs theory exploration
Unable to display preview. Download preview PDF.
- 6.Gordon, T.F., Walton, D.: The Carneades argumentation framework. Frontiers in Artificial Intelligence and Applications 144, 195 (2006)Google Scholar
- 7.Van Gelder, T.: Argument mapping with reason!able. The American Philosophical Association Newsletter on Philosophy and Computers 2(1), 85–90 (2002)Google Scholar
- 8.Toulmin, S.: The Uses of Argument. Cambridge University Press, Cambridge (1969)Google Scholar