×

zbMATH — the first resource for mathematics

Conditional independence in valuation-based systems. (English) Zbl 0821.68114
Summary: This study introduces the concept of conditional independence in valuation-based systems (VBS). VBS is an axiomatic framework capable of representing many different uncertainty calculi. We define conditional independence in terms of factorization of the joint valuation. The definition of conditional independence in VBS generalizes the corresponding definition in probability theory. Besides probability theory, our definition applies also to Dempster-Shafer’s belief-function theory, Spohn’s epistemic-belief theory, and Zadeh’s possibility theory. In fact, it applies to any uncertainty calculi that fit in the VBS framework. We prove that our definition of conditional independence satisfies many of the usual properties associated with it. In particular, it satisfies Pearl and Paz’s graphoid axioms.

MSC:
68T27 Logic in artificial intelligence
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Dawid, A.P., Conditional independence in statistical theory (with discussion), J. roy. stat. soc. ser. B, 41, 1, 1-31, (1979) · Zbl 0408.62004
[2] Spohn, W., Stochastic independence, casual independence, and shieldability, J. phil. logic, 9, 73-99, (1980) · Zbl 0436.60004
[3] Lauritzen, S.L., Lectures on contingency tables, () · Zbl 0336.31006
[4] Pearl, J.; Paz, A., Graphoids: graph-based logic for reasoning about relevance relations, (), 357-363
[5] Smith, J.Q., Influence diagrams for statistical modelling, Ann. of stat., 17, 2, 654-672, (1989) · Zbl 0687.62004
[6] Studeny, M., Multiinformation and the problem of characterization of conditional independence relations, Problems of control and information theory, 18, 1, 3-16, (1989) · Zbl 0668.60005
[7] Geiger, D., Graphoids: a qualitative framework for probabilistic inference, ()
[8] Spohn, W., Ordinal conditional functions: a dynamic theory of epistemic states, (), 105-134
[9] Hunter, D., Graphoids and natural conditional functions, Int. J. approx. reas., 5, 6, 489-504, (1991) · Zbl 0741.68088
[10] Dempster, A.P., Upper and lower probabilities induced by a multivalued mapping, Ann. math. stat., 38, 325-339, (1967) · Zbl 0168.17501
[11] Shafer, G., A mathematical theory of evidence, (1976), Princeton University Press Princeton, NJ · Zbl 0359.62002
[12] Zadeh, L.A., A theory of approximate reasoning, (), 149-194
[13] Dubois, D.; Prade, H., Possibility theory: an approach to computerized processing of uncertainty, (1988), Plenum Press New York, NY
[14] Shafer, G., Belief functions and parametric models (with discussion), J. roy. stat. soc. ser. B, 44, 3, 322-352, (1982) · Zbl 0499.62007
[15] Shafer, G., The problem of dependent evidence, () · Zbl 1386.68172
[16] Shafer, G., Belief functions and possibility measures, (), 51-84
[17] Shafer, G., Perspectives on the theory and practice of belief functions, Int. J. approx. reas., 4, 5-6, 323-362, (1990) · Zbl 0714.62001
[18] Smets, P., Combining nondistinct evidences, (), 544-548
[19] Shafer, G.; Shenoy, P.P.; Mellouli, K., Propagating belief functions in qualitative Markov trees, Int. J. approx. reas., 1, 4, 349-400, (1987) · Zbl 0641.68158
[20] Shenoy, P.P., A valuation-based language for expert systems, Int. J. approx. reas., 3, 5, 383-411, (1989)
[21] Shenoy, P.P., Valuation-based systems: a framework for managing uncertainty in expert systems, (), 83-104
[22] Dawid, A.P., Conditional independence for statistical operations, Ann. stat., 8, 3, 598-617, (1980) · Zbl 0434.62006
[23] Shenoy, P.P., Consistency in valuation-based systems, ORSA J. on comp., (1994), (in press) · Zbl 0822.90089
[24] Shenoy, P.P.; Shafer, G., Axioms for probability and belief-function propagation, (), 169-198
[25] Petrich, M., Introduction to semigroups, (1973), Charles E. Merrill Publishing Co Columbus, OH · Zbl 0321.20037
[26] Cano, J.E.; Delgado, M.; Moral, S., An axiomatic framework for propagating uncertainty in directed acyclic networks, Int. J. approx. reas., 8, 4, 253-280, (1993) · Zbl 0777.68071
[27] Shafer, G., An axiomatic study of computation in hypertrees, ()
[28] Herstein, I.N., Topics in algebra, (1975), Xerox College Publishing Lexington, MA · Zbl 1230.00004
[29] Geiger, D.; Pearl, J., Logical and algorithmic properties of conditional independence and graphical models, () · Zbl 0814.62006
[30] Pearl, J., Probabilistic reasoning in intelligent systems: networks of plausible inference, (1988), Morgan Kaufman San Mateo, CA
[31] Studeny, M., Attempts at axiomatic description of conditional independence, Kybernetica, 25, 3, 72-79, (1989)
[32] Spohn, W., On the properties of conditional independence, (), (in press)
[33] Shafer, G.; Shenoy, P.P., Bayesian and belief-function propagation, ()
[34] Shenoy, P.P., Using Dempster-Shafer’s belief-function theory in expert systems, (), (in press)
[35] Spohn, W., A general non-probabilistic theory of inductive reasoning, (), 149-158
[36] Shenoy, P.P., On Spohn’s rule for revision of beliefs, Int. J. approx. reas., 5, 2, 149-181, (1991) · Zbl 0719.60003
[37] Shenoy, P.P., Using possibility theory in expert systems, Fuzzy sets and systems, 52, 2, 129-142, (1992)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.