Název: Equivalence Problem in Compositional Models
Překlad názvu: Problém ekvivalentu v kompozitních modelech
Autoři: Kratochvíl, Václav
Typ dokumentu: Příspěvky z konference
Konference/Akce: WUPES 2009, Liblice (CZ), 2009-09-19 / 2009-09-23
Rok: 2009
Jazyk: eng
Abstrakt: [eng] [cze]
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. 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.
Klíčová slova: Compositional model; Equivalence problem
Číslo projektu: CEZ:AV0Z10750506 (CEP)
Zdrojový dokument: WUPES'09, ISBN 978-80-245-1543-4

Instituce: Ústav teorie informace a automatizace AV ČR (web)
Informace o dostupnosti dokumentu: Dokument je dostupný na externích webových stránkách.
Externí umístění souboru: http://library.utia.cas.cz/separaty/2009/MTR/kratochvil-equivalence problem in compositional models.pdf
Původní záznam: http://hdl.handle.net/11104/0177030

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-40627


Záznam je zařazen do těchto sbírek:
Věda a výzkum > AV ČR > Ústav teorie informace a automatizace
Konferenční materiály > Příspěvky z konference