A new language for the visualisation of logic and reasoning

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

A new language for the visualisation of logic and reasoning

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

University of Brighton

Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Conference contribution with ISSN or ISBN › peer-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 language	English
Title of host publication	Proceedings of the 2005 International Workshop on Visual Languages and Computing
Place of Publication	Banff, Canada
Publisher	Knowledge Systems Institute
Pages	287-292
Number of pages	6
Publication status	Published - 1 Jan 2005
Event	Proceedings of the 2005 International Workshop on Visual Languages and Computing - Banff, Alberta, Canada, 5-7 September, 2005 Duration: 1 Jan 2005 → …

Workshop

Workshop	Proceedings of the 2005 International Workshop on Visual Languages and Computing
Period	1/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

Access to Document

VLC05.pdfOther version, 131 KBLicence: CC BY-NC-SA

http://www.ksi.edu/seke/dms05.htmlLicence: Unspecified

Cite this

@inproceedings{1b28e75704854f6890543f22894b7f6d,

title = "A new language for the visualisation of logic and reasoning",

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.",

keywords = "Visual languages, Euler diagrams",

author = "Gem Stapleton and Simon Thompson and Andrew Fish and John Howse and John Taylor",

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.; Proceedings of the 2005 International Workshop on Visual Languages and Computing ; Conference date: 01-01-2005",

year = "2005",

month = jan,

day = "1",

language = "English",

pages = "287--292",

booktitle = "Proceedings of the 2005 International Workshop on Visual Languages and Computing",

publisher = "Knowledge Systems Institute",

}

Stapleton, G, Thompson, S, Fish, A, Howse, J & Taylor, J 2005, A new language for the visualisation of logic and reasoning. in Proceedings of the 2005 International Workshop on Visual Languages and Computing. Knowledge Systems Institute, Banff, Canada, pp. 287-292, Proceedings of the 2005 International Workshop on Visual Languages and Computing, 1/01/05. <http://www.ksi.edu/seke/dms05.html>

A new language for the visualisation of logic and reasoning. / Stapleton, Gem; Thompson, Simon; Fish, Andrew et al.
Proceedings of the 2005 International Workshop on Visual Languages and Computing. Banff, Canada: Knowledge Systems Institute, 2005. p. 287-292.

Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Conference contribution with ISSN or ISBN › peer-review

TY - GEN

T1 - A new language for the visualisation of logic and reasoning

AU - Stapleton, Gem

AU - Thompson, Simon

AU - Fish, Andrew

AU - Howse, John

AU - Taylor, John

N1 - 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.

PY - 2005/1/1

Y1 - 2005/1/1

N2 - 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.

AB - 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.

KW - Visual languages

KW - Euler diagrams

M3 - Conference contribution with ISSN or ISBN

SP - 287

EP - 292

BT - Proceedings of the 2005 International Workshop on Visual Languages and Computing

PB - Knowledge Systems Institute

CY - Banff, Canada

T2 - Proceedings of the 2005 International Workshop on Visual Languages and Computing

Y2 - 1 January 2005

ER -

A new language for the visualisation of logic and reasoning

Abstract

Workshop

Bibliographical note

Keywords

Access to Document

Fingerprint

Cite this