Incoporating negation into visual logics: a case study using Euler diagrams

Gem Stapleton, Judith Masthoff

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Abstract

Many diagrammatic logics based on Euler diagrams have been defined with the aim of making precise reasoning easier for people. In such logics it is unusual to find the negation operator (¬) included. This is likely to impact the usability of the logics when users try to make statements that are naturally phrased using the ¬ operator. Furthermore, if one wishes to use semantic tableaux methods for the purposes of establishing entailment then including ¬ is essential. Thus, there are good reasons for extending existing diagrammatic logics to include ¬ explicitly. In this paper, we take Euler diagrams and extend the notation to include the ¬ operator, as well as 'or' and 'and'. Various expressiveness results for the logic are established. We present a sound and complete set of reasoning rules for the logic, drawing parallels with existing completeness proof strategies and highlighting differences that arise due to including negation.
Original languageEnglish
Title of host publicationProceedings of the 13th International Conference on Distributed Multimedia Systems, DMS 2007
Place of PublicationUSA
PublisherKnowledge Systems Institute
Pages187-194
Number of pages8
ISBN (Print)9781891706219
Publication statusPublished - 1 Jan 2007
EventProceedings of the 13th International Conference on Distributed Multimedia Systems, DMS 2007 - San Francisco Bay, USA, 6-8 September, 2007
Duration: 1 Jan 2007 → …

Conference

ConferenceProceedings of the 13th International Conference on Distributed Multimedia Systems, DMS 2007
Period1/01/07 → …

Fingerprint

Semantics
Acoustic waves

Keywords

  • Diagrammatic logics
  • Euler diagrams

Cite this

Stapleton, G., & Masthoff, J. (2007). Incoporating negation into visual logics: a case study using Euler diagrams. In Proceedings of the 13th International Conference on Distributed Multimedia Systems, DMS 2007 (pp. 187-194). USA: Knowledge Systems Institute.
Stapleton, Gem ; Masthoff, Judith. / Incoporating negation into visual logics: a case study using Euler diagrams. Proceedings of the 13th International Conference on Distributed Multimedia Systems, DMS 2007. USA : Knowledge Systems Institute, 2007. pp. 187-194
@inproceedings{c3f48dd49fee43f59a8b2c7ecf23a40e,
title = "Incoporating negation into visual logics: a case study using Euler diagrams",
abstract = "Many diagrammatic logics based on Euler diagrams have been defined with the aim of making precise reasoning easier for people. In such logics it is unusual to find the negation operator (¬) included. This is likely to impact the usability of the logics when users try to make statements that are naturally phrased using the ¬ operator. Furthermore, if one wishes to use semantic tableaux methods for the purposes of establishing entailment then including ¬ is essential. Thus, there are good reasons for extending existing diagrammatic logics to include ¬ explicitly. In this paper, we take Euler diagrams and extend the notation to include the ¬ operator, as well as 'or' and 'and'. Various expressiveness results for the logic are established. We present a sound and complete set of reasoning rules for the logic, drawing parallels with existing completeness proof strategies and highlighting differences that arise due to including negation.",
keywords = "Diagrammatic logics, Euler diagrams",
author = "Gem Stapleton and Judith Masthoff",
year = "2007",
month = "1",
day = "1",
language = "English",
isbn = "9781891706219",
pages = "187--194",
booktitle = "Proceedings of the 13th International Conference on Distributed Multimedia Systems, DMS 2007",
publisher = "Knowledge Systems Institute",

}

Stapleton, G & Masthoff, J 2007, Incoporating negation into visual logics: a case study using Euler diagrams. in Proceedings of the 13th International Conference on Distributed Multimedia Systems, DMS 2007. Knowledge Systems Institute, USA, pp. 187-194, Proceedings of the 13th International Conference on Distributed Multimedia Systems, DMS 2007, 1/01/07.

Incoporating negation into visual logics: a case study using Euler diagrams. / Stapleton, Gem; Masthoff, Judith.

Proceedings of the 13th International Conference on Distributed Multimedia Systems, DMS 2007. USA : Knowledge Systems Institute, 2007. p. 187-194.

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

TY - GEN

T1 - Incoporating negation into visual logics: a case study using Euler diagrams

AU - Stapleton, Gem

AU - Masthoff, Judith

PY - 2007/1/1

Y1 - 2007/1/1

N2 - Many diagrammatic logics based on Euler diagrams have been defined with the aim of making precise reasoning easier for people. In such logics it is unusual to find the negation operator (¬) included. This is likely to impact the usability of the logics when users try to make statements that are naturally phrased using the ¬ operator. Furthermore, if one wishes to use semantic tableaux methods for the purposes of establishing entailment then including ¬ is essential. Thus, there are good reasons for extending existing diagrammatic logics to include ¬ explicitly. In this paper, we take Euler diagrams and extend the notation to include the ¬ operator, as well as 'or' and 'and'. Various expressiveness results for the logic are established. We present a sound and complete set of reasoning rules for the logic, drawing parallels with existing completeness proof strategies and highlighting differences that arise due to including negation.

AB - Many diagrammatic logics based on Euler diagrams have been defined with the aim of making precise reasoning easier for people. In such logics it is unusual to find the negation operator (¬) included. This is likely to impact the usability of the logics when users try to make statements that are naturally phrased using the ¬ operator. Furthermore, if one wishes to use semantic tableaux methods for the purposes of establishing entailment then including ¬ is essential. Thus, there are good reasons for extending existing diagrammatic logics to include ¬ explicitly. In this paper, we take Euler diagrams and extend the notation to include the ¬ operator, as well as 'or' and 'and'. Various expressiveness results for the logic are established. We present a sound and complete set of reasoning rules for the logic, drawing parallels with existing completeness proof strategies and highlighting differences that arise due to including negation.

KW - Diagrammatic logics

KW - Euler diagrams

M3 - Conference contribution with ISSN or ISBN

SN - 9781891706219

SP - 187

EP - 194

BT - Proceedings of the 13th International Conference on Distributed Multimedia Systems, DMS 2007

PB - Knowledge Systems Institute

CY - USA

ER -

Stapleton G, Masthoff J. Incoporating negation into visual logics: a case study using Euler diagrams. In Proceedings of the 13th International Conference on Distributed Multimedia Systems, DMS 2007. USA: Knowledge Systems Institute. 2007. p. 187-194