Institute of Information Theory and Automation

You are here

Bibliography

Conference Paper (Czech conference)

Equivalence Problem in Compositional Models

Kratochvíl Václav

: WUPES'09, p. 133-143 , Eds: Kroupa T., Vejnarová J.

: WUPES 2009, (Liblice, CZ, 19.09.2009-23.09.2009)

: CEZ:AV0Z10750506

: Compositional model, Equivalence problem

: http://library.utia.cas.cz/separaty/2009/MTR/kratochvil-equivalence problem in compositional models.pdf

(eng): Structure of each Compositional model can be visualized by a tool called persegram. Every persegram over a finite non-empty set of variables N induces an independence model over N, which is a list of conditional independence statements over N. The Equivalence problem is how to characterize (in graphical terms) whether all independence statements in the model induced by persegram P are in the model induced by a second persegram P' and vice versa. Three different operations preserving independence model were introduced in previous papers. If combined, one is able to generate the (whole) class of equivalent persegrams. This characterization is indirect: Two persegrams P,P' are equivalent if there exists a sequence of persegrams from P,P' such that only so called IE-operations are performed to get next persegram in the sequence. In this paper we give the motivation and introduction for direct characterization of equivalence.

(cze): Persegram (speciální tabulka značek) zachycující strukturu kompozicionálního modelu nad množinou proměnných N indukuje množinu podmíněných nezávislostí - tzv. nezávislostní model nad N. Jak vyjádřit že dva dané persegramy indukují stejný nezávislostní model je označováno jako problém ekvivalence. V předchozích článcích byly zavedeny tři elementární operace nad persegramem zachovávající indukovaný nezávislostní model. Označujeme je jako IE-operace. Pomocí nich lze generovat celou třídu, ve výše uvedeném smyslu vekvivalentních, persegramů. Lze také odvodit tzv. nepřímou charakterizaci: Dva persegramy P,P' jsou ekvivalentí, pokud mezi P,P' existuje posloupnost persegramů taková, že pouze IE-operace byly použity aby se získa další persegram v řadě. V tomto článku najde čtenář náznak přímé charakterizace. Navzdory faktu, že finální přímá charakterizace není uvedena, je zavedeno několik invariantních vlastností ekvivalentních persegramů, které k přímé charakterizaci nejspíše povedou.

: BA

2019-01-07 08:39