Name
Abstract | ||
|---|---|---|
In this paper we study the relationships between a family of ALC-like fuzzy description logics (FDLs) defined over left-continuous t-norms and some many-valued multi-modal logics (MMLs). We analyze these relationships in both directions, that is, how to merge FDLs into MMLs and vice-versa. The analysis starts from the relationships between the languages to reach systematically the deeper level of reasoning tasks. At this level we are able to truly investigate both formalisms from each other point of view. Finally, the results concerning translations between reasoning tasks are applied in order to get decidability and complexity bounds. |
Year | DOI | Venue |
|---|---|---|
2018 | 10.1016/j.ijar.2017.11.006 | International Journal of Approximate Reasoning |
Keywords | Field | DocType |
Mathematical fuzzy Logic,Fuzzy description logics,Many-valued modal logics,Fuzzy predicate logics,Attributive description languages | T-norm fuzzy logics,Discrete mathematics,Łukasiewicz logic,Accessibility relation,Fuzzy logic,Description logic,Decidability,Theoretical computer science,Monoidal t-norm logic,Principle of bivalence,Mathematics | Journal |
Volume | Issue | ISSN |
93 | 1 | 0888-613X |
Citations | PageRank | References |
0 | 0.34 | 30 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Marco Cerami | 1 | 110 | 7.98 |
| Francesc Esteva | 2 | 1885 | 200.14 |
| Àngel García-Cerdaña | 3 | 71 | 10.05 |