Please use this identifier to cite or link to this item: https://hdl.handle.net/11147/9416
Title: Syllogistic knowledge bases with description logic reasoners
Authors: Çine, Ersin
Keywords: Syllogistic logic
Description logic
Knowledge representation
Automated reasoning
Syllogistic reasoning
Publisher: IEEE
Abstract: Reasoning is a core topic both for natural intelligence and for artificial intelligence. While syllogistic logics (SLs) are often studied by cognitive scientists for understanding human reasoning, description logics (DLs) are usually studied by computer scientists for performing automated reasoning. Although the studies on both of these logics are extensive, their literatures are interestingly isolated from each other. Firstly, we formally define a practical family of SLs with different levels of expressivity, including a logic which has recently been introduced for automated reasoning. Then, we reveal their theoretical properties either by defining direct algorithms for deductive reasoning or by translation rules for them into relevant DLs. These algorithms and rules prove that (i) two of our SLs (namely PolSyl and NegSyl) are tractable fragments of DLs, and (ii) other two SLs (namely ComSyl and ComSyl+) are categorical fragments of DL AEC and DL AEC:0 with general TBoxes, respectively. These findings bridge the gap between (ancient) SLs and (modern) DLs. An immediate result is that it is possible to combine powerful features of both logics, for example, intuitional user interface of an SL and efficient reasoning algorithms for a DL. Finally, we propose a framework for knowledge representation in SLs and link it to sound and complete DL reasoners for automated deduction.
Description: 3rd International Conference on Computer Science and Engineering (UBMK) -- SEP 20-23, 2018 -- Sarajevo, BOSNIA & HERCEG
URI: https://hdl.handle.net/11147/9416
ISBN: 978-1-5386-7893-0
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 
Syllogistic_Knowledge.pdf146.12 kBAdobe PDFView/Open
Show full item record



CORE Recommender

Page view(s)

60
checked on Mar 25, 2024

Download(s)

38
checked on Mar 25, 2024

Google ScholarTM

Check




Altmetric


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