Qualitative Bayesian Networks with Logical Constraints

An important feature of Qualitative Bayesian Networks is that they describe conditional independence models. However, they are not able to handle models involving logical constraints among the given variables. The aim of this paper is to show how this theory can be extended in such a way to represent also the logical constraints in the graph through an enhanced version of Qualitative Bayesian Networks. The relative algorithm for building these graphs (which is a generalization of the well-known algorithm based on D-separation criterion) is given.

[1]  Barbara Vantaggi,et al.  Graphical Representation of Asymmetric Graphoid Structures , 2003, ISIPTA.

[2]  Joe R. Hill.  [Bayesian Analysis in Expert Systems]: Comment , 1993 .

[3]  L. Dubins.  Finitely Additive Conditional Probabilities, Conglomerability and Disintegrations , 1975 .

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

[5]  Dan Geiger,et al.  Identifying independence in bayesian networks , 1990, Networks.

[6]  R. Scozzafava,et al.  Probabilistic Logic in a Coherent Setting , 2002 .

[7]  Romano Scozzafava,et al.  The role of coherence in eliciting and handling imprecise probabilities and its application to medical diagnosis , 2000, Inf. Sci..

[8]  Barbara Vantaggi,et al.  Conditional Independence in A Coherent Finite Setting , 2001, Annals of Mathematics and Artificial Intelligence.

[9]  A. Philip Dawid,et al.  Separoids: A Mathematical Framework for Conditional Independence and Irrelevance , 2001, Annals of Mathematics and Artificial Intelligence.

[10]  Barbara Vantaggi,et al.  The L-separation criterion for description of cs-independence models , 2002, Int. J. Approx. Reason..

[11]  Giulianella Coletti,et al.  Stochastic Independence in a Coherent Setting , 2004, Annals of Mathematics and Artificial Intelligence.

[12]  P. Krauss,et al.  Representation of conditional probability measures on Boolean algebras , 1968 .

[13]  Giulianella Coletti,et al.  Zero probabilities in stochastic independence , 2000 .