Scopus İndeksli Yayınlar Koleksiyonu / Scopus Indexed Publications Collection

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

Browse

Filters

2015 - 20174

Settings

Department: search.filters.department.İzmir Institute of Technology. Computer EngineeringSubject: search.filters.subject.Fuzzy logic

Search Results

Now showing 1 - 4 of 4
  • Conference Object
    Citation - Scopus: 1
    Fuzzy-Syllogistic Systems: a Generic Model for Approximate Reasoning
    (Springer, 2016) Kumova, Bora İsmail
    The well known Aristotelian syllogistic system S consists of 256 moods. We have found earlier that 136 moods are distinct in terms of equal truth ratios that range in tau = [ 0,1]. The truth ratio of a particular mood is calculated by relating the number of true and false syllogistic cases that the mood matches. The introduction of (n -1) fuzzy existential quantifiers, extends the system to fuzzy-syllogistic systems S-n, 1 < n, of which every fuzzy-syllogistic mood can be interpreted as a vague inference with a generic truth ratio, which is determined by its syllogistic structure. Here we introduce two new concepts, the relative truth ratio (r)tau = [ 0,1] that is calculated from the cardinalities of the syllogistic cases of the mood and fuzzy-syllogistic ontology (FSO). We experimentally apply the fuzzy-syllogistic systems S-2 and S-6 as underlying logic of a FSO reasoner (FSR) and discuss sample cases for approximate reasoning.y
  • Book Part
    Citation - Scopus: 1
    Symmetric Properties of the Syllogistic System Inherited From the Square of Opposition
    (Birkhäuser, 2017) Kumova, Bora İsmail
    The logical square Omega has a simple symmetric structure that visualises the bivalent relationships of the classical quantifiers A, I, E, O. In philosophy it is perceived as a self-complete possibilistic logic. In linguistics however its modelling capability is insufficient, since intermediate quantifiers like few, half, most, etc cannot be distinguished, which makes the existential quantifier I too generic and the universal quantifier A too specific. Furthermore, the latter is a special case of the former, i.e. A subset of I, making the square a logic with inclusive quantifiers. The inclusive quantifiers I and O can produce redundancies in linguistic systems and are too generic to differentiate any intermediate quantifiers. The redundancy can be resolved by excluding A from I, i.e. I-2=I-A, analogously E from O, i.e. O-2=O-E. Although the philosophical possibility of A subset of I is thus lost in I-2, the symmetric structure of the exclusive square (2)Omega remains preserved. The impact of the exclusion on the traditional syllogistic system S with inclusive existential quantifiers is that most of its symmetric structures are obviously lost in the syllogistic system S-2 with exclusive existential quantifiers too. Symmetry properties of S are found in the distribution of the syllogistic cases that are matched by the moods and their intersections. A syllogistic case is a distinct combination of the seven possible spaces of the Venn diagram for three sets, of which there exist 96 possible cases. Every quantifier can be represented with a fixed set of syllogistic cases and so the moods too. Therefore, the 96 cases open a universe of validity for all moods of the syllogistic system S, as well as all fuzzy-syllogistic systems S-n, with n-1 intermediate quantifiers. As a by-product of the fuzzy syllogistic system and its properties, we suggest in return that the logical square of opposition can be generalised to a fuzzy-logical graph of opposition, for 2<n.
  • Article
    Citation - WoS: 4
    Citation - Scopus: 5
    Generating Ontologies From Relational Data With Fuzzy-Syllogistic Reasoning
    (Springer Verlag, 2015) Kumova, Bora İsmail
    Existing standards for crisp description logics facilitate information exchange between systems that reason with crisp ontologies. Applications with probabilistic or possibilistic extensions of ontologies and reasoners promise to capture more information, because they can deal with more uncertainties or vagueness of information. However, since there are no standards for either extension, information exchange between such applications is not generic. Fuzzy-syllogistic reasoning with the fuzzy-syllogistic system4S provides 2048 possible fuzzy inference schema for every possible triple concept relationship of an ontology. Since the inference schema are the result of all possible set-theoretic relationships between three sets with three out of 8 possible fuzzy-quantifiers, the whole set of 2048 possible fuzzy inferences can be used as one generic fuzzy reasoner for quantified ontologies. In that sense, a fuzzy syllogistic reasoner can be employed as a generic reasoner that combines possibilistic inferencing with probabilistic ontologies, thus facilitating knowledge exchange between ontology applications of different domains as well as information fusion over them.
  • Conference Object
    Citation - Scopus: 1
    Approximate Reasoning With Fuzzy-Syllogistic Systems
    (CEUR Workshop Proceedings, 2015) Kumova, Bora İsmail
    The well known Aristotelian syllogistic system consists of 256 moods. We have found earlier that 136 moods are distinct in terms of equal truth ratios that range in τ=[0,1]. The truth ratio of a particular mood is calculated by relating the number of true and false syllogistic cases the mood matches. A mood with truth ratio is a fuzzy-syllogistic mood. The introduction of (n-1) fuzzy existential quantifiers extends the system to fuzzy-syllogistic systems nS, 1<n, of which every fuzzy-syllogistic mood can be interpreted as a vague inference with a generic truth ratio that is determined by its syllogistic structure. We experimentally introduce the logic of a fuzzy-syllogistic ontology reasoner that is based on the fuzzy-syllogistic systems nS. We further introduce a new concept, the relative truth ratio rτ=[0,1] that is calculated based on the cardinalities of the syllogistic cases.