Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
6858840 | International Journal of Approximate Reasoning | 2018 | 23 Pages |
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Marco Cerami, Francesc Esteva, Ãngel GarcÃa-Cerdaña,