TY - GEN
T1 - An Experimental Comparison of Diagrammatic and Algebraic Logics
AU - Bundy, Alan
AU - Gurr, C.
AU - Jamnik, M.
AU - Winterstein, Daniel
PY - 2004
Y1 - 2004
N2 - 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.
AB - 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.
U2 - 10.1007/978-3-540-25931-2_57
DO - 10.1007/978-3-540-25931-2_57
M3 - Conference contribution
SN - 978-3-540-21268-3
T3 - Lecture Notes in Computer Science
SP - 432
EP - 434
BT - Diagrammatic Representation and Inference
PB - Springer Berlin Heidelberg
ER -