| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 10323922 | Fuzzy Sets and Systems | 2005 | 15 Pages |
Abstract
A version of fuzzy description logic based on the basic (continuous t-norm based) fuzzy predicate logic BL is presented. Problems of satisfiability, validity and subsumption of concepts are discussed and reduced to problems of fuzzy propositional logic known to be decidable for any continuous t-norm. For Åukasiewicz t-norm some stronger results are obtained.
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Petr Hájek,