bibtype J - Journal Article
ARLID 0599870
utime 20250210143921.9
mtime 20241025235959.9
SCOPUS 85207029715
WOS 001344013900001
DOI 10.1016/j.dam.2024.10.006
title (primary) (eng) Self-adhesivity in lattices of abstract conditional independence models
specification
page_count 30 s.
media_type P
serial
ARLID cav_un_epca*0256497
ISSN 0166-218X
title Discrete Applied Mathematics
volume_id 361
volume 1 (2025)
page_num 196-225
publisher
name Elsevier
keyword self-adhesivity
keyword conditional independence
keyword semi-graphoid
keyword lattice (order theory)
keyword pseudo-closed element
keyword Boolean satisfiability
author (primary)
ARLID cav_un_auth*0475017
name1 Boege
name2 T.
country SE
author
ARLID cav_un_auth*0475018
name1 Bolt
name2 J. H.
country NL
author
ARLID cav_un_auth*0101202
name1 Studený
name2 Milan
institution UTIA-B
full_dept (cz) Matematická teorie rozhodování
full_dept Department of Decision Making Theory
department (cz) MTR
department MTR
full_dept Department of Decision Making Theory
fullinstit Ústav teorie informace a automatizace AV ČR, v. v. i.
source
url https://library.utia.cas.cz/separaty/2024/MTR/studeny-0599870.pdf
cas_special
abstract (eng) 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.\n\nThe 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.\n\nThe 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.
result_subspec WOS
RIV BA
FORD0 10000
FORD1 10100
FORD2 10101
reportyear 2025
num_of_auth 3
inst_support RVO:67985556
permalink https://hdl.handle.net/11104/0357457
confidential S
mrcbC91 A
mrcbT16-e MATHEMATICSAPPLIED
mrcbT16-j 0.486
mrcbT16-s 0.657
mrcbT16-D Q3
mrcbT16-E Q2
arlyear 2025
mrcbU14 85207029715 SCOPUS
mrcbU24 PUBMED
mrcbU34 001344013900001 WOS
mrcbU63 cav_un_epca*0256497 Discrete Applied Mathematics 361 1 2025 196 225 0166-218X 1872-6771 Elsevier