Abstract | ||
---|---|---|
Description Logics (DLs) are knowledge representation languages built on the basis of classical logic. DLs allow the creation of knowledge bases and provide ways to reason on the contents of these bases. Fuzzy Description Logics (FDLs) are natural extensions of DLs for dealing with vague concepts, commonly present in real applications. Following the ideas of Hajek in [17] and Garcia-Cerdana et al. in [15] we develop a family of FDLs whose underlying logic is the fuzzy logic of a finite linearly ordered residuated lattice, that is, an n-graded fuzzy logic defined by a divisible finite t-norm over a finite chain. Moreover, the role of the constructor of implication in the languages for FDLs is discussed, and a hierarchy of AL-languages adapted to the behavior of the connectives in the fuzzy logics underlying these description languages is proposed. Finally, we deal with reasoning tasks within the framework of finitely valued DLs. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1109/FUZZY.2010.5584114 | FUZZ-IEEE |
Keywords | Field | DocType |
fuzzy logic,fuzzy set theory,inference mechanisms,knowledge representation languages,classical description logic,divisible finite t-norm,finite linearly ordered residuated lattice,knowledge base,knowledge representation language,n-graded fuzzy description logic,reasoning task | T-norm fuzzy logics,Łukasiewicz logic,Computer science,Description logic,Monoidal t-norm logic,Artificial intelligence,Discrete mathematics,Algebra,Fuzzy logic,Classical logic,Many-valued logic,Intermediate logic,Machine learning | Conference |
ISSN | Citations | PageRank |
1098-7584 | 10 | 0.60 |
References | Authors | |
14 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Marco Cerami | 1 | 110 | 7.98 |
Àngel García-Cerdaña | 2 | 71 | 10.05 |
Francesc Esteva | 3 | 1885 | 200.14 |