Computer Engineering / Bilgisayar Mühendisliği

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

Browse

Filters

2015 - 20173

Settings

Author: search.filters.author.Kumova, Bora İsmailPublisher: search.filters.publisher.Institute of Electrical and Electronics Engineers

Search Results

Now showing 1 - 3 of 3
  • Conference Object
    Citation - WoS: 3
    Citation - Scopus: 6
    Truth Ratios of Syllogistic Moods
    (Institute of Electrical and Electronics Engineers, 2015) Zarechnev, Mikhail; Kumova, Bora İsmail; Kumova, Bora İsmail; 03.04. Department of Computer Engineering; 03. Faculty of Engineering; 01. Izmir Institute of Technology
    The syllogistic system consists of 256 moods, of which only 24 have been recognized as true. From a set-theoretical point of view, a mood can be represented with three sets and their possible relationships. Three sets can have up to seven sub-sets or spaces. In an earlier work we have used 41 permutations of the spaces, out of which every mood matches an individual number as true or false cases. The truth ratio of a mood is then calculated, by relating the true and false cases with each other. In this work we revise the previously presented properties of the moods and the syllogistic system, this time by using the maximum possible cover, which consists of 96 distinct space permutations. Our results mostly verify our previous findings, like the additional true mood anasoy, the inherently symmetric truth distribution of the moods. Additionally we have revealed some new properties, like the equivalence of some moods, which reduces the system to 136 distinct moods.
  • Conference Object
    Citation - Scopus: 2
    A Survey of Robotic Agent Architectures
    (Institute of Electrical and Electronics Engineers, 2017) Kumova, Bora İsmail; Kumova, Bora İsmail; Heye, Samuel Bacha; 03.04. Department of Computer Engineering; 03. Faculty of Engineering; 01. Izmir Institute of Technology
    Robotic agents consist of various compositions of properties that are found in their mechatronics, behavioural and cognitive architectures. Common properties of each architecture type serve as criteria for assessing the degree of intelligence of most embodied agent models. Although embodied intelligence has long been accepted for robotic agents, the literature is short on combined evaluations that discuss all properties of all architecture types in one framework. Here we provide a review of existing taxonomies for each type of architecture and attempt to combine them all in a single taxonomy for robotic agents.
  • 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; Kumova, Bora İsmail; 03.04. Department of Computer Engineering; 03. Faculty of Engineering; 01. Izmir Institute of Technology
    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.