Dr.Doodle: A Diagrammatic Theorem Prover

Physics Opportunities For The Fixed-Target Tevatron

材料科学;生物科学

Daniel Winterstein ; Alan Bundy ; Corin Gurr

Others  :  http://CEUR-WS.org/Vol-106/16-winterstein.pdf
PID  :  49904

来源: CEUR

【 摘 要 】

ThispaperpresentstheDr.Doodlesystem,aninteractive 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.