86 research outputs found

    Towards a generalisation of formal concept analysis for data mining purposes

    Get PDF
    In this paper we justify the need for a generalisation of Formal Concept Analysis for the purpose of data mining and begin the synthesis of such theory. For that purpose, we first review semirings and semimodules over semirings as the appropriate objects to use in abstracting the Boolean algebra and the notion of extents and intents, respectively. We later bring to bear powerful theorems developed in the field of linear algebra over idempotent semimodules to try to build a Fundamental Theorem for K-Formal Concept Analysis, where K is a type of idempotent semiring. Finally, we try to put Formal Concept Analysis in new perspective by considering it as a concrete instance of the theory developed

    The moduli space of matroids

    Get PDF
    In the first part of the paper, we clarify the connections between several algebraic objects appearing in matroid theory: both partial fields and hyperfields are fuzzy rings, fuzzy rings are tracts, and these relations are compatible with the respective matroid theories. Moreover, fuzzy rings are ordered blueprints and lie in the intersection of tracts with ordered blueprints; we call the objects of this intersection pastures. In the second part, we construct moduli spaces for matroids over pastures. We show that, for any non-empty finite set EE, the functor taking a pasture FF to the set of isomorphism classes of rank-rr FF-matroids on EE is representable by an ordered blue scheme Mat(r,E)Mat(r,E), the moduli space of rank-rr matroids on EE. In the third part, we draw conclusions on matroid theory. A classical rank-rr matroid MM on EE corresponds to a K\mathbb{K}-valued point of Mat(r,E)Mat(r,E) where K\mathbb{K} is the Krasner hyperfield. Such a point defines a residue pasture kMk_M, which we call the universal pasture of MM. We show that for every pasture FF, morphisms kM→Fk_M\to F are canonically in bijection with FF-matroid structures on MM. An analogous weak universal pasture kMwk_M^w classifies weak FF-matroid structures on MM. The unit group of kMwk_M^w can be canonically identified with the Tutte group of MM. We call the sub-pasture kMfk_M^f of kMwk_M^w generated by ``cross-ratios' the foundation of MM,. It parametrizes rescaling classes of weak FF-matroid structures on MM, and its unit group is coincides with the inner Tutte group of MM. We show that a matroid MM is regular if and only if its foundation is the regular partial field, and a non-regular matroid MM is binary if and only if its foundation is the field with two elements. This yields a new proof of the fact that a matroid is regular if and only if it is both binary and orientable.Comment: 83 page

    Semiring and semimodule issues in MV-algebras

    Full text link
    In this paper we propose a semiring-theoretic approach to MV-algebras based on the connection between such algebras and idempotent semirings - such an approach naturally imposing the introduction and study of a suitable corresponding class of semimodules, called MV-semimodules. We present several results addressed toward a semiring theory for MV-algebras. In particular we show a representation of MV-algebras as a subsemiring of the endomorphism semiring of a semilattice, the construction of the Grothendieck group of a semiring and its functorial nature, and the effect of Mundici categorical equivalence between MV-algebras and lattice-ordered Abelian groups with a distinguished strong order unit upon the relationship between MV-semimodules and semimodules over idempotent semifields.Comment: This version contains some corrections to some results at the end of Section

    CROSS PRODUCT OF IDEAL FUZZY SEMIRING

    Get PDF
    If one of the axioms in the ring, namely the inverse axiom in the addition operation, is omitted, it will produce another algebraic structure, namely a semiring. Analogous to a ring, there are zero elements, ideal (left/right) in a semiring, and the cross product of the semiring ideal. The analog of the fuzzy semiring has zero elements, ideal (left/right), and the cross product of the semiring fuzzy ideal associated with the membership value. This paper will discuss the cross-product of two (more) fuzzy ideals from a semiring. Furthermore, the cross-product of two (more) fuzzy ideals from a semiring will always be a semiring fuzzy ideal. But the converse is not necessarily true

    Stone-type representations and dualities for varieties of bisemilattices

    Full text link
    In this article we will focus our attention on the variety of distributive bisemilattices and some linguistic expansions thereof: bounded, De Morgan, and involutive bisemilattices. After extending Balbes' representation theorem to bounded, De Morgan, and involutive bisemilattices, we make use of Hartonas-Dunn duality and introduce the categories of 2spaces and 2spaces⋆^{\star}. The categories of 2spaces and 2spaces⋆^{\star} will play with respect to the categories of distributive bisemilattices and De Morgan bisemilattices, respectively, a role analogous to the category of Stone spaces with respect to the category of Boolean algebras. Actually, the aim of this work is to show that these categories are, in fact, dually equivalent

    Partial Group Representations on Semialgebras

    Full text link
    Let AA be an additively cancellative semialgebra over an additively cancellative semifield KK as defined in [9]. For a given partial action α\alpha of a group GG on an algebra, the associativity of partial skew group ring together with the existence and uniqueness of enveloping (global) action were studied by M. Dokuchaev and R. Exel [2] which were extended for semialgebras with some restriction by Sharma et. al. using the ring of differences. In a similar way, we extend the results of [2,3] for semialgebras regarding partial representations.Comment: PAGE 20-2
    • …
    corecore