Skip to Main content Skip to Navigation
Conference papers

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

Mehdi Mirzapour 1 Christian Retoré 1
1 TEXTE - Exploration et exploitation de données textuelles
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
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.
Document type :
Conference papers
Complete list of metadatas
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01916122
Contributor : Mehdi Mirzapour <>
Submitted on : Thursday, November 8, 2018 - 11:41:09 AM
Last modification on : Friday, November 9, 2018 - 1:16:12 AM

Identifiers

Collections

LIRMM | CNRS | TEXTE | MIPS | UNIV-MONTPELLIER

Citation

Mehdi Mirzapour, Christian Retoré. Venn Diagram and Evaluation of Syllogisms with Negative Terms: A New Algorithm. Diagrams: Diagrammatic Representation and Inference, Jun 2018, Edinburgh, United Kingdom. pp.716-720, ⟨10.1007/978-3-319-91376-6_66⟩. ⟨lirmm-01916122⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

263