An Experimental Comparison of Diagrammatic and Algebraic Logics

Alan Bundy, C. Gurr, M. Jamnik, Daniel Winterstein

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

We have developed a diagrammatic logic for theorem proving, focusing on the domain of metric-space analysis (a geometric domain, but traditionally taught using a dry algebraic formalism). To evaluate its pragmatic value, pilot experiments were conducted using this logic - implemented in an interactive theorem prover - to teach undergraduate students (and comparing performance against an equivalent algebraic logic). Our results show significantly better performance for students using diagrammatic reasoning. We conclude that diagrams are a useful tool for reasoning in such domains.
Original languageEnglish
Title of host publicationDiagrammatic Representation and Inference
Subtitle of host publicationThird International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004. Proceedings
PublisherSpringer
Pages432-434
Number of pages3
ISBN (Electronic)978-3-540-25931-2
ISBN (Print)978-3-540-21268-3
DOIs
Publication statusPublished - 2004

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
Volume2980
ISSN (Print)0302-9743

Fingerprint

Dive into the research topics of 'An Experimental Comparison of Diagrammatic and Algebraic Logics'. Together they form a unique fingerprint.

Cite this