 |
HAL-LIRMM - Open Archive |  |
Conference papers
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.
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
Contributor : Mehdi Mirzapour <>
Submitted on : Thursday, November 8, 2018 - 11:41:09 AM
Last modification on : Friday, November 9, 2018 - 1:16:12 AM