On the relationship between fuzzy description logics and many-valued modal logics

作者：Cerami Marco; Esteva Francesc; Garcia Cerdana Angel^*

来源：International Journal of Approximate Reasoning, 2018, 93: 372-394.

DOI：10.1016/j.ijar.2017.11.006

• Mathematical fuzzy Logic
• Fuzzy description logics
• Many-valued modal logics
• Fuzzy predicate logics
• Attributive description languages

In this paper we study the relationships between a family of ACC-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.

• 出版日期2018-2