![]() ; Devillet, Jimmy ![]() ![]() in Beiträge zur Algebra und Geometrie (2022), 63(1), 149-166 Let $X$ be a nonempty set. Denote by $\mathcal{F}^n_k$ the class of associative operations $F\colon X^n\to X$ satisfying the condition $F(x_1,\ldots,x_n)\in\{x_1,\ldots,x_n\}$ whenever at least $k$ of the ... [more ▼] Let $X$ be a nonempty set. Denote by $\mathcal{F}^n_k$ the class of associative operations $F\colon X^n\to X$ satisfying the condition $F(x_1,\ldots,x_n)\in\{x_1,\ldots,x_n\}$ whenever at least $k$ of the elements $x_1,\ldots,x_n$ are equal to each other. The elements of $\mathcal{F}^n_1$ are said to be quasitrivial and those of $\mathcal{F}^n_n$ are said to be idempotent. We show that $\mathcal{F}^n_1=\cdots =\mathcal{F}^n_{n-2}\subseteq\mathcal{F}^n_{n-1}\subseteq\mathcal{F}^n_n$ and we give conditions on the set $X$ for the last inclusions to be strict. The class $\mathcal{F}^n_1$ was recently characterized by Couceiro and Devillet \cite{CouDev}, who showed that its elements are reducible to binary associative operations. However, some elements of $\mathcal{F}^n_n$ are not reducible. In this paper, we characterize the class $\mathcal{F}^n_{n-1}\setminus\mathcal{F}^n_1$ and show that its elements are reducible. We give a full description of the corresponding reductions and show how each of them is built from a quasitrivial semigroup and an Abelian group whose exponent divides $n-1$. [less ▲] Detailed reference viewed: 213 (41 UL)![]() ; Devillet, Jimmy ![]() in Algebra Universalis (2019), 80(4), We show that every quasitrivial n-ary semigroup is reducible to a binary semigroup, and we provide necessary and sufficient conditions for such a reduction to be unique. These results are then refined in ... [more ▼] We show that every quasitrivial n-ary semigroup is reducible to a binary semigroup, and we provide necessary and sufficient conditions for such a reduction to be unique. These results are then refined in the case of symmetric n-ary semigroups. We also explicitly determine the sizes of these classes when the semigroups are defined on finite sets. As a byproduct of these enumerations, we obtain several new integer sequences. [less ▲] Detailed reference viewed: 295 (62 UL)![]() Devillet, Jimmy ![]() Scientific Conference (2019, June 23) Detailed reference viewed: 128 (8 UL)![]() ; Devillet, Jimmy ![]() ![]() in Semigroup Forum (2019), 98(3), 472498 We investigate the class of quasitrivial semigroups and provide various characterizations of the subclass of quasitrivial and commutative semigroups as well as the subclass of quasitrivial and order ... [more ▼] We investigate the class of quasitrivial semigroups and provide various characterizations of the subclass of quasitrivial and commutative semigroups as well as the subclass of quasitrivial and order-preserving semigroups. We also determine explicitly the sizes of these classes when the semigroups are defined on finite sets. As a byproduct of these enumerations, we obtain several new integer sequences. [less ▲] Detailed reference viewed: 379 (108 UL)![]() Devillet, Jimmy ![]() ![]() Presentation (2019, May 14) Due to their great importance in data fusion, aggregation functions have been extensively investigated for a few decades. Among these functions, fuzzy connectives (such as uninorms) play an important role ... [more ▼] Due to their great importance in data fusion, aggregation functions have been extensively investigated for a few decades. Among these functions, fuzzy connectives (such as uninorms) play an important role in fuzzy logic. We establish a remarkable connection between a family of associative aggregation functions, which includes the class of idempotent uninorms, and the concepts of single-peakedness and single-plateaudness, introduced in social choice theory by D. Black. Finally, we enumerate those orders when the underlying set is finite. [less ▲] Detailed reference viewed: 114 (10 UL)![]() ; Devillet, Jimmy ![]() ![]() Scientific Conference (2018, July 02) We investigate the class of binary associative and quasitrivial operations on a given finite set. Here the quasitriviality property (also known as conservativeness) means that the operation always outputs ... [more ▼] We investigate the class of binary associative and quasitrivial operations on a given finite set. Here the quasitriviality property (also known as conservativeness) means that the operation always outputs one of its input values. We also examine the special situations where the operations are commutative and nondecreasing, in which cases the operations reduce to discrete uninorms (which are discrete fuzzy connectives playing an important role in fuzzy logic). Interestingly, associative and quasitrivial operations that are nondecreasing are characterized in terms of total and weak orderings through the so-called single-peakedness property introduced in social choice theory by Duncan Black. We also address and solve a number of enumeration issues: we count the number of binary associative and quasitrivial operations on a given finite set as well as the number of those operations that are commutative and/or nondecreasing. [less ▲] Detailed reference viewed: 96 (5 UL)![]() ; Teheux, Bruno ![]() Scientific Conference (2018, June) We investigate the clones of operations that are pivotally decomposable. Detailed reference viewed: 62 (4 UL)![]() ; Devillet, Jimmy ![]() ![]() in Fuzzy Sets and Systems (2018), 334 In this paper we provide an axiomatic characterization of the idempotent discrete uninorms by means of three conditions only: conservativeness, symmetry, and nondecreasing monotonicity. We also provide an ... [more ▼] In this paper we provide an axiomatic characterization of the idempotent discrete uninorms by means of three conditions only: conservativeness, symmetry, and nondecreasing monotonicity. We also provide an alternative characterization involving the bisymmetry property. Finally, we provide a graphical characterization of these operations in terms of their contour plots, and we mention a few open questions for further research. [less ▲] Detailed reference viewed: 285 (55 UL)![]() ; Teheux, Bruno ![]() in Beitraege zur Algebra und Geometrie = Contributions to Algebra and Geometry (2018), 59(1), 25-40 We study pivotal decomposition schemes and investigate classes of pivotally decomposable operations. We provide sufficient conditions on pivotal operations that guarantee that the corresponding classes of ... [more ▼] We study pivotal decomposition schemes and investigate classes of pivotally decomposable operations. We provide sufficient conditions on pivotal operations that guarantee that the corresponding classes of pivotally decomposable operations are clones, and show that under certain assumptions these conditions are also necessary. In the latter case, the pivotal operation together with the constant operations generate the corresponding clone. [less ▲] Detailed reference viewed: 134 (24 UL)![]() Marichal, Jean-Luc ![]() ![]() Scientific Conference (2017, November 10) Detailed reference viewed: 91 (13 UL)![]() Devillet, Jimmy ![]() ![]() Presentation (2017, October 25) Detailed reference viewed: 82 (13 UL)![]() Devillet, Jimmy ![]() ![]() Presentation (2017, October 03) We investigate the class of binary associative and quasitrivial operations on a given finite set. Here quasitriviality (also known as conserva-tiveness) means that the operation always outputs one of its ... [more ▼] We investigate the class of binary associative and quasitrivial operations on a given finite set. Here quasitriviality (also known as conserva-tiveness) means that the operation always outputs one of its input values. We also examine the special situations where the operations are commutative and nondecreasing. In the latter case, these operations reduce to discrete uninorms, which are discrete fuzzy connectives that play an important role in fuzzy logic. As we will see nondecreasing, associative and quasitrivial operations are chara-cterized in terms of total and weak orderings through the so-called single-peakedness property introduced in social choice theory by Duncan Black. This will enable visual interpretaions of the above mentioned algebraic properties. Motivated by these results, we will also address a number of counting issues: we enumerate all binary associative and quasitrivial operations on a given finite set as well as of those operations that are commutative, are nondecreasing, have neutral and/or annihilator elements. As we will see, these considerations lead to several, previously unknown, integer sequences. [less ▲] Detailed reference viewed: 97 (16 UL)![]() ; Devillet, Jimmy ![]() ![]() in Couceiro, Miguel; Devillet, Jimmy; Marichal, Jean-Luc (Eds.) LFA 2017 - Rencontres francophones sur la logique floue et ses applications (2017, October) In this paper we provide two axiomatizations of the class of idempotent discrete uninorms as conservative binary operations, where an operation is conservative if it always outputs one of its input values ... [more ▼] In this paper we provide two axiomatizations of the class of idempotent discrete uninorms as conservative binary operations, where an operation is conservative if it always outputs one of its input values. More precisely we first show that the idempotent discrete uninorms are exactly those operations that are conservative, symmetric, and nondecreasing. Then we show that, in this characterization, symmetry can be replaced with both bisymmetry and existence of a neutral element. [less ▲] Detailed reference viewed: 88 (8 UL)![]() Devillet, Jimmy ![]() ![]() Scientific Conference (2017, June 16) See attached file Detailed reference viewed: 104 (25 UL)![]() ; Devillet, Jimmy ![]() ![]() in De Baets, Bernard; Torra, Vicenç; Mesiar, Radko (Eds.) Aggregation Functions in Theory and in Practice (2017, June) In this paper we provide two axiomatizations of the class of idempotent discrete uninorms as conservative binary operations, where an operation is conservative if it always outputs one of its input values ... [more ▼] In this paper we provide two axiomatizations of the class of idempotent discrete uninorms as conservative binary operations, where an operation is conservative if it always outputs one of its input values. More precisely we first show that the idempotent discrete uninorms are exactly those operations that are conservative, symmetric, and nondecreasing in each variable. Then we show that, in this characterization, symmetry can be replaced with both bisymmetry and existence of a neutral element. [less ▲] Detailed reference viewed: 217 (39 UL)![]() ; Marichal, Jean-Luc ![]() ![]() in Fuzzy Sets and Systems (2016), 299 In this paper we consider two properties of variadic functions, namely associativity and preassociativity, that are pertaining to several data and language processing tasks. We propose parameterized ... [more ▼] In this paper we consider two properties of variadic functions, namely associativity and preassociativity, that are pertaining to several data and language processing tasks. We propose parameterized relaxations of these properties and provide their descriptions in terms of factorization results. We also give an example where these parameterized notions give rise to natural hierarchies of functions and indicate their potential use in measuring the degrees of associativeness and preassociativeness. We illustrate these results by several examples and constructions and discuss some open problems that lead to further directions of research. [less ▲] Detailed reference viewed: 211 (24 UL)![]() ; Marichal, Jean-Luc ![]() ![]() in Order: A Journal on the Theory of Ordered Sets and its Applications (2016), 33(1), 121-132 We characterize conservative median algebras and semilattices by means of forbidden substructures and by providing their representation as chains. Moreover, using a dual equivalence between median ... [more ▼] We characterize conservative median algebras and semilattices by means of forbidden substructures and by providing their representation as chains. Moreover, using a dual equivalence between median algebras and certain topological structures, we obtain descriptions of the median-preserving mappings between products of finitely many chains. [less ▲] Detailed reference viewed: 208 (13 UL)![]() ; Marichal, Jean-Luc ![]() ![]() in Lefèvre, Erice; Hadjali, Allel (Eds.) Rencontres francophones sur la logique floue et ses applications 2015 (2015, November) Nous caractérisons les fonctions d'agrégation qui préservent la valeur médiane dans le cas où l'opération médiane est conservative. Nous commençons par rappeler les notions d'algèbre et de demi-treillis ... [more ▼] Nous caractérisons les fonctions d'agrégation qui préservent la valeur médiane dans le cas où l'opération médiane est conservative. Nous commençons par rappeler les notions d'algèbre et de demi-treillis médian en les introduisant à partir de la notion de valeur médiane sur les réels. Nous obtenons également une double caractérisation des algèbres médianes conservatives en termes de sous-structures interdites et de représentations par des chaînes [less ▲] Detailed reference viewed: 127 (11 UL)![]() ; Marichal, Jean-Luc ![]() ![]() in Baczyński, Michal; De Baets, Bernard; Mesiar, Radko (Eds.) Proceedings of the 8th Int. Summer School on Aggregation Operators (2015, July) A median algebra is a ternary algebra that satisfies every equation satisfied by the median terms of distributive lattices. We present a characterization theorem for aggregation functions over ... [more ▼] A median algebra is a ternary algebra that satisfies every equation satisfied by the median terms of distributive lattices. We present a characterization theorem for aggregation functions over conservative median algebras. In doing so, we give a characterization of conservative median algebras by means of forbidden substructures and by providing their representation as chains. [less ▲] Detailed reference viewed: 102 (3 UL)![]() ; Teheux, Bruno ![]() in Multiple-Valued Logic (ISMVL), 2015 IEEE International Symposium on (2015, May 20) This paper is a contribution to the understanding of the relation between pivotal decompositions of operations on a set and clones on the same set. Detailed reference viewed: 124 (4 UL) |
||