Semigraphoids Are Two-Antecedental Approximations of Stochastic Conditional Independence Models

The semigraphoid closure of every couple of CI-statements (CI=conditional independence) is a stochastic CI-model. As a consequence of this result it is shown that every probabilistically sound inference rule for CI-models, having at most two antecedents, is derivable from the semigraphoid inference rules. This justifies the use of semigraphoids as approximations of stochastic CI-models in probabilistic reasoning. The list of all 19 potential dominant elements of the mentioned semigraphoid closure is given as a byproduct.

[1]  Ross D. Shachter.  Evaluating Influence Diagrams , 1986, Oper. Res..

[2]  T. Speed,et al.  Markov Fields and Log-Linear Interaction Models for Contingency Tables , 1980 .

[3]  T. Speed,et al.  Recursive causal models , 1984, Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics.

[4]  J. Q. Smith.  Influence Diagrams for Statistical Modelling , 1989 .

[5]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.

[6]  Milan Studený.  Formal Properties of Conditional Independence in Different Calculi of AI , 1993, ECSQARU.

[8]  A. Dawid.  Conditional Independence in Statistical Theory , 1979 .

[9]  J. Pearl,et al.  Logical and Algorithmic Properties of Conditional Independence and Graphical Models , 1993 .

[10]  Judea Pearl,et al.  GRAPHOIDS: A Graph-based logic for reasoning about relevance relations , 1985 .

[11]  Milan Studeny,et al.  Conditional independence relations have no finite complete characterization , 1992 .

[12]  Wolfgang Spohn,et al.  Stochastic independence, causal independence, and shieldability , 1980, J. Philos. Log..

[13]  Prakash P. Shenoy,et al.  Conditional independence in valuation-based systems , 1994, Int. J. Approx. Reason..

[14]  David C. Hogg,et al.  Advances in Artificial Intelligence-II , 1987 .

[15]  M. Studený.  DESCRIPTION OF STRUCTURES OF STOCHASTIC CONDITIONAL INDEPENDENCE BY MEANS OF FACES AND IMSETS 1st part: introduction and basic concepts 1 , 1995 .