On triangular norms and uninorms definable in ŁΠ12

AbstractIn this paper, we investigate the definability of classes of t-norms and uninorms in the logic ŁΠ12. In particular we provide a complete characterization of definable continuous t-norms, weak nilpotent minimum t-norms, conjunctive uninorms continuous on [0,1), and idempotent conjunctive uninorms, and give both positive and negative results concerning definability of left-continuous t-norms (and uninorms). We show that the class of definable uninorms is closed under construction methods as annihilation, rotation and rotation–annihilation. Moreover, we prove that every logic based on a definable uninorm is in PSPACE, and that any finitely axiomatizable logic based on a class of definable uninorms is decidable. Finally we show that the Uninorm Mingle Logic (UML) and the Basic Uninorm Logic (BUL) are finitely strongly standard complete w.r.t. the related class of definable left-continuous conjunctive uninorms

Conjunctors and their residual implicators: characterizations and construction methods

In many practical applications of fuzzy logic it seems clear that one needs more flexibility in the choice of the conjunction: in particular, the associativity and the commutativity of a conjunction may be removed. Motivated by these considerations, we present several classes of conjunctors, i.e. binary operations on $[0,1]$ that are used to extend the boolean conjunction from $\{0,1\}$ to $[0,1]$, and characterize their respective residual implicators. We establish hence a one-to-one correspondence between construction methods for conjunctors and construction methods for residual implicators. Moreover, we introduce some construction methods directly in the class of residual implicators, and, by using a deresiduation procedure, we obtain new conjunctors

Fitting aggregation operators to data

Theoretical advances in modelling aggregation of information produced a wide range of aggregation operators, applicable to almost every practical problem. The most important classes of aggregation operators include triangular norms, uninorms, generalised means and OWA operators.With such a variety, an important practical problem has emerged: how to fit the parameters/ weights of these families of aggregation operators to observed data? How to estimate quantitatively whether a given class of operators is suitable as a model in a given practical setting? Aggregation operators are rather special classes of functions, and thus they require specialised regression techniques, which would enforce important theoretical properties, like commutativity or associativity. My presentation will address this issue in detail, and will discuss various regression methods applicable specifically to t-norms, uninorms and generalised means. I will also demonstrate software implementing these regression techniques, which would allow practitioners to paste their data and obtain optimal parameters of the chosen family of operators.<br /

Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics

This paper focuses on the issue of how generalizations of continuous and left-continuous t-norms over linearly ordered sets should be from a logical point of view. Taking into account recent results in the scope of algebraic semantics for fuzzy logics over chains with a monoidal residuated operation, we advocate linearly ordered BL-algebras and MTL-algebras as adequate generalizations of continuous and left-continuous t-norms respectively. In both cases, the underlying basic structure is that of linearly ordered residuated lattices. Although the residuation property is equivalent to left-continuity in t-norms, continuous t-norms have received much more attention due to their simpler structure. We review their complete description in terms of ordinal sums and discuss the problem of describing the structure of their generalization to BL-chains. In particular we show the good behavior of BL-algebras over a finite or complete chain, and discuss the partial knowledge of rational BL-chains. Then we move to the general non-continuous case corresponding to left-continuous t-norms and MTL-chains. The unsolved problem of describing the structure of left-continuous t-norms is presented together with a fistful of construction-decomposition techniques that apply to some distinguished families of t-norms and, finally, we discuss the situation in the general study of MTL-chains as a natural generalization of left-continuous t-norms

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 finite MTL-algebras that are representable as poset products of archimedean chains

We obtain a duality between the category of locally unital finite MTL-algebras and the category of finite labeled trees. In addition we prove that certain poset products of MTL-algebras are in fact, sheaves of MTL-chains over Alexandrov spaces. Finally we give a concrete description for the studied poset products in terms of direct products and ordinal sums of finite MTL-algebras.Fil: Castiglioni, José Luis. Universidad Nacional de La Plata. Facultad de Ciencias Exactas. Departamento de Matemáticas; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - La Plata; ArgentinaFil: Zuluaga Botero, William Javier. Universidad Nacional de La Plata. Facultad de Ciencias Exactas. Departamento de Matemáticas; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - La Plata; Argentin