Equivalence of compositional expressions and independence relations in compositional models
| Autor: | Francesco M. Malvestuto |
|---|---|
| Rok vydání: | 2014 |
| Předmět: |
perfect sequence
compositional expression Discrete mathematics Composition operator compositional model Expression (mathematics) Theoretical Computer Science Distribution function Artificial Intelligence Control and Systems Engineering If and only if running intersection property Electrical and Electronic Engineering Equivalence (formal languages) Software Semifield Information Systems Mathematics |
| Zdroj: | Kybernetika. :322-362 |
| ISSN: | 1805-949X 0023-5954 |
| DOI: | 10.14736/kyb-2014-3-0322 |
| Popis: | We generalize Jirousek's (right) composition operator in such a way that it can be applied to distribution functions with values in a "semifield", and introduce (parenthesized) compositional expressions, which in some sense generalize Jirousek's "generating sequences" of compositional models. We say that two compositional expressions are equivalent if their evaluations always produce the same results whenever they are defined. Our first result is that a set system H is star-like with centre X if and only if every two compositional expressions with "base scheme" H and "key" X are equivalent. This result is stronger than Jirousek's result which states that, if H is star-like with centre X, then every two generating sequences with base scheme H and key X are equivalent. Then, we focus on canonical expressions, by which we mean compositional expressions such that the sequence of the sets featured in and arranged in order of appearance enjoys the "running intersection property". Since every compositional expression, whose base scheme is a star-like set system with centre X and whose key is X, is a canonical expression, we investigate the equivalence between two canonical expressions with the same base scheme and the same key. We state a graphical characterization of those set systems H such that every two canonical expressions with base scheme H and key X are equivalent, and also provide a graphical algorithm for their recognition. Finally, we discuss the problem of detecting conditional independences that hold in a compositional model. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|