Mittwoch, 8. Juli 2015 16.15 Uhr
Im Neuenheimer Feld 348, Seminarraum 015
Using the concepts syllogistic case, truth ratio and fuzzy quantifiers, we generalise the traditional syllogistic system S with two affirmative and two negative quantifiers, of which the existential quantifiers are inclusive, to n fuzzy-syllogistic systems nS with 1<n affirmative and 1<n negative fuzzy quantifiers, of which all (n-1) existential quantifiers are exclusive. The objective of this talk is to introduce to this approach of generalisation of syllogisms and to experimentally show their application in approximate reasoning. For this purpose we discuss the design of a fuzzy-syllogistic ontology reasoner that is based on nS.