Skip to main content

Tableaux for Diagrammatic Reasoning

Patrascoiu, Octavian, Thompson, Simon, Rodgers, Peter (2005) Tableaux for Diagrammatic Reasoning. In: Cox, Philip and Smedley, Trevor, eds. Proceedings of the 2005 International Workshop on Visual Languages and Computing. . pp. 279-286. Knowledge Systems Institute ISBN 1-891706-17-9. (KAR id:14260)

PDF
Language: English
Download (463kB) Preview

Abstract

Diagrammatic notations, such as the Unified Modeling Language (UML), are in common use in software development. They allow many aspects of software systems to be described diagrammatically, but typically they rely on textual notations for logical constraints. In contrast, spider diagrams provide a visual notation for expressing a natural class of set- theoretic statements in a diagrammatic form. In this paper we present a tableau system for spider diagrams, and describe an implementation of the system. In a software development context, the system allows users to explore the implications of design choices, and thus to validate specifications; beyond this, the tableau algorithm and system are of general interest to visual reasoners.

Item Type: Conference or workshop item (UNSPECIFIED)
Additional information: Published as a part of the Proceedings of the Eleventh International Conference on Distributed Multimedia Systems.
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing > Theoretical Computing Group
Depositing User: Peter Rodgers
Date Deposited: 24 Nov 2008 18:02 UTC
Last Modified: 28 Feb 2020 05:55 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/14260 (The current URI for this page, for reference purposes)
Thompson, Simon: https://orcid.org/0000-0002-2350-301X
Rodgers, Peter: https://orcid.org/0000-0002-4100-3596
  • Depositors only (login required):