An attention based theory to explore affordances of textual and diagrammatic proofs

Coppin, Peter, Burton, James and Hockema, Stephen (2010) An attention based theory to explore affordances of textual and diagrammatic proofs In: Diagrams 2010: Proceedings of the 6th international conference on diagrammatic representation and inference, Portland, Oregon, USA, 9-11 August, 2010.

Full text not available from this repository.


Shimojima and Katagiri have demonstrated that diagrams reduce “inferential load” during reasoning by scaffolding visual-spatial aspects of memory. In response, we wondered why, if this is true, that proofs are usually text based? The purpose of this paper is to explore ergonomic affordances of text that may encourage its use in the communication of proofs by building on prior work in attention. We claim that textual notations may focus a reasoner’s “spotlight” of attention through serialized sequential chunks, whereas many diagrams may “diffuse” attention and that a diagrammatic notation system that serialized information in chunks amenable to focused attention could leverage the power of textual notations. We present such an example through a case study focused on generalized constraint diagrams, a visual logic with attributes that may support focused attention and extract ergonomic principles that may transcend each notation system.

Item Type: Contribution to conference proceedings in the public domain ( Full Paper)
Uncontrolled Keywords: attention; visual thinking; proof; logic; geometry
Subjects: G000 Computing and Mathematical Sciences > G400 Computing
DOI (a stable link to the resource): 10.1007/978-3-642-14600-8_27
Faculties: Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling
Depositing User: Converis
Date Deposited: 31 May 2011 16:13
Last Modified: 26 Feb 2015 16:31

Actions (login required)

View Item View Item


Downloads per month over past year