PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Bobillo F., Straccia U. A fuzzy description logic with product T-norm. In: IEEE International Conference on Fuzzy Systems (London, 23-26 July 2007). Proceedings, pp. 652 - 657. IEEE, 2007.
 
 
Abstract
(English)
Fuzzy Description Logics} (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. It is well known that the choice of the fuzzy operators may determine some logical properties. However, up to date the study of fuzzy DLs has been restricted to the Lukasiewicz logic and the ``Zadeh semantics''. In this work, we propose a novel semantics combining the common product t-norm with the standard negation. We show some interesting properties of the logic and propose a reasoning algorithm based on a mixture of tableaux rules and the reduction to Mixed Integer Quadratically Constrained Programming.
DOI: 10.1109/FUZZY.2007.4295443
Subject Fuzzy Logic
Description Logic
I.2.4 Knowledge Representation Formalisms and Methods


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional