On the readability of diagrammatic proofs

Gem Stapleton, M. Jamnik, J. Masthoff

Research output: Contribution to conferenceAbstract

Abstract

Recently, much effort has been placed on developing diagrammatic logics, with a focus on obtaining sound and complete reasoning systems. A hypothesis of the diagrammatic reasoning community is that many people find diagrammatic proofs easier to read than symbolic proofs. This hypothesis has not been thoroughly tested, although significant effort has been directed towards understanding what makes diagrams more readable than symbolic formulae. We are interested in how to automatically find readable diagrammatic proofs. To achieve this aim, significant research is required that builds on the existing state-of-the-art. This extended abstract summarizes our plans for research on this topic.
Original languageEnglish
Pages37-38
Number of pages2
Publication statusPublished - 2009
EventAutomated Reasoning Workshop - Liverpool, UK
Duration: 1 Jan 2009 → …

Workshop

WorkshopAutomated Reasoning Workshop
Period1/01/09 → …

Fingerprint

Acoustic waves

Cite this

Stapleton, G., Jamnik, M., & Masthoff, J. (2009). On the readability of diagrammatic proofs. 37-38. Abstract from Automated Reasoning Workshop, .
Stapleton, Gem ; Jamnik, M. ; Masthoff, J. / On the readability of diagrammatic proofs. Abstract from Automated Reasoning Workshop, .2 p.
@conference{1ee433578c6549489c4deb3912c23fa0,
title = "On the readability of diagrammatic proofs",
abstract = "Recently, much effort has been placed on developing diagrammatic logics, with a focus on obtaining sound and complete reasoning systems. A hypothesis of the diagrammatic reasoning community is that many people find diagrammatic proofs easier to read than symbolic proofs. This hypothesis has not been thoroughly tested, although significant effort has been directed towards understanding what makes diagrams more readable than symbolic formulae. We are interested in how to automatically find readable diagrammatic proofs. To achieve this aim, significant research is required that builds on the existing state-of-the-art. This extended abstract summarizes our plans for research on this topic.",
author = "Gem Stapleton and M. Jamnik and J. Masthoff",
year = "2009",
language = "English",
pages = "37--38",
note = "Automated Reasoning Workshop ; Conference date: 01-01-2009",

}

Stapleton, G, Jamnik, M & Masthoff, J 2009, 'On the readability of diagrammatic proofs' Automated Reasoning Workshop, 1/01/09, pp. 37-38.

On the readability of diagrammatic proofs. / Stapleton, Gem; Jamnik, M.; Masthoff, J.

2009. 37-38 Abstract from Automated Reasoning Workshop, .

Research output: Contribution to conferenceAbstract

TY - CONF

T1 - On the readability of diagrammatic proofs

AU - Stapleton, Gem

AU - Jamnik, M.

AU - Masthoff, J.

PY - 2009

Y1 - 2009

N2 - Recently, much effort has been placed on developing diagrammatic logics, with a focus on obtaining sound and complete reasoning systems. A hypothesis of the diagrammatic reasoning community is that many people find diagrammatic proofs easier to read than symbolic proofs. This hypothesis has not been thoroughly tested, although significant effort has been directed towards understanding what makes diagrams more readable than symbolic formulae. We are interested in how to automatically find readable diagrammatic proofs. To achieve this aim, significant research is required that builds on the existing state-of-the-art. This extended abstract summarizes our plans for research on this topic.

AB - Recently, much effort has been placed on developing diagrammatic logics, with a focus on obtaining sound and complete reasoning systems. A hypothesis of the diagrammatic reasoning community is that many people find diagrammatic proofs easier to read than symbolic proofs. This hypothesis has not been thoroughly tested, although significant effort has been directed towards understanding what makes diagrams more readable than symbolic formulae. We are interested in how to automatically find readable diagrammatic proofs. To achieve this aim, significant research is required that builds on the existing state-of-the-art. This extended abstract summarizes our plans for research on this topic.

M3 - Abstract

SP - 37

EP - 38

ER -

Stapleton G, Jamnik M, Masthoff J. On the readability of diagrammatic proofs. 2009. Abstract from Automated Reasoning Workshop, .