The systematic design of visual languages applied to logical reasoning. (June 2015)

• Record Type: Journal Article
• Authors: Gottfried, Björn
• Is Part Of: Journal of visual languages & computing. Volume 28(2015)
• Page Start: 212
• Page End: 225
• Publication Date: 2015-06
• Subjects: Visual languages -- Diagrammatic representations -- Linear diagrams -- Set space diagrams -- First-order logic -- Spatial reasoning -- Intersection calculus; Visual programming languages (Computer science) -- Periodicals; Visual programming (Computer science) -- Periodicals; Programming languages (Electronic computers) -- Semantics -- Periodicals; Langages de programmation visuelle -- Périodiques; Programmation visuelle -- Périodiques; Langages de programmation -- Sémantique -- Périodiques; Programming languages (Electronic computers) -- Semantics; Visual programming (Computer science); Visual programming languages (Computer science); Periodicals; Electronic journals; 005
• DOI: 10.1016/j.jvlc.2015.02.001
• Languages: English
• ISSNs: 1045-926X

Abstract

Abstract: Visual languages are distinguished by a number of graphical objects and their relations, usually arranged in the two-dimensional plane. While objects and relations are syntactical containers which are used to represent some information, the question arises how to systematically treat all possible syntactical containers given the richness and complexity of the underlying geometry. This paper adopts the intersection paradigm applied in the context of spatial reasoning, which ensures the systematic identification of all conceivable well-formed diagrams. This allows the exhaustive analysis of a visual language. As an example, it is shown how this method enables a thorough understanding of the relations of the graphical elements of linear diagrams which represent monadic first-order logic. The consideration of indeterminate sets even demonstrates the effectiveness of this approach for a representation that includes a total of 512 relations. Abstract : Highlights: A systematic approach for the development of visual languages is introduced. The intersection-paradigm from the field of spatial reasoning is adopted. As an example, linear diagrams are formalised with this approach. Indetermined diagrams are introduced that allow for disjunctive information. The diagrams support the transformation and comparison of logical formulae.