Investigating Reasoning with Constraint Diagrams

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.

[1]  Sun-Joo Shin,et al.  The logical status of diagrams , 1995 .

[2]  John Taylor,et al.  SD2: a sound and complete diagrammatic reasoning system , 2000, Proceeding 2000 IEEE International Symposium on Visual Languages.

[3]  Gem Stapleton,et al.  What Can Spider Diagrams Say? , 2004, Diagrams.

[4]  Philip T. Cox,et al.  Human Centric Computing Languages and Environments , 2003 .

[5]  Stuart Kent,et al.  Constraint diagrams: visualizing invariants in object-oriented models , 1997, OOPSLA '97.

[6]  Andrew Fish,et al.  The semantics of augmented constraint diagrams , 2005, J. Vis. Lang. Comput..

[7]  Stuart Kent,et al.  Constraint Diagrams: Visualizing Invariants in OO Modelling , 1997, OOPSLA 1997.

[8]  Zenon Kulpa,et al.  DIAGRAMMATIC REPRESENTATION AND REASONING , 1994 .

[9]  Andrew Fish,et al.  A reading algorithm for constraint diagrams , 2003, IEEE Symposium on Human Centric Computing Languages and Environments, 2003. Proceedings. 2003.

[10]  Eric Hammer,et al.  Logic and Visual Information , 1995 .

[11]  Nikolaus G. Swoboda,et al.  Implementing Euler/Venn Reasoning Systems , 2002, Diagrammatic Representation and Reasoning.