PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Bobillo F., Bou F., Straccia U. On the failure of the finite model property in some fuzzy description logics. In: Fuzzy Sets and Systems, vol. 172 (1) pp. 1 - 12. Elsevier, 2011.
 
 
Abstract
(English)
Fuzzy Description Logics (DLs) are a family of logics which allow the representation of (and the reasoning with) structured knowledge affected by vagueness. Although most of the not very expressive crisp DLs, such as ALC, enjoy the Finite Model Property (FMP), this is not the case once we move into the fuzzy case. In this paper we show that if we allow arbitrary knowledge bases, then the fuzzy DL $mathcal{ALC}$ under L ukasiewicz and Product fuzzy logics do not verify the FMP even if we restrict to witnessed models; in other words, finite satisfiability and witnessed satisfiability are different for arbitrary knowledge bases. The aim of this paper is to point out the failure of FMP because it affects several algorithms published in the literature for reasoning under fuzzy DLs.
URL: http://www.sciencedirect.com/science?_ob=ArticleListURL&_method=list&_ArticleListID=1713312097&_sort=r&_st=13&view=c&_acct=C000061181&_version=1&_urlVersion=0&_userid=3967543&md5=d2834b528eebc5460b26fa6ba6005f1b&searchtype=a
DOI: 10.1016/j.fss.2011.02.012
Subject Description Logics
Fuzzy Logic
F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES


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