A new language for the visualisation of logic and reasoning

Gem Stapleton, Simon Thompson, Andrew Fish, John Howse, John Taylor

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNpeer-review

Abstract

Many visual languages based on Euler diagrams have emerged for expressing relationships between sets. The expressive power of these languages varies, but the majority can only express statements involving unary relations and, sometimes, equality. We present a new visual language called Visual First Order Logic (VFOL) that was developed from work on constraint diagrams which are designed for software specification. VFOL is likely to be useful for software specification, because it is similar to constraint diagrams, and may also fit into a Z-like framework. We show that for every First Order Predicate Logic (FOPL) formula there exists a semantically equivalent VFOL diagram. The taranslation we give from FOPL to VFOL is natural and, as such, VFOL could also be used to teach FOPL, for example.
Original languageEnglish
Title of host publicationProceedings of the 2005 International Workshop on Visual Languages and Computing
Place of PublicationBanff, Canada
PublisherKnowledge Systems Institute
Pages287-292
Number of pages6
Publication statusPublished - 1 Jan 2005
EventProceedings of the 2005 International Workshop on Visual Languages and Computing - Banff, Alberta, Canada, 5-7 September, 2005
Duration: 1 Jan 2005 → …

Workshop

WorkshopProceedings of the 2005 International Workshop on Visual Languages and Computing
Period1/01/05 → …

Bibliographical note

Creative Commons Attribution-Noncommercial-Share Alike 3.0 License. Published as a part of the Proceedings of the Eleventh International Conference on Distributed Multimedia Systems.

Keywords

  • Visual languages
  • Euler diagrams

Fingerprint

Dive into the research topics of 'A new language for the visualisation of logic and reasoning'. Together they form a unique fingerprint.

Cite this