A new algorithmic decision for categorical syllogisms via Carroll’s diagrams

In this paper, we propose a new effective algorithm for the categorical syllogisms by using a calculus system Syllogistic Logic with Carroll Diagrams, which determines a formal approach to logical reasoning with diagrams, for representations of the fundamental Aristotelian categorical syllogisms. We...

Full description

Saved in:
Bibliographic Details
Published in:Soft computing (Berlin, Germany) Germany), 2020-08, Vol.24 (15), p.11337-11346
Main Authors: Kircali Gursoy, Necla, Senturk, Ibrahim, Oner, Tahsin, Gursoy, Arif
Format: Article
Language:English
Subjects:
19th century
Algorithms
Artificial Intelligence
Calculus
Carroll, Lewis (Charles Lutwidge Dodgson) (1832-1898)
Cognition & reasoning
Computational Intelligence
Computer science
Control
Engineering
Logic
Mathematical Logic and Foundations
Mechatronics
Methodologies and Application
Polynomials
Problem solving
Reasoning
Robotics
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:In this paper, we propose a new effective algorithm for the categorical syllogisms by using a calculus system Syllogistic Logic with Carroll Diagrams, which determines a formal approach to logical reasoning with diagrams, for representations of the fundamental Aristotelian categorical syllogisms. We show that this logical reasoning is closed under the syllogistic criterion of inference. Therefore, the calculus system is implemented to let the formalism which comprises synchronically bilateral and trilateral diagrammatical appearance and naive algorithmic nature. And also, there is no need specific knowledge or exclusive ability to understand this decision procedure as well as to use it in an algorithmic system. Consequently, the empirical contributions of this paper are to design a polynomial-time algorithm at the first time in the literature to conduce to researchers getting into the act in different areas of science used categorical syllogisms such as artificial intelligence, engineering, computer science and etc.
ISSN:1432-7643
1433-7479
DOI:10.1007/s00500-019-04598-9