Abstract:We introduce an algebraic concept of the frame for abstract conditional independence (CI) models, together with basic operations with respect to which such a frame should be closed: copying and marginalization. Three standard examples of such frames are (discrete) probabilistic CI structures, semi-graphoids and structural semi-graphoids. We concentrate on those frames which are closed under the operation of set-theoretical intersection because, for these, the respective families of CI models are lattices. This allows one to apply the results from lattice theory and formal concept analysis to describe such families in terms of implications among CI statements.The central concept of this paper is that of self-adhesivity defined in algebraic terms, which is a combinatorial reflection of the self-adhesivity concept studied earlier in context of polymatroids and information theory. The generalization also leads to a self-adhesivity operator defined on the meta-level of CI frames. We answer some of the questions related to this approach and raise other open questions.The core of the paper is in computations. The combinatorial approach to computation might overcome some memory and space limitation of software packages based on polyhedral geometry, in particular, if SAT solvers are utilized. We characterize some basic CI families over 4 variables in terms of canonical implications among CI statements. We apply our method in information-theoretical context to the task of entropic region demarcation over 5 variables.

On generating of idempotent aggregation functions on finite lattices

Generalized ordinal sums of aggregation operators on bounded lattices

Lattice aggregations of boxes and symmetric functions

Belief functions on lattices

Constructing Lattice Based on Irreducible Concepts

Decomposition theorem on matchable distributive lattices

Partial divisibility of random sets and powers of completely monotone functions

Semilinear idempotent distributive l -monoids

A lattice framework for generalizing shellable complexes and matroids

Affinely representable lattices, stable matchings, and choice functions

The equational theory of the Weihrauch lattice with (iterated) composition

Clonoids of Boolean functions with essentially unary, linear, semilattice, or 0- or 1-separating source and target clones

Self-adhesivity in lattices of abstract conditional independence models

Random expansions of finite structures with bounded degree

Demonic Lattices and Semilattices in Relational Semigroups with Ordinary Composition

Atoms in four-element generating sets of partition lattices

Independent sets of non-geometric lattices and the maximal adjoint

Lattice Minors and Eulerian Posets

Unbounded order convergence on infinitely distributive lattices