Conservativity for a hierarchy of Euler and Venn reasoning systems

Koji Mineshima, Mitsuhiro Okada, Ryo Takemura

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

Abstract

This paper introduces a hierarchy of Euler and Venn diagrammatic reasoning systems in terms of their expressive powers in topological-relation-based formalization. At the bottom of the hierarchy is the Euler diagrammatic system introduced in Mineshima-Okada-Sato-Takemura [13, 12], which is expressive enough to characterize syllogistic reasoning in terms of unification and deletion rules. At the top of the hierarchy is a Venn diagrammatic system such as Swoboda-Allwein's Euler/Venn diagrammatic system [23]. In order to understand the hierarchy uniformly, we introduce an algebraic structure, which also provides another description of our unification rule of Euler diagrams. We prove that each system S' of the hierarchy is conservative over any lower system S with respect to validity-in the sense that S' is an extension of S, and the semantic consequence relations of S and S' are equivalent for diagrams of S. Furthermore, we prove that a region-based Venn diagrammatic system is conservative over our topological-relation-based Euler diagrammatic system with respect to provability.

Original languageEnglish
Title of host publicationCEUR Workshop Proceedings
Pages37-61
Number of pages25
Volume510
Publication statusPublished - 2009
Event2nd International Workshop on Visual Languages and Logic, VLL 2009 - As Part of the 2009 IEEE Symposium on Visual Languages and Human Centric Computing, VL/HCC 2009 - Corvallis, OR, United States
Duration: 2009 Sep 202009 Sep 20

Other

Other2nd International Workshop on Visual Languages and Logic, VLL 2009 - As Part of the 2009 IEEE Symposium on Visual Languages and Human Centric Computing, VL/HCC 2009
CountryUnited States
CityCorvallis, OR
Period09/9/2009/9/20

Fingerprint

Semantics

ASJC Scopus subject areas

  • Computer Science(all)

Cite this

Mineshima, K., Okada, M., & Takemura, R. (2009). Conservativity for a hierarchy of Euler and Venn reasoning systems. In CEUR Workshop Proceedings (Vol. 510, pp. 37-61)

Conservativity for a hierarchy of Euler and Venn reasoning systems. / Mineshima, Koji; Okada, Mitsuhiro; Takemura, Ryo.

CEUR Workshop Proceedings. Vol. 510 2009. p. 37-61.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Mineshima, K, Okada, M & Takemura, R 2009, Conservativity for a hierarchy of Euler and Venn reasoning systems. in CEUR Workshop Proceedings. vol. 510, pp. 37-61, 2nd International Workshop on Visual Languages and Logic, VLL 2009 - As Part of the 2009 IEEE Symposium on Visual Languages and Human Centric Computing, VL/HCC 2009, Corvallis, OR, United States, 09/9/20.
Mineshima K, Okada M, Takemura R. Conservativity for a hierarchy of Euler and Venn reasoning systems. In CEUR Workshop Proceedings. Vol. 510. 2009. p. 37-61
Mineshima, Koji ; Okada, Mitsuhiro ; Takemura, Ryo. / Conservativity for a hierarchy of Euler and Venn reasoning systems. CEUR Workshop Proceedings. Vol. 510 2009. pp. 37-61
@inproceedings{9b6efd4220a14e949be910776ace0b63,
title = "Conservativity for a hierarchy of Euler and Venn reasoning systems",
abstract = "This paper introduces a hierarchy of Euler and Venn diagrammatic reasoning systems in terms of their expressive powers in topological-relation-based formalization. At the bottom of the hierarchy is the Euler diagrammatic system introduced in Mineshima-Okada-Sato-Takemura [13, 12], which is expressive enough to characterize syllogistic reasoning in terms of unification and deletion rules. At the top of the hierarchy is a Venn diagrammatic system such as Swoboda-Allwein's Euler/Venn diagrammatic system [23]. In order to understand the hierarchy uniformly, we introduce an algebraic structure, which also provides another description of our unification rule of Euler diagrams. We prove that each system S' of the hierarchy is conservative over any lower system S with respect to validity-in the sense that S' is an extension of S, and the semantic consequence relations of S and S' are equivalent for diagrams of S. Furthermore, we prove that a region-based Venn diagrammatic system is conservative over our topological-relation-based Euler diagrammatic system with respect to provability.",
author = "Koji Mineshima and Mitsuhiro Okada and Ryo Takemura",
year = "2009",
language = "English",
volume = "510",
pages = "37--61",
booktitle = "CEUR Workshop Proceedings",

}

TY - GEN

T1 - Conservativity for a hierarchy of Euler and Venn reasoning systems

AU - Mineshima, Koji

AU - Okada, Mitsuhiro

AU - Takemura, Ryo

PY - 2009

Y1 - 2009

N2 - This paper introduces a hierarchy of Euler and Venn diagrammatic reasoning systems in terms of their expressive powers in topological-relation-based formalization. At the bottom of the hierarchy is the Euler diagrammatic system introduced in Mineshima-Okada-Sato-Takemura [13, 12], which is expressive enough to characterize syllogistic reasoning in terms of unification and deletion rules. At the top of the hierarchy is a Venn diagrammatic system such as Swoboda-Allwein's Euler/Venn diagrammatic system [23]. In order to understand the hierarchy uniformly, we introduce an algebraic structure, which also provides another description of our unification rule of Euler diagrams. We prove that each system S' of the hierarchy is conservative over any lower system S with respect to validity-in the sense that S' is an extension of S, and the semantic consequence relations of S and S' are equivalent for diagrams of S. Furthermore, we prove that a region-based Venn diagrammatic system is conservative over our topological-relation-based Euler diagrammatic system with respect to provability.

AB - This paper introduces a hierarchy of Euler and Venn diagrammatic reasoning systems in terms of their expressive powers in topological-relation-based formalization. At the bottom of the hierarchy is the Euler diagrammatic system introduced in Mineshima-Okada-Sato-Takemura [13, 12], which is expressive enough to characterize syllogistic reasoning in terms of unification and deletion rules. At the top of the hierarchy is a Venn diagrammatic system such as Swoboda-Allwein's Euler/Venn diagrammatic system [23]. In order to understand the hierarchy uniformly, we introduce an algebraic structure, which also provides another description of our unification rule of Euler diagrams. We prove that each system S' of the hierarchy is conservative over any lower system S with respect to validity-in the sense that S' is an extension of S, and the semantic consequence relations of S and S' are equivalent for diagrams of S. Furthermore, we prove that a region-based Venn diagrammatic system is conservative over our topological-relation-based Euler diagrammatic system with respect to provability.

UR - http://www.scopus.com/inward/record.url?scp=77955831897&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=77955831897&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:77955831897

VL - 510

SP - 37

EP - 61

BT - CEUR Workshop Proceedings

ER -