On the Failure of the Finite Model Property in some Fuzzy Description Logics

Details On the Failure of the Finite Model Property in some Fuzzy Description Logics On the Failure of the Finite Model Property in some Fuzzy Description Logics

2010-03-08

arxiv.org/abs/1003.1588v1

Computer Science

Artificial Intelligence

Scientific paper

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 DLs ALC under Lukasiewicz 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 ALC.

Affiliated with

Also associated with

No associations

Rating

On the Failure of the Finite Model Property in some Fuzzy Description Logics does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with On the Failure of the Finite Model Property in some Fuzzy Description Logics, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On the Failure of the Finite Model Property in some Fuzzy Description Logics will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-676947