EPSRC Reference: 
EP/M011763/1 
Title: 
The readability of proofs in diagrammatic logic 
Principal Investigator: 
Burton, Dr J 
Other Investigators: 

Researcher CoInvestigators: 

Project Partners: 

Department: 
Sch of Computing, Engineering & Maths 
Organisation: 
University of Brighton 
Scheme: 
First Grant  Revised 2009 
Starts: 
01 July 2015 
Ends: 
30 June 2016 
Value (£): 
98,388

EPSRC Research Topic Classifications: 

EPSRC Industrial Sector Classifications: 
No relevance to Underpinning Sectors 


Related Grants: 

Panel History: 
Panel Date  Panel Name  Outcome 
10 Sep 2014

EPSRC Mathematics Prioritisation Panel Sept 2014

Announced


Summary on Grant Application Form 
The fact that diagrams can be an expressive and accessible way to communicate is widely recognised and valued, but what makes one diagram more effective than another is seldom measured. Formal diagrams attempt to combine the effectiveness of graphics with mathematical logic, and have the potential to bring the benefits of this expressiveness and accessibility to the field of logical reasoning. Diagrammatic reasoning (or visual logic) consists of using diagrams to represent logical theorems and to create diagrammatic proofs or counterarguments for those theorems. In this project we will analyse and measure, for the first time, the factors that affect comprehension in diagrammatic reasoning. Our research question is as follows: is it possible to develop a systematic understanding of readability in diagrammatic proofs? (We use the term "readable" to mean easy to understand and use.) To be effective, such understanding would yield strategies to be used to automatically construct readable proofs. Furthermore, these strategies should be general enough to be applied to any visual logic and possess predictive qualities that can inform the design of future visual logics.
Euler diagrams are a simple visual logic which is used to represent data in a great many contexts. As well as being used informally or semiformally in fields such as education, Euler diagrams have been used as a formal logic since the 1990s. The widespread use of Euler diagrams (for instance, in teaching set theory to school children) testifies to the fact that they are generally considered easy to understand. Logicians, philosophers and cognitive scientists have attempted to describe the origins of this ease of understanding, but have not done so in the specific context of the use of Euler diagrams in proofs, or in a way that yields general strategies for creating Euler diagram proofs which are easily understood.
The aims of this project are to provide a detailed, formal understanding of readability in diagrammatic proofs and to provide ways of automatically generating readable diagrammatic proofs. We will achieve the second of these aims by adapting an existing automated Euler diagram theorem prover. The aims allow us to address what we believe to be two of the most challenging issues for the diagrams community today: the need to explore when diagrammatic reasoning is understandable by people, and the need to produce effective software tools that make the benefits of diagrams available to a wide range of people. The project addresses the need to categorise and to empirically measure the features that make diagrammatic proofs more, or less, easy to understand. Identifying these features and the ways in which they interact will help us to make better use of existing notations and design more effective logics in the future.

Key Findings 
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk

Potential use in nonacademic contexts 
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk

Impacts 
Description 
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk 
Summary 

Date Materialised 


Sectors submitted by the Researcher 
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk

Project URL: 

Further Information: 

Organisation Website: 
http://www.bton.ac.uk 