A Fuzzy Description Logic with Product T-norm

Fernando Bobillo, Umberto Straccia
2007 IEEE International Fuzzy Systems conference proceedings  
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 Łukasiewicz 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
more » ... e 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 dblp:conf/fuzzIEEE/BobilloS07 fatcat:qds6hilwofcyxmam27sw5zzpma