---
abstract: "We advance a theoretical framework which combines recent insights of research in logic, psychology, and formal semantics, on the nature of diagrammatic representation and reasoning. In particular, we wish to explain the varied efficacy of reasoning and representing with diagrams. In general we consider diagrammatic representations to be restricted in expressive power, and we wish to explain efficacy of reasoning with diagrams via the semantical and computational properties of such restricted `languages'. Connecting these foundational insights (from semantics and complexity theory) to the psychology of reasoning with diagrams requires us to develop the notion of the {\\it availability} (to an agent) of {\\it constraints} operating within representation systems, as a consequence of their direct semantic interpretation. Thus we offer a number of fundamental definitions as well as a research programme which aligns current efforts in the logical and psychological analysis of diagrammatic representation systems."
altloc: []
chapter: ~
commentary: ~
commref: ~
confdates: ~
conference: ~
confloc: ~
contact_email: ~
creators_id: []
creators_name:
  - family: Stenning
    given: Keith
    honourific: ''
    lineage: ''
  - family: Lemon
    given: Oliver
    honourific: ''
    lineage: ''
date: 1999
date_type: published
datestamp: 1999-08-05
department: ~
dir: disk0/00/00/08/20
edit_lock_since: ~
edit_lock_until: ~
edit_lock_user: ~
editors_id: []
editors_name: []
eprint_status: archive
eprintid: 820
fileinfo: /style/images/fileicons/application_postscript.png;/820/2/lemon.ps
full_text_status: public
importid: ~
institution: ~
isbn: ~
ispublished: pub
issn: ~
item_issues_comment: []
item_issues_count: 0
item_issues_description: []
item_issues_id: []
item_issues_reported_by: []
item_issues_resolved_by: []
item_issues_status: []
item_issues_timestamp: []
item_issues_type: []
keywords: 'diagrammatic reasoning, graphical reasoning, humanreasoning, semantics of diagrams, media, modality, complexity of reasoning, interpretation'
lastmod: 2011-03-11 08:54:18
latitude: ~
longitude: ~
metadata_visibility: show
note: ~
number: ~
pagerange: 1-34
pubdom: FALSE
publication: Artificial Intelligence Review
publisher: ~
refereed: TRUE
referencetext: ~
relation_type: []
relation_uri: []
reportno: ~
rev_number: 10
series: ~
source: ~
status_changed: 2007-09-12 16:34:45
subjects:
  - cog-psy
  - comp-sci-complex-theory
  - ling-sem
  - phil-lang
  - phil-logic
  - phil-mind
succeeds: ~
suggestions: ~
sword_depositor: ~
sword_slug: ~
thesistype: ~
title: Aligning logical and psychological perspectives on diagrammatic reasoning
type: journalp
userid: 342
volume: 13
<script src="//archive-bar.soton.ac.uk/archive-bar.js"></script>