Optimal decompositions of matrices with entries from residuated lattices

@article{Belohlvek2012OptimalDO,
  title={Optimal decompositions of matrices with entries from residuated lattices},
  author={Radim Belohl{\'a}vek},
  journal={J. Log. Comput.},
  year={2012},
  volume={22},
  pages={1405-1425}
}
  • R. Belohlávek
  • Published 1 December 2012
  • Mathematics, Computer Science
  • J. Log. Comput.
We describe optimal decompositions of matrices whose entries are elements of a residuated lattice L, such as L=[0, 1]. Such matrices represent relationships between objects and attributes with the entries representing degrees to which attributes represented by columns apply to objects represented by rows. Given such an n × m object-attribute matrix I, we look for a decomposition of I into a product A ° B of an n × k object-factor matrix A and a k × m factor-attribute matrix B with entries from… 

Figures and Tables from this paper

Factorization of matrices with grades
Discovery of factors in matrices with grades
TLDR
This work presents a greedy approximation algorithm for the problem of decomposition of such matrix in a product of two matrices with grades under the restriction that the number of factors be small.
Row and Column Spaces of Matrices over Residuated Lattices
TLDR
The notions of a row and column space for matrices over residuated lattices are defined, connections to concept lattices and other structures associated to such matrices are provided, and several properties of the row andcolumn spaces are shown, including properties that relate the Row and column spaces to Schein ranks ofMatrices over residency lattices.
The Singular Value Decomposition over Completed Idempotent Semifields
TLDR
This paper finds out that for a matrix with entries considered in a complete idempotent semifield, the Galois connection at the heart of K-FCA provides two basis of left- and right-singular vectors to choose from, for reconstructing the matrix.
Factorizing Three-Way Ordinal Data Using Triadic Formal Concepts
TLDR
It is proved that optimal decompositions are achieved by using triadic concepts of I, developed within formal concept analysis, and results on natural transformations between the space of attributes and conditions and thespace of factors are provided.
The spectra of reducible matrices over complete commutative idempotent semifields and their spectral lattices
TLDR
The spectra of reducible matrices over completed idempotent semifields and dioids are considered, giving a constructive solution to the all-eigenvectors problem in this setting and shows that the relation of complete lattices to eigenspaces is even tighter than suspected.
Triadic concept lattices of data with graded attributes
TLDR
This paper shows how triadic concept analysis is developed in a setting in which the ternary relationship between objects, attributes, and modi is a matter of degree rather than a yes-or-no relationship.
A new algorithm for Boolean matrix factorization which admits overcovering
...
...

References

SHOWING 1-10 OF 35 REFERENCES
Optimal triangular decompositions of matrices with entries from residuated lattices
  • R. Belohlávek
  • Mathematics, Computer Science
    Int. J. Approx. Reason.
  • 2009
Optimal decompositions of matrices with grades into binary and graded matrices
TLDR
A theorem is presented which shows that decompositions which use particular formal concepts of I as factors for the decomposition are optimal in that the number of factors involved is the smallest possible.
Factor Analysis of Incidence Data via Novel Decomposition of Matrices
TLDR
This work presents a novel approach to decomposition and factor analysis of matrices with incidence data, based on a geometric insight provided by a theorem identifying particular rectangular-shaped submatrices as optimal factors for the decompositions.
The Discrete Basis Problem
TLDR
This paper describes a matrix decomposition formulation for Boolean data, the Discrete Basis Problem, and gives a simple greedy algorithm for solving it and shows how it can be solved using existing methods.
Computing the Lattice of All Fixpoints of a Fuzzy Closure Operator
We present a fast bottom-up algorithm to compute all fixpoints of a fuzzy closure operator in a finite set over a finite chain of truth degrees, along with the partial order on the set of all
Concept lattices and order in fuzzy logic
Concept Equations
TLDR
The question ofsolvability, structure of solutions, and how solvability of non-solvable systems may be attained by so-called decrease of logical precision are answered.
On Galois Connexions
Fuzzy Closure Operators
TLDR
The aim of this paper is to outline a general theory of fuzzy closure operators and fuzzy closure systems, and to introduce the necessary concepts.
...
...