Investigating reasoning with constraint diagrams

Andrew Fish, Jean Flower

Research output: Contribution to journalArticle

Abstract

Constraint diagrams are a visual notation designed to express logical constraints. Augmenting the diagrams with a reading tree (effectively a partial ordering of quantifiers) ensures that each diagram has a unique semantic interpretation.In this paper, we discuss examples of reasoning rules for augmented constraint diagrams which exhibit interesting properties or difficulties that can arise when developing rules for such a diagrammatic system. We do not present a complete set of rules, but investigate the generic problems arising, providing solutions. One problem corresponds to the nesting of quantifiers and another relates to the domain of universal quantification. These issues may be an important consideration in the definition of other logical reasoning systems which explicitly represent quantification diagrammatically.
Original languageEnglish
Pages (from-to)53-69
Number of pages17
JournalElectronic Notes in Theoretical Computer Science
Volume127
Issue number4
DOIs
Publication statusPublished - 1 Jan 2005

Keywords

  • Diagrammatic reasoning
  • constraint diagrams
  • logical inference

Fingerprint Dive into the research topics of 'Investigating reasoning with constraint diagrams'. Together they form a unique fingerprint.

  • Cite this