Home > Research > Publications & Outputs > Generating readable diagrammatic proofs

Links

Text available via DOI:

View graph of relations

Generating readable diagrammatic proofs

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Published
Publication date17/12/2015
Host publication 2015 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)
PublisherIEEE
Number of pages2
ISBN (electronic)9781467374576
<mark>Original language</mark>English
EventSymposium on Visual Languages and Human-Centric Computing - Atlanta, United States
Duration: 18/10/201522/10/2015

Conference

ConferenceSymposium on Visual Languages and Human-Centric Computing
Abbreviated titleVL/HCC
Country/TerritoryUnited States
CityAtlanta
Period18/10/1522/10/15

Conference

ConferenceSymposium on Visual Languages and Human-Centric Computing
Abbreviated titleVL/HCC
Country/TerritoryUnited States
CityAtlanta
Period18/10/1522/10/15

Abstract

We present ongoing work to understand and formalise notions of “readability” in diagrammatic proofs and to use these results to extend an existing Euler diagram proof system. This work is in its early stages. We outline our intentions to define a theoretical framework, based on an empirical study, that maps users' varying cognitive preferences to corresponding proof strategies. The framework will be used to extend a theorem prover based on Euler diagrams, enabling users of the system to select from among the strategies while constructing proofs.