-
Simple and sub-directly irreducible double Boolean algebras
Authors:
G. T. Kembang,
L. Kwuida,
E. R. A. Temgoua,
Y. L. J. Tenkeu
Abstract:
Double Boolean algebras are algebras $\underline{D}=(D;\sqcap,\sqcup,\neg,\lrcorner,\bot,\top)$ of type $(2,2,1,1,0,0)$ introduced by Rudolf Wille to capture the equational theory of the algebra of protoconcepts. Every double Boolean algebra $\underline{D}$ contains two Boolean algebras denoted by $\underline{D}_{\sqcap}$ and $\underline{D}_{\sqcup}$. A double Boolean algebra $\underline{D}$ is sa…
▽ More
Double Boolean algebras are algebras $\underline{D}=(D;\sqcap,\sqcup,\neg,\lrcorner,\bot,\top)$ of type $(2,2,1,1,0,0)$ introduced by Rudolf Wille to capture the equational theory of the algebra of protoconcepts. Every double Boolean algebra $\underline{D}$ contains two Boolean algebras denoted by $\underline{D}_{\sqcap}$ and $\underline{D}_{\sqcup}$. A double Boolean algebra $\underline{D}$ is said pure if $D=D_{\sqcap}\cup D_{\sqcup}$, and trivial if $\bot\sqcup\bot=\top\sqcap\top$. In this work, we first show that a double Boolean algebra is pure and trivial if and only if it is a glued sum of two Boolean algebras; secondly, we characterize simple double Boolean algebras; and finally, we determine up to isomorphism all sub-directly irreducible algebras of some sub-classes of the variety of double Boolean algebras.
△ Less
Submitted 21 December, 2023;
originally announced December 2023.
-
On Interpretability and Similarity in Concept-Based Machine Learning
Authors:
Léonard Kwuida,
Dmitry I. Ignatov
Abstract:
Machine Learning (ML) provides important techniques for classification and predictions. Most of these are black-box models for users and do not provide decision-makers with an explanation. For the sake of transparency or more validity of decisions, the need to develop explainable/interpretable ML-methods is gaining more and more importance. Certain questions need to be addressed:
How does an ML…
▽ More
Machine Learning (ML) provides important techniques for classification and predictions. Most of these are black-box models for users and do not provide decision-makers with an explanation. For the sake of transparency or more validity of decisions, the need to develop explainable/interpretable ML-methods is gaining more and more importance. Certain questions need to be addressed:
How does an ML procedure derive the class for a particular entity? Why does a particular clustering emerge from a particular unsupervised ML procedure? What can we do if the number of attributes is very large? What are the possible reasons for the mistakes for concrete cases and models?
For binary attributes, Formal Concept Analysis (FCA) offers techniques in terms of intents of formal concepts, and thus provides plausible reasons for model prediction. However, from the interpretable machine learning viewpoint, we still need to provide decision-makers with the importance of individual attributes to the classification of a particular object, which may facilitate explanations by experts in various domains with high-cost errors like medicine or finance.
We discuss how notions from cooperative game theory can be used to assess the contribution of individual attributes in classification and clustering processes in concept-based machine learning. To address the 3rd question, we present some ideas on how to reduce the number of attributes using similarities in large contexts.
△ Less
Submitted 25 February, 2021;
originally announced February 2021.
-
Congruence Extensions in Congruence-modular Varieties
Authors:
George Georgescu,
Leonard Kwuida,
Claudia Mureşan
Abstract:
We investigate from an algebraic and topological point of view the minimal prime spectrum of a universal algebra, considering the prime congruences w.r.t. the term condition commutator. Then we use the topological structure of the minimal prime spectrum to study extensions of universal algebras that generalize certain types of ring extensions. Our results hold for semiprime members of semi-degener…
▽ More
We investigate from an algebraic and topological point of view the minimal prime spectrum of a universal algebra, considering the prime congruences w.r.t. the term condition commutator. Then we use the topological structure of the minimal prime spectrum to study extensions of universal algebras that generalize certain types of ring extensions. Our results hold for semiprime members of semi-degenerate congruence-modular varieties, as well as semiprime algebras whose term condition commutators are commutative and distributive w.r.t. arbitrary joins and satisfy certain conditions on compact congruences, even if those algebras do not generate congruence-modular varieties.
△ Less
Submitted 31 August, 2024; v1 submitted 9 December, 2020;
originally announced December 2020.
-
Residuated Multilattice as set of Truth Values for Fuzzy Rough Sets
Authors:
G. Nguepy Dongmo,
B. B. KOGUEP NJIONOU,
L. Kwuida,
M. Onabid
Abstract:
In 2004 Anna Maria Radzikowska et al \cite{RK2004} investigated the fuzzy rough sets where the set of truth values is an arbitrary residuated lattice. In this paper, we extend their work by considering a residuated multilattice $M$ as the set of truth values. $M$-fuzzy rough sets are defined using the residuation operators provided by residuated multilattice $M$. Depending on classes of binary fuz…
▽ More
In 2004 Anna Maria Radzikowska et al \cite{RK2004} investigated the fuzzy rough sets where the set of truth values is an arbitrary residuated lattice. In this paper, we extend their work by considering a residuated multilattice $M$ as the set of truth values. $M$-fuzzy rough sets are defined using the residuation operators provided by residuated multilattice $M$. Depending on classes of binary fuzzy relations, we define several classes of $M$-fuzzy rough sets and investigate some properties of these classes.
△ Less
Submitted 9 August, 2020;
originally announced August 2020.
-
Formal Concepts and Residuation on Multilattices
Authors:
Blaise B. Koguep Njionou,
Leonard Kwuida,
Celestin Lele
Abstract:
Multilattices are generalisations of lattices introduced by Mihail Benado. He replaced the existence of unique lower (resp. upper) bound by the existence of maximal lower (resp. minimal upper) bound(s). A multilattice will be called pure if it is not a lattice. Multilattices could be endowed with a residuation, and therefore used as set of truth-values to evaluate elements in fuzzy setting. In thi…
▽ More
Multilattices are generalisations of lattices introduced by Mihail Benado. He replaced the existence of unique lower (resp. upper) bound by the existence of maximal lower (resp. minimal upper) bound(s). A multilattice will be called pure if it is not a lattice. Multilattices could be endowed with a residuation, and therefore used as set of truth-values to evaluate elements in fuzzy setting. In this paper we exhibit the smallest pure multilattice and show that it is a sub-multilattice of any pure multilattice. We also prove that any bounded residuated multilattice that is not a residuated lattice has at least seven elements. We apply the ordinal sum construction to get more examples of residuated multilattices that are not residuated lattices. We then use these residuated multilattices to evaluate objects and attributes in formal concept analysis setting, and describe the structure of the set of corresponding formal concepts. More precisely, if $\mathcal{A}_i: =(A_i,\le_i,\top_i,\odot_i,\to_i,\bot_i)$, $i=1,2$ are two complete residuated multilattices, $G$ and $M$ two nonempty sets and $(\varphi, ψ)$ a Galois connection between $A_1^G$ and $A_2^M$ that is compatible with the residuation, then we show that
\[\mathcal{C}: =\{(h,f)\in A_1^G\times A_2^M; \varphi(h)=f \text{ and } ψ(f)=h \}\] can be endowed with a complete residuated multilattice structure. This is a generalization of a result by Ruiz-Calvi{ñ}o and Medina saying that if the (reduct of the) algebras $\mathcal{A}_i$, $i=1,2$ are complete multilattices, then $\mathcal{C}$ is a complete multilattice.
△ Less
Submitted 24 May, 2023; v1 submitted 12 June, 2020;
originally announced June 2020.
-
On Nontrivial Weak Dicomplementations and the Lattice Congruences that Preserve Them
Authors:
Leonard Kwuida,
Claudia Mureşan
Abstract:
We study the existence of nontrivial and of representable (dual) weak complementations, along with the lattice congruences that preserve them, in different constructions of bounded lattices, then use this study to determine the finite (dual) weakly complemented lattices with the largest numbers of congruences, along with the structures of their congruence lattices. It turns out that, if $n\geq 7$…
▽ More
We study the existence of nontrivial and of representable (dual) weak complementations, along with the lattice congruences that preserve them, in different constructions of bounded lattices, then use this study to determine the finite (dual) weakly complemented lattices with the largest numbers of congruences, along with the structures of their congruence lattices. It turns out that, if $n\geq 7$ is a natural number, then the four largest numbers of congruences of the $n$--element (dual) weakly complemented lattices are: $2^{n-2}+1$, $2^{n-3}+1$, $5\cdot 2^{n-6}+1$ and $2^{n-4}+1$. For smaller numbers of elements, several intermediate numbers of congruences appear between the elements of this sequence. After determining these numbers, along with the structures of the (dual) weakly complemented lattices having these numbers of congruences, we derive a similar result for weakly dicomplemented lattices.
△ Less
Submitted 4 February, 2021; v1 submitted 29 September, 2019;
originally announced September 2019.
-
Functorial Properties of the Reticulation of a Universal Algebra
Authors:
George Georgescu,
Leonard Kwuida,
Claudia Mureşan
Abstract:
The {\em reticulation} of an algebra $A$ is a bounded distributive lattice whose prime spectrum of ideals (or filters), endowed with the Stone topology, is homeomorphic to the prime spectrum of congruences of $A$, with its own Stone topology. The reticulation allows algebraic and topological properties to be transferred between the algebra $A$ and bounded distributive lattices, a transfer which is…
▽ More
The {\em reticulation} of an algebra $A$ is a bounded distributive lattice whose prime spectrum of ideals (or filters), endowed with the Stone topology, is homeomorphic to the prime spectrum of congruences of $A$, with its own Stone topology. The reticulation allows algebraic and topological properties to be transferred between the algebra $A$ and bounded distributive lattices, a transfer which is facilitated if we can define a {\em reticulation functor} from a variety containing $A$ to the variety of (bounded) distributive lattices. In this paper, we continue the study of the reticulation of a universal algebra initiated in \cite{retic}, where we have used the notion of a prime congruence introduced through the term condition commutator. We characterize morphisms which admit an image through the reticulation and investigate the kinds of varieties that admit reticulation functors; we prove that these include semi--degenerate congruence--distributive varieties with the Compact Intersection Property and semi--degenerate congruence--distributive varieties with congruence intersection terms, as well as generalizations of these, and additional varietal properties ensure that the reticulation functors preserve the injectivity of morphisms. We also study the property of morphisms of having an image through the reticulation in relation to another property, involving the complemented elements of congruence lattices, exemplify the transfer of properties through the reticulation with conditions Going Up, Going Down, Lying Over and the Congruence Boolean Lifting Property, and illustrate the applicability of such a transfer by using it to derive results for certain types of varieties from properties of bounded distributive lattices.
△ Less
Submitted 18 November, 2019; v1 submitted 30 August, 2019;
originally announced August 2019.
-
On the Size of $\exists$-Generalized Concepts
Authors:
Leonard Kwuida,
Rostand Kuitché,
Romuald Temgoua
Abstract:
Formal Concept Analysis (FCA) offers several tools for qualitative data analysis. One possibility is to group objects that share common attributes together and get a concept lattice that describes the data. Quite often the size of this concept lattice is very large. Many authors have investigated methods to reduce the size of this lattice. In \cite{KMBV14} the authors consider putting together som…
▽ More
Formal Concept Analysis (FCA) offers several tools for qualitative data analysis. One possibility is to group objects that share common attributes together and get a concept lattice that describes the data. Quite often the size of this concept lattice is very large. Many authors have investigated methods to reduce the size of this lattice. In \cite{KMBV14} the authors consider putting together some attributes to reduce the size of the attribute sets. But this reduction does not always carry over the set of concepts. They have provided some counter examples where the size of the concept lattice increases by one after putting two attributes together. Then they asked the following question: "How many new concepts can be generated by an $\exists$-generalization on just two attributes?" The present paper provides a family of contexts for which the size increases on more than one concept after putting solely two attributes together.
△ Less
Submitted 23 September, 2017;
originally announced September 2017.
-
On the isomorphism problem of concept algebras
Authors:
Leonard Kwuida,
Hajime Machida
Abstract:
Weakly dicomplemented lattices are bounded lattices equipped with two unary operations to encode a negation on {\it concepts}. They have been introduced to capture the equational theory of concept algebras \cite{Wi00}. They generalize Boolean algebras. Concept algebras are concept lattices, thus complete lattices, with a weak negation and a weak opposition. A special case of the representation p…
▽ More
Weakly dicomplemented lattices are bounded lattices equipped with two unary operations to encode a negation on {\it concepts}. They have been introduced to capture the equational theory of concept algebras \cite{Wi00}. They generalize Boolean algebras. Concept algebras are concept lattices, thus complete lattices, with a weak negation and a weak opposition. A special case of the representation problem for weakly dicomplemented lattices, posed in \cite{Kw04}, is whether complete {\wdl}s are isomorphic to concept algebras. In this contribution we give a negative answer to this question (Theorem \ref{T:main}). We also provide a new proof of a well known result due to M.H. Stone \cite{St36}, saying that {\em each Boolean algebra is a field of sets} (Corollary \ref{C:Stone}). Before these, we prove that the boundedness condition on the initial definition of {\wdl}s (Definition \ref{D:wdl}) is superfluous (Theorem \ref{T:wcl}, see also \cite{Kw09}).
△ Less
Submitted 4 February, 2010;
originally announced February 2010.
-
On the homomorphism order of labeled posets
Authors:
Leonard Kwuida,
Erkko Lehtonen
Abstract:
Partially ordered sets labeled with k labels (k-posets) and their homomorphisms are examined. We give a representation of directed graphs by k-posets; this provides a new proof of the universality of the homomorphism order of k-posets. This universal order is a distributive lattice. We investigate some other properties, namely the infinite distributivity, the computation of infinite suprema and…
▽ More
Partially ordered sets labeled with k labels (k-posets) and their homomorphisms are examined. We give a representation of directed graphs by k-posets; this provides a new proof of the universality of the homomorphism order of k-posets. This universal order is a distributive lattice. We investigate some other properties, namely the infinite distributivity, the computation of infinite suprema and infima, and the complexity of certain decision problems involving the homomorphism order of k-posets. Sublattices are also examined.
△ Less
Submitted 1 November, 2009;
originally announced November 2009.
-
Axiomatization of Boolean algebras via weak dicomplementations
Authors:
Leonard Kwuida
Abstract:
In this note we give an axiomatization of Boolean algebras based on weakly dicomplemented lattices: an algebra $(L,\wedge,\vee,\tu)$ of type $(2,2,1)$ is a Boolean algebra iff $(L,\wedge,\vee)$ is a non empty lattice and $(x\wedge y)\vee(x\wedge y\tu)=(x\vee y)\wedge(x\vee y\tu)$ for all $x,y\in L$. This provides a unique equation to encode distributivity and complementation on lattices.
In this note we give an axiomatization of Boolean algebras based on weakly dicomplemented lattices: an algebra $(L,\wedge,\vee,\tu)$ of type $(2,2,1)$ is a Boolean algebra iff $(L,\wedge,\vee)$ is a non empty lattice and $(x\wedge y)\vee(x\wedge y\tu)=(x\vee y)\wedge(x\vee y\tu)$ for all $x,y\in L$. This provides a unique equation to encode distributivity and complementation on lattices.
△ Less
Submitted 7 July, 2009;
originally announced July 2009.
