Abstract
This paper presents the Dr.Doodle system, an interactive theorem prover that uses diagrammatic representations. The assumption underlying this project is that, for some domains (principally geometry), diagrammatic reasoning is easier to understand than conventional algebraic approaches – at least for a significant number of people. The Dr.Doodle system was developed for the domain of metric-space analysis (a geometric domain, but traditionally taught using a dry algebraic formalism). Pilot experiments were conducted to evaluate its potential as the basis of an educational tool, with encouraging results.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Barwise, J., Etchemendy, J.: Heterogeneous Logic. In: Diagrammatic Reasoning: Cognitive and Computational Perspectives, AAAI Press/MIT Press (1995)
Flower, J., Stapleton, G.: Automated Theorem Proving with Spider Diagrams. In: Computing: the Australasian Theory Symposium, CATS (2004)
Jamnik, M.: Mathematical Reasoning with Diagrams. CSLI Press (2001)
Kortenkamp, U., Richter-Gebert, J.: The Next Version of Cinderella. In: First International Congress Of Mathematical Software, World Scientific, Singapore (2002)
Maxwell, E.: Fallacies in Mathematics. Cambridge University Press, Cambridge (1959)
Oberlander, J., Cox, R., Stenning, K.: Proof styles in multimodal reasoning. In: Logic, Language and Computation, CSLI Press (1996)
Shimojima, A.: Operational Constraints in Diagrammatic Reasoning. Logical Reasoning with Diagrams, OUP (1996)
Winterstein, D., Bundy, A., Gurr, C., Jamnik, M.: Using Animation in Diagrammatic Theorem Proving. In: Diagrams 2002, Springer, Heidelberg (2002)
Winterstein, D., Bundy, A., Gurr, C., Jamnik, M.: An Experimental Comparison of Diagrammatic and Algebraic Logics. In: Diagrams 2004, Springer, Heidelberg (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Winterstein, D., Bundy, A., Gurr, C. (2004). Dr.Doodle: A Diagrammatic Theorem Prover. In: Basin, D., Rusinowitch, M. (eds) Automated Reasoning. IJCAR 2004. Lecture Notes in Computer Science(), vol 3097. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25984-8_24
Download citation
DOI: https://doi.org/10.1007/978-3-540-25984-8_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22345-0
Online ISBN: 978-3-540-25984-8
eBook Packages: Springer Book Archive