Computer Engineering / Bilgisayar Mühendisliği

Permanent URI for this collectionhttps://hdl.handle.net/11147/10

Browse

Filters

20171

Settings

Author: search.filters.author.Çine, ErsinSubject: search.filters.subject.Automated deduction

Search Results

Now showing 1 - 1 of 1
  • Conference Object
    Citation - WoS: 2
    Citation - Scopus: 2
    An Extended Syllogistic Logic for Automated Reasoning
    (Institute of Electrical and Electronics Engineers, 2017) Çine, Ersin; Kumova, Bora İsmail
    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.