From statistical knowledge bases to degrees of belief

Artificial Intelligence

Volumn 87, Issue 1-2, 1996, Pages 75-143

  Bacchus, Fahiem ^a   Grove, Adam J ^b   Halpern, Joseph Y ^c   Koller, Daphne ^d  

^a UNIVERSITY OF WATERLOO   (Canada)

^b NEC LABORATORIES AMERICA   (United States)

^c IBM ALMADEN RESEARCH CENTER   (United States)

^d Stanford University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; KNOWLEDGE BASED SYSTEMS; PHYSICS; STATISTICAL METHODS;

DEFAULT RULES; REASONING; RELIEF DEGREES;

ARTIFICIAL INTELLIGENCE;

EID: 0030283418     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(96)00003-3     Document Type: Article

References (76)

1. E. Adams, The Logic of Conditionals (Reidel, Dordrecht, 1975).
2. N. Asher, Extensions for common sense entailment, in: Proceedings IJCAI Workshop on Conditionals in Knowledge Representation (1993) 26-41.
3. F. Bacchus, Representing and Reasoning with Probabilistic Knowledge (MIT Press, Cambridge, MA, 1990).
4. F. Bacchus, A.J. Grove, J.Y. Halpern and D. Koller, From statistics to belief, in: Proceedings AAAI-92, San Jose, CA (1992) 602-608.
5. F. Bacchus, A.J. Grove, J.Y. Halpern and D. Koller, Statistical foundations for default reasoning, in: Proceedings IJCAI-93, Washington, DC (1993) 563-569; available by anonymous ftp from logos.uwaterloo.ca/pub/bacchus or via WWW at http://logos.uwaterloo.ca.
6. F. Bacchus, A.J. Grove, J.Y. Halpern and D. Koller, Forming beliefs about a changing world, in: Proceedings AAAI-94, Seattle, WA (1994) 222-229; available by anonymous ftp from logos.uwaterloo.ca/pub/bacchus or via WWW at http://logos.uwaterloo.ca.
7. F. Bacchus, A.J. Grove, J.Y. Halpern and D. Koller, Generating new beliefs from old, in: Proceedings Tenth Annual Conference on Uncertainty in Artificial Intelligence (1994) 37-45; available by anonymous ftp from logos.uwaterloo.ca/pub/bacchus or via WWW at http://logos.uwaterloo.ca.
8. F. Bacchus, A.J. Grove, J.Y. Halpern and D. Koller, A response to: Believing on the basis of evidence, Comput. Intell. 10 (1994) 21-25.
9. S. Benferhat, C. Cayrol, D. Dubois, J. Lang and H. Prade, Inconsistency management and prioritized syntax-based entailment, in: Proceedings IJCAI-93, Chambery (1993) 640-645.
10. C. Boutilier, Conditional logics for default reasoning and belief revision, PhD thesis, Department of Computer Science, University of Toronto, Toronto, Ont. (1991).
11. R. Carnap, Logical Foundations of Probability (University of Chicago Press, Chicago, IL, 1950).
12. R. Carnap, The Continuum of Inductive Methods (University of Chicago Press, Chicago, IL, 1952).
13. P.C. Cheeseman, A method of computing generalized Bayesian probability values for expert systems, in: Proceedings IJCAI-83, Karlsruhe (1983) 198-202.
14. R. Chuaqui, Truth, Possibility, and Probability: New Logical Foundations of Probability and Statistical Inference (North-Holland, Amsterdam, 1991).
15. J.P. Delgrande, An approach to default reasoning based on a first-order conditional logic: revised report, Artif. Intell. 36 (1988) 63-90.
16. K.G. Denbigh and J.S. Denbigh, Entropy in Relation to Incomplete Knowledge (Cambridge University Press, Cambridge, 1985).
17. D.W. Etherington, S. Kraus and D. Perlis, Nonmonotonicity and the scope of reasoning, Artif. Intell. 2 (1991) 221-261.
18. D, Gabbay, Theoretical foundations for nonmonotonic reasoning in expert systems, in: K.R. Apt, ed., Proceedings of the NATO Advanced Study Institute on Logics and Models of Concurrent Systems (Springer, Berlin, 1984).
19. H. Geffner, Default Reasoning: Causal and Conditional Theories (MIT Press, Cambridge, MA, 1992).
20. H. Geffner and J. Pearl, A framework for reasoning with defaults, in: H.E. Kyburg Jr, R. Loui and G. Carlson, eds., Knowledge Representation and Defeasible Reasoning (Kluwer Academic Publishers, Dordrecht, 1990) 245-265.
21. H. Geffner and J. Pearl, Conditional entailment: bridging two approaches to default reasoning, Artif. Intell. 53 (1992) 209-244.
22. S.A. Goldman, Efficient methods for calculating maximum entropy distributions, Master's Thesis, MIT EECS Department, Cambridge, MA (1987).
23. M. Goldszmidt, P. Morris and J. Pearl, A maximum entropy approach to nonmonotonic reasoning, in: Proceedings AAAI-90, Boston, MA (1990) 646-652.
24. M. Goldszmidt, P. Morris and J. Pearl, A maximum entropy approach to nonmonotonic reasoning, IEEE Trans. Pattern Anal. Mach. Intell. 15 (1993) 220-232.
25. S.D. Goodwin, Second order direct inference: a reference class selection policy, Int. J. Expert Syst. Res. Appl. 5 (1992) 185-210.
26. A.J. Grove, J.Y. Halpern and D. Koller, Asymptotic conditional probabilities: the unary case, Research Rept. RJ 9563, IBM (1993); also: SIAM J. Comput. (to appear).
27. A.J. Grove, J.Y. Halpern and D. Koller, Asymptotic conditional probabilities: the unary case, Research Rept. RJ 9563, IBM (1993); also: SIAM J. Comput. (to appear).
28. A.J. Grove, J.Y. Halpern and D. Koller, Asymptotic conditional probabilities: the non-unary case, Research Rept. RJ 9564, IBM (1993); also: J. Symbolic Logic (to appear).
29. A.J. Grove, J.Y. Halpern and D. Koller, Asymptotic conditional probabilities: the non-unary case, Research Rept. RJ 9564, IBM (1993); also: J. Symbolic Logic (to appear).
30. A.J. Grove, J.Y. Halpern and D. Koller, Random worlds and maximum entropy, J. Artif. Intell. Res. 2 (1994) 33-88.
31. I. Hacking, The Emergence of Probability (Cambridge University Press, Cambridge, 1975).
32. J.Y. Halpern, An analysis of first-order logics of probability, Artif. Intell. 46 (1990) 311-350.
33. J.Y. Halpern and D. Koller, Representation dependence in probabilistic inference, in: Proceedings IJCAI-95, Montreal, Que. (1995) 1853-1860.
34. S. Hanks and S. McDermott, Nonmonotonic logic and temporal projection, Artif. Intell. 33 (1987) 379-412.
35. D. Hunter, Causality and maximum entropy updating, Int. J. Approx. Reasoning 3 (1989) 379-406.
36. E.T. Jaynes, Where do we stand on maximum entropy?, in: R.D. Levine and M. Tribus, eds., The Maximum Entropy Formalism (MIT Press, Cambridge, MA, 1978) 15-118.
37. R.C. Jeffrey, Probable knowledge, in: I. Lakatos, ed., International Colloquium in the Philosophy of Science: The Problem of Inductive Logic (North-Holland, Amsterdam, 1968) 157-185.
38. W.E. Johnson, Probability: the deductive and inductive problems, Mind 41 (164) (1932) 409-423.
39. D. Koller and J.Y. Halpern, Irrelevance and conditioning in first-order probabilistic logic; available via WWW from http://robotics.stanford.edu/daphne.
40. D. Koller and J.Y. Halpern, Irrelevance and conditioning in first-order probabilistic logic; available via WWW from http://robotics.stanford.edu/daphne.
41. D. Koller and J.Y. Halpern, A logic for approximate reasoning, in: B. Nebel, C. Rich and W. Swartout, eds., Proceedings Third International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA (1992) 153-164.
42. S. Kraus, D. Lehmann and M. Magidor, Nonmonotonic reasoning, preferential models and cumulative logics, Artif. Intell. 44 (1990) 167-207.
43. H.E Kyburg Jr, Probability and the Logic of Rational Belief (Wesleyan University Press, Middletown, CT, 1961).
44. H.E. Kyburg Jr, The Logical Foundations of Statistical Inference (Reidel, Dordrecht, 1974).
45. H.E. Kyburg Jr, The reference class, Philos. Sci. 50 (1983) 374-397.
46. H.E. Kyburg Jr, Full beliefs, Theory Decision 25 (1988) 137-162.
47. L.D. Landau, Statistical Physics I (Pergamon, Oxford, 1980).
48. R.J. Larsen and M.L. Mark, An Introduction to Mathematical Statistics and its Applications (Prentice-Hall, Englewood Cliffs, NJ, 1981).
49. D. Lehmann and M. Magidor, Preferential logics: the predicate calculus case, in: R. Parikh, ed., Proceedings Third Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA (1990) 57-72.
50. D. Lehmann and M. Magidor, What does a conditional knowledge base entail?, Artif. Intell. 55 (1992) 1-60.
51. V. Lifschitz, Benchmark problems for formal non-monotonic reasoning, version 2.00, in: M. Reinfrank, J. de Kleer, M.L. Ginsberg and E. Sandewall, eds., Non-Monotonic Reasoning: 2nd International Workshop, Lecture Notes in Artifificial Intellelligence 346 (Springer, Berlin, 1989) 202-219.
52. R.D. Luce and H. Raiffa, Games and Decisions (Wiley, New York, 1957).
53. D. Makinson, General theory of cumulative inference, in: M. Reinfrank, J. de Kleer, M.L. Ginsberg and E. Sandewall, eds., Non-Monotonic Reasoning: 2nd International Workshop, Lecture Notes in Artificial Intellelligence 346 (Springer, Berlin, 1989) 1-18.
54. D. Makinson, General patterns in nonmonotonic reasoning, in: D. Gabbay, C. Hogger and J. Robinson, eds., Handbook of Logic in Artificial Intelligence and Logic Programming 3 (Oxford University Press, Oxford, 1994) 35-110.
55. J. McCarthy, Circumscription - a form of non-monotonic reasoning, Artif. Intell. 13 (1980) 27-39.
56. J. McCarthy, Applications of circumscription to formalizing common-sense knowledge, Artif. Intell. 28 (1986) 86-116.
57. J. McCarthy and P.J. Hayes, Some philosophical problems from the standpoint of artificial intelligence, in: B. Meltzer and D. Michie, eds., Machine Intelligence 4 (Edinburgh University Press, Edinburgh, 1969) 463-502.
58. R.C. Moore, Semantical considerations on nonmonotonic logic, Artif. Intell. 25 (1985) 75-94.
59. M. Morreau, The conditional logic of generalizations, in: Proceedings of the IJCAI Workshop on Conditionals in Knowledge Representation (1993) 108-118.
60. J.B. Paris and A. Vencovska, On the applicability of maximum entropy to inexact reasoning, Int. J. Approx. Reasoning 3 (1989) 1-34.
61. J. Pearl, Probabilistic Reasoning in Intelligent Systems (Morgan Kaufmann, San Francisco, CA, 1988).
62. J. Pearl, Probabilistic semantics for nonmonotonic reasoning: a survey, in: R.J. Brachman, H.J. Levesque and R. Reiter, eds., Proceedings First International Conference on Principles of Knowledge Representation and Reasoning, Toronto, Ont. (1989) 505-516; Reprinted in: G. Shafer and J. Pearl, eds., Readings in Uncertain Reasoning (Morgan Kaufmann, San Francisco, CA, 1990) 699-710.
63. J. Pearl, Probabilistic semantics for nonmonotonic reasoning: a survey, in: R.J. Brachman, H.J. Levesque and R. Reiter, eds., Proceedings First International Conference on Principles of Knowledge Representation and Reasoning, Toronto, Ont. (1989) 505-516; Reprinted in: G. Shafer and J. Pearl, eds., Readings in Uncertain Reasoning (Morgan Kaufmann, San Francisco, CA, 1990) 699-710.
64. J. Pearl, System Z: a natural ordering of defaults with tractable applications to nonmonotonic reasoning, in: M. Vardi, ed., Proceedings Third Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA (1990) 121-135.
65. J.L. Pollock, Nomic Probabilities and the Foundations of Induction (Oxford University Press, Oxford, 1990).
66. D. Poole, What the lottery paradox tells us about default reasoning, in: R.J. Brachman, H.J. Levesque and R. Reiter, eds., Proceedings First International Conference on Principles of Knowledge Representation and Reasoning, Toronto, Ont. (1989) 333-340.
67. D. Poole, The effect of knowledge on belief: conditioning, specificity and the lottery paradox in default reasoning, Artif. Intell. 49 (1991) 282-307.
68. H. Reichenbach, Theory of Probability (University of California Press, Berkeley, CA, 1949).
69. R. Reiter, A logic for default reasoning, Artif. Intell. 13 (1980) 81-132.
70. R. Reiter and G. Criscuolo, On interacting defaults, in: Proceedings IJCAI-81, Vancouver, BC (1981) 270-276.
71. L.J. Savage, Foundations of Statistics (Wiley, New York, 1954).
72. G. Shafer, A Mathematical Theory of Evidence (Princeton University Press, Princeton, NJ, 1976).
73. G. Shafer, Personal communication, 1993.
74. C. Shannon and W. Weaver, The Mathematical Theory of Communication (University of Illinois Press, Champaign, IL, 1949).
75. L. Shastri, Default reasoning in semantic networks: a formalization of recognition and inheritance, Artif. Intell. 39 (1989) 285-355.
76. D.S. Touretzky, J.F. Horty and R.H. Thomason, A clash of intuitions: the current state of nonmonotonic multiple inheritance systems, in: Proceedings IJCAI-87. Milan (1987) 476-482.