Venn Diagram and Evaluation of Syllogisms with Negative Terms: A New Algorithm - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Conference Papers Year : 2018

Venn Diagram and Evaluation of Syllogisms with Negative Terms: A New Algorithm

Abstract

We propose an algorithmic procedure for the automatic analysis of syllogisms with negative terms based on the modified version of Shin’s Venn-I diagram. Our computational procedure can automatically generate all the possible conclusions derivable from the two premises of a given syllogism with negative terms. Our approach relies on the reformulation of the logic behind the relations between points, lines, and surfaces in the Venn diagram by employing conditional propagation rules.
No file

Dates and versions

lirmm-01916122 , version 1 (08-11-2018)

Identifiers

Cite

Mehdi Mirzapour, Christian Retoré. Venn Diagram and Evaluation of Syllogisms with Negative Terms: A New Algorithm. Diagrams 2018 - 10th International Conference on Theory and Application of Diagrams, Jun 2018, Edinburgh, United Kingdom. pp.716-720, ⟨10.1007/978-3-319-91376-6_66⟩. ⟨lirmm-01916122⟩
69 View
0 Download

Altmetric

Share

More