Please use this identifier to cite or link to this item:
Title: An extended syllogistic logic for automated reasoning
Authors: Çine, Ersin
Kumova, Bora İsmail
Keywords: Automated deduction
Automated reasoning
Knowledge representation
Syllogistic reasoning
Issue Date: 2017
Publisher: Institute of Electrical and Electronics Engineers
Abstract: In this work, we generalise the categorical syllogistic logic in several dimensions to a relatively expressive logic that is sufficiently powerful to encompass a wider range of linguistic semantics. The generalisation is necessary in order to eliminate the existential ambiguity of the quantifiers and to increase expressiveness, practicality, and adaptivity of the syllogisms. The extended semantics is expressed in an extended syntax such that an algorithmic solution of the extended syllogisms can be processed. Our algorithmic approach for deduction in this logic allows for automated reasoning directly with quantified propositions, without reduction of quantifiers.
Description: 2017 International Conference on Computer Science and Engineering (UBMK) -- OCT 05-08, 2017 -- Antalya, TURKEY
ISBN: 978-1-5386-0930-9
Appears in Collections:Computer Engineering / Bilgisayar Mühendisliği
Scopus İndeksli Yayınlar Koleksiyonu / Scopus Indexed Publications Collection
WoS İndeksli Yayınlar Koleksiyonu / WoS Indexed Publications Collection

Files in This Item:
File SizeFormat 
An_extended_syllogistic_logic.pdf154.17 kBAdobe PDFView/Open
Show full item record

CORE Recommender


checked on Mar 18, 2023

Page view(s)

checked on Mar 20, 2023


checked on Mar 20, 2023

Google ScholarTM



Items in GCRIS Repository are protected by copyright, with all rights reserved, unless otherwise indicated.