Qualitative probabilities for default reasoning, belief revision, and causal modeling

Artificial Intelligence

Volumn 84, Issue 1-2, 1996, Pages 57-112

  Goldszmidt, Moisés ^a   Pearl, Judea ^b  

^a SRI INTERNATIONAL   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; COMPUTER SIMULATION; CONSTRAINT THEORY; FORMAL LOGIC; INFERENCE ENGINES; KNOWLEDGE BASED SYSTEMS; MARKOV PROCESSES; PROBABILISTIC LOGICS; PROBABILITY;

BAYESIAN UPDATING; BELIEF REVISION; CAUSAL MODELING; DEFAULT REASONING; JEFFREY RULE; ORDER OF MAGNITUDE APPROXIMATIONS;

ARTIFICIAL INTELLIGENCE;

EID: 0030190238     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/0004-3702(95)00090-9     Document Type: Article

References (76)

1. E.W. Adams, The Logic of Conditionals (Reidel, Dordrecht, Netherlands, 1975).
2. C. Alchourrón, P. Gärdenfors and D. Makinson, On the logic of theory change: partial meet contraction and revision functions, J. Symb. Logic 50 (1985) 510-530.
3. F. Bacchus, Representing and Reasoning with Probabilistic Knowledge, A Logical Approach to Probabilities (MIT Press, Cambridge, MA, 1991).
4. F. Bacchus, A. Grove, J. Halpern and D. Koller, Statistical foundations of default reasoning indifference and irrelevance, in: Proceedings Fourth International Workshop on Nonmonotonic Reasoning, Vermont (1992) 1-12.
5. A. Balke and J. Pearl, Counterfactual probabilities: computational methods, bounds, and applications, in: Proceedings Tenth Annual Conference on Uncertainty in Artificial Ingelligence (1994) 46-54.
6. A. Balke and J. Pearl, Counterfactuals and policy analysis in structural models, in: Proceedings Eleventh Annual Conference on Uncertainty in Artificial Ingelligence (1995) 11-18.
7. R. Ben-Eliyahu, NP-complete problems in optimal horn clauses satisfiability, Tech. Rept. R-158, Cognitive Systems Laboratory, UCLA, Los Angeles, CA (1990).
8. C. Boutilier, Conditional logics for default reasoning and belief revision, Ph.D. Dissertation, University of Toronto, Toronto, Ont. (1992); also: Tech. Rept. 91-1, Department of Computer Science, University of British Columbia, Vancouver, BC (1991).
9. C. Boutilier, Conditional logics for default reasoning and belief revision, Ph.D. Dissertation, University of Toronto, Toronto, Ont. (1992); also: Tech. Rept. 91-1, Department of Computer Science, University of British Columbia, Vancouver, BC (1991).
10. C. Boutilier, What is a default priority?, in: Proceedings Ninth Biennial Conference of the Canadian Society for Computational Studies of Intelligence, Vancouver, BC (1992) 140-147.
11. C. Boutilier, Iterated revision and minimal revision of conditional beliefs, J. Philos. Logic (1995); Preliminary version in: Proceedings IJCAI-93, Chambery, France (1993) 519-525.
12. C. Boutilier, Iterated revision and minimal revision of conditional beliefs, J. Philos. Logic (1995); Preliminary version in: Proceedings IJCAI-93, Chambery, France (1993) 519-525.
13. C. Boutilier and M. Goldszmidt, Revision by conditional beliefs, in: Proceedings AAAI-93, Washington, DC (1993) 649-654.
14. G. Brewka, Preferred subtheories: an extended logical framework for default reasoning, in: Proceedings IJCAI-89, Detroit, MI (1989).
15. M. Dalal, Investigations into a theory of knowledge base revision: preliminary report, in: Proceedings AAAI-88, St. Paul, MN (1988) 475-479.
16. A. Darwiche, Conditional independence in ATMSs: independence-based algorithms for computing labels and diagnoses, in: Proceedings 5th International Workshop on Principles of Diagnosis, New Paltz, NY (1994) 70-80.
17. A. Darwiche and M. Goldszmidt, Action networks: a framework for reasoning about actions and change under uncertainty, in: Proceedings Tenth Annual Conference on Uncertainty in Artificial Intelligence (1994) 136-144.
18. A. Darwiche and M. Goldszmidt, On the relation between kappa calculus and probabilistic reasoning, in: Proceedings Tenth Annual Conference on Uncertainty in Artificial Intelligence (1994) 145-153.
19. A. Darwiche and J. Pearl, On the logic of iterated belief revision, in: Proceedings Fifth Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA (1994) 5-23.
20. R. Dechter and J. Pearl, Network-based heuristics for constraint satisfaction problems, Artif. Intell. 34 (1987) 1-38.
21. R. Dechter and J. Pearl, Directed constraint networks: a relational framework for causal modeling, in: Proceedings IJCAI-91, Sydney, Australia (1991) 1164-1170.
22. J.P. Delgrande, An approach to default reasoning based on a first-order conditional logic: revised report, Artif. Intell. 36 (1988) 63-90.
23. W. Dowling and J. Gallier, Linear-time algorithms for testing the satisfiability of propositional Horn formulae, J. Logic Programming 3 (1984) 267-284.
24. D. Dubois and H. Prade, Possibility Theory: An Approach to Computerized Processing of Uncertainty (Plenum Press, New York, 1988).
25. R. Fagin, J.D. Ullman and M. Vardi, On the semantics of updates in databases, in: Proceedings Second ACM Symposium on Principles of Database Systems, Atlanta, GA (1983) 352-365.
26. P. Gärdenfors, Knowledge in Flux: Modeling the Dynamics of Epistemic States (MIT Press, Cambridge, MA, 1988).
27. H.A. Geffner, Default Reasoning: Causal and Conditional Theories (MIT Press, Cambridge, MA, 1992).
28. H.A. Geffner and J. Pearl, A framework for reasoning with defaults, in: H. Kyburg, R. Loui and G. Carlson, eds., Knowledge Representation and Defeasible Reasoning (Kluwer Academic Publishers, Bosston, MA, 1990) 245-265.
29. H.A. Geffner and J. Pearl, Conditional entailment: bridging two approaches to default reasoning, Artif. Intell. 53 (1992) 209-244.
30. M. Goldszmidt, Qualitative probabilities: a normative framework for commonsense reasoning, Ph.D. Thesis, Computer Science Department, University of California, Los Angeles, CA (1992); also: Tech. Rept. TR-190, Cognitive Systems Laboratory.
31. M. Goldszmidt, Building minimal stratified rankings, Technical Memorandum 150, Rockwell Science Center, Palo Alto, CA (1995).
32. M. Goldszmidt, Fast belief update using order-of-magnitude probabilities, in: Proceedings Eleventh Annual Conference on Uncertainty in Artificial Intelligence (1995) 208-216.
33. M. Goldszmidt, P. Morris and J. Pearl, A maximum entropy approach to nonmonotonic reasoning, IEEE Trans. Pattern Anal. Mach, Intell. 15 (1993) 220-232.
34. M. Goldszmidt and J. Pearl, On the relation between rational closure and system Z, in: Proceedings Third International Workshop on Nonmonotonic Reasoning, South Lake Tahoe, CA (1990) 130-140.
35. M. Goldszmidt and J. Pearl, On the consistency of defeasible databases, Artif. Intell. 52 (1991) 121-149.
36. +: a formalism for reasoning with variable strength defaults, in: Proceedings AAAI-91, Anaheim, CA (1991) 399-404.
37. M. Goldszmidt and J. Pearl, Rank-based systems: a simple approach to belief revision, belief update, and reasoning about evidence and actions, in: Proceedings Third International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA (1992) 661-672.
38. M. Goldszmidt and J. Pearl, Stratified rankings for causal relations, in: Proceedings Fourth International Workshop on Nonmonotonic Reasoning, Vermont (1992) 99-110.
39. S. Hanks and D. McDermott, Non-monotonic logics and temporal projection, Artif. Intell. 33 (1987) 379-412.
40. M. Henrion, G. Provan, B. del Favero and G. Sanders, An experimental comparison of diagnostic performance using infinitesimal and numerical Bayesian belief networks, in: Proceedings Tenth Annual Conference on Uncertainty in Artificial Intelligence (1994) 319-326.
41. D. Hunter, Parallel belief revision, in: R.D. Shachter, T.S. Levitt, L.N. Kanal and J.F. Lemmer, eds., Uncertainty in Artificial Intelligence 4 (North-Holland, Amsterdam, 1990) 241-252.
42. R. Jeffrey, The Logic of Decision (University of Chicago Press, Chicago, IL, 1983); also: (McGraw-Hill, New York, 1st ed., 1965).
43. H. Katsuno and A. Mendelzon, On the difference between updating a knowledge base and revising it, in: Proceedings Second International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA (1991) 387-394.
44. H. Kautz, The logic of persistence, in: Proceedings AAAI-86, Philadelphia, PA (1986) 401-407.
45. S. Kraus, D. Lehmann and M. Magidor, Nonmonotonic reasoning, preferential models and cumulative logics, Artif. Intell. 44 (1990) 167-207.
46. H. Kyburg, Probability and the Logic of Rational Belief (Wesleyan University Press, Middletown, CT, 1961).
47. S. Lauritzen and D. Spiegelhalter, Local computations with probabilities on graphical structures and their applications to expert systems, Roy. Stat. Soc. 50 (1988) 154-227.
48. D. Lehmann, What does a conditional knowledge base entail?, in: Proceedings First International Conference on Principles of Knowledge Representation and Reasoning, Toronto, Ont. (1989) 212-222.
49. D. Lehmann and M. Magidor, What does a conditional knowledge base entail?, Artif. Intell. 55 (1992) 1-60.
50. I. Levi, Iteration of conditionals and the Ramsey test, Synthese 76 (1988) 49-81.
51. D. Lewis, Probabilities of conditionals and conditional probabilities, Philos. Rev. 85 (1976) 297-315.
52. J. McCarthy, Applications of circumscription to formalizing commonsense knowledge, Artif. Intell. 28 (1986) 89-116.
53. B. Nebel, Belief revision and default reasoning: syntax-based approaches, in: Proceedings Second International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA (1991) 417-428.
54. D. Nute, Conditional logic, in: S. Shapiro, ed., Encyclopedia of Artificial Intelligence (Wiley, New York, 2nd ed., 1992) 854-860.
55. J. Pearl, Embracing causality in formal reasoning, Artif. Intell 35 (1988) 259-271.
56. J. Pearl, Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference (Morgan Kaufmann, San Mateo, CA, 1988).
57. J. Pearl, Probabilistic semantics for nonmonotonic reasoning: a survey, in: Proceedings First International Conference on Principles of Knowledge Representation and Reasoning, Toronto, Ont. (1989) 505-516.
58. J. Pearl, Jeffrey's rule, passage of experience and neo-Bayesianism, in: H. Kyburg, R. Loui and G. Carlson, eds., Defeasible Reasoning and Knowledge Representation (Kluwer Academic Publishers, Boston, MA, 1990) 121-135.
59. J. Pearl, System Z: a natural ordering of defaults with tractable applications to default reasoning, in: Proceedings Third Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA (1990) 121-135.
60. J. Pearl, From conditional oughts to qualitative decision theory, in: Proceedings Ninth Annual Conference on Uncertainty in Artificial Intelligence, Washington, DC (1993) 12-20.
61. J. Pearl, A probabilistic calculus of action, in: Proceedings Tenth Annual Conference on Uncertainty in Artificial Intelligence (1994) 454-462.
62. J. Pearl, Causal diagrams for experimental research, Biometrika 28 (4) (1995) 669-710.
63. J. Pearl, Causation, action and counterfactuals, in: A. Gammerman, ed., Computational Learning and Probabilistic Reasoning (Wiley, New York, 1995); also in: Proceedings Sixth Conference on Theoretical Aspects of Rationality and Knowledge, Netherlands (1996) 51-73.
64. J. Pearl, Causation, action and counterfactuals, in: A. Gammerman, ed., Computational Learning and Probabilistic Reasoning (Wiley, New York, 1995); also in: Proceedings Sixth Conference on Theoretical Aspects of Rationality and Knowledge, Netherlands (1996) 51-73.
65. J. Pearl and T. Verma, A theory of inferred causation, in: Proceedings Second International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA (1991) 441-452.
66. D. Poole, On the comparison of theories: preferring the most specific explanation, in: Proceedings IJCAI-85, Los Angeles, CA (1985) 144-147.
67. D. Poole, A logical framework for default reasoning, Artif. Intell. 36 (1988) 27-47.
68. R. Reiter, A logic for default reasoning, Artif. Intell. 13 (1980) 81-132.
69. H. Rott, A non-monotonic conditional logic for belief revision i, in: A. Fuhrmann and M. Morreau, eds., The Logic of Theory Change, Lecture Notes in Computer Science 465 (Springer, Berlin, 1991) 135-181.
70. P. Shenoy, On Spohn's rule for revision of beliefs, Int. J. Approx. Reasoning 5 (1991) 149-181.
71. Y. Shoham, Nonmonotonic logics: meaning and utility, in: Proceedings IJCAI-87, Milan (1987) 388-393.
72. Y. Shoham, Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence (MIT Press, Cambridge, MA, 1988).
73. W. Spohn, Stochastic independence, causal independence, and shieldability, J. Philos. Logic 9 (1980) 73-99.
74. W. Spohn, Ordinal conditional functions: a dynamic theory of epistemic states, in: W.L. Harper and B. Skyrms, eds., Causation in Decision, Belief Change, and Statistics (Reidel, Dordrecht, Netherlands, 1988) 105-134.
75. P. Suppes, A Probabilistic Theory of Causation (North-Holland, Amsterdam, 1970).
76. M. Winslett, Reasoning about action using a possible worlds approach, in: Proceedings AAAI-88, St. Paul, MN (1988) 89-93.