Weighted logics for artificial intelligence : an introductory discussion

International audienceBefore presenting the contents of the special issue, we propose a structured introductory overview of a landscape of the weighted logics (in a general sense) that can be found in the Artificial Intelligence literature, highlighting their fundamental differences and their application areas

On similarity in fuzzy description logics

This paper is a contribution to the study of similarity relations between objects represented as attribute-value pairs in Fuzzy Description Logics . For this purpose we use concrete domains in the fuzzy description logic IALCEF(D)IALCEF(D) associated either with a left-continuous or with a finite t-norm. We propose to expand this fuzzy description logic by adding a Similarity Box (SBox) including axioms expressing properties of fuzzy equalities. We also define a global similarity between objects from similarities between the values of each object attribute (local similarities) and we prove that the global similarity defined using a t-norm inherits the usual properties of the local similarities (reflexivity, symmetry or transitivity). We also prove a result relative to global similarities expressing that, in the context of the logic MTL∀, similar objects have similar properties, being these properties expressed by predicate formulas evaluated in these object

Fuzzy Description Logics with General Concept Inclusions

Description logics (DLs) are used to represent knowledge of an application domain and provide standard reasoning services to infer consequences of this knowledge. However, classical DLs are not suited to represent vagueness in the description of the knowledge. We consider a combination of DLs and Fuzzy Logics to address this task. In particular, we consider the t-norm-based semantics for fuzzy DLs introduced by Hájek in 2005. Since then, many tableau algorithms have been developed for reasoning in fuzzy DLs. Another popular approach is to reduce fuzzy ontologies to classical ones and use existing highly optimized classical reasoners to deal with them. However, a systematic study of the computational complexity of the different reasoning problems is so far missing from the literature on fuzzy DLs. Recently, some of the developed tableau algorithms have been shown to be incorrect in the presence of general concept inclusion axioms (GCIs). In some fuzzy DLs, reasoning with GCIs has even turned out to be undecidable. This work provides a rigorous analysis of the boundary between decidable and undecidable reasoning problems in t-norm-based fuzzy DLs, in particular for GCIs. Existing undecidability proofs are extended to cover large classes of fuzzy DLs, and decidability is shown for most of the remaining logics considered here. Additionally, the computational complexity of reasoning in fuzzy DLs with semantics based on finite lattices is analyzed. For most decidability results, tight complexity bounds can be derived

On finitely-valued Fuzzy Description Logics

© 2013 Elsevier Inc. This paper deals with finitely-valued fuzzy description languages from a logical point of view. From recent results in Mathematical Fuzzy Logic and following [44], we develop a Fuzzy Description Logic based on the fuzzy logic of a finite BL-chain. The constructors of the languages presented in this paper correspond to the connectives of that logic (containing an involutive negation, Monteiro-Baaz delta and hedges). The paper addresses the hierarchy of fuzzy attributive languages; knowledge bases and their reductions; reasoning tasks; and complexity. Our results regarding decidability together with a summary of the known results related to computational complexity are of particular interest. In Appendix B we also provide axiomatizations for expansions of the logic of a finite BL-chain considered in the paper.Peer Reviewe