First-Order Conditional Logic for Default Reasoning Revisited

ACM Transactions on Computational Logic

Volumn 1, Issue 2, 2000, Pages 175-207

  Friedman, Nir ^a   Halpern, Joseph Y ^b   Koller, Daphne ^c  

^a HEBREW UNIVERSITY OF JERUSALEM   (Israel)

^b Department of Computer Science and School of Operations Research and Information Engineering   (United States)

^c Stanford University   (United States)

Author keywords

Completeness; Conditional logic; Default reasoning; First order logic; KLM properties; Plausibility measures; Theory

Indexed keywords

EID: 4243083696     PISSN: 15293785     EISSN: 1557945X     Source Type: Journal    
DOI: 10.1145/359496.359500     Document Type: Article

References (34)

1. Abadi, M. and Halpern, J. 1994. Decidability and expressiveness for first-order logics of probability. Information and Computation 112, 1, 1-36.
2. Adams, E. 1975. The Logic of Conditionals. D. Reidel, Dordrecht, Netherlands.
3. Bacchus, F. 1990. Representing and Reasoning with Probabilistic Knowledge. MIT Press, Cambridge, Mass.
4. Bacchus, F., Grove, A. J., Halpern, J. Y., and Koller, D. 1996. From statistical knowledge bases to degrees of belief. Artificial Intelligence 87, 1-2, 75-143.
5. Boutilier, C. 1994. Conditional logics of normality: a modal approach. Artificial Intelligence 68, 87-154.
6. Brafman, R. I. 1997. A first-order conditional logic with qualitative statistical semantics. Journal of Logic and Computation 7, 6, 777-803.
7. Burgess, J. 1981. Quick completeness proofs for some logics of conditionals. Notre Dame Journal of Formal Logic 22, 76-84.
8. Delgrande, J. P. 1987. A first-order conditional logic for prototypical properties. Artificial Intelligence 33, 105-130.
9. Delgrande, J. P. 1988. An approach to default reasoning based on a first-order conditional logic: revised report. Artificial Intelligence 36, 63-90.
10. Dubois, D. and Prade, H. 1990. An introduction to possibilistic and fuzzy logics. In Readings in Uncertain Reasoning, G. Shafer and J. Pearl, Eds. Morgan Kaufmann, San Francisco, Calif., 742-761.
11. Dubois, D. and Prade, H. 1991. Possibilistic logic, preferential models, non-monotonicity and related issues. In Proc. Twelfth International Joint Conference on Artificial Intelligence (IJCAI '91). 419-424.
12. Enderton, H. B. 1972. A Mathematical Introduction to Logic. Academic Press, New York.
13. Friedman, N. and Halpern, J. Y. 1995. Plausibility measures: a user's guide. In Proc. Eleventh Conference on Uncertainty in Artificial Intelligence (UAI'95). 175-184.
14. Friedman, N. and Halpern, J. Y. 1997. Modeling belief in dynamic systems. part I: foundations. Artificial Intelligence 95, 2, 257-316.
15. Friedman, N. and Halpern, J. Y. 1998. Plausibility measures and default reasoning. Journal of the ACM. Accepted for publication. Also available at http://www.huji.ac.il/~nir. A preliminary version appeared in Proc., 13'th National Conference on Artificial Intelligence, pp. 1297-1304, 1996.
16. Garson, J. W. 1984. Quantification in modal logic. In Handbook of Philosophical Logic, Vol. II, D. Gabbay and F. Guenthner, Eds. Reidel, Dordrecht, Netherlands, 249-307.
17. Geffner, H. 1992. Default reasoning: causal and conditional theories. MIT Press.
18. Goldszmidt, M., Morris, P., and Pearl, J. 1993. A maximum entropy approach to nonmonotonic reasoning. IEEE Transactions of Pattern Analysis and Machine Intelligence 15, 3, 220-232.
19. Goldszmidt, M. and Pearl, J. 1992. Rank-based systems: A simple approach to belief revision, belief update and reasoning about evidence and actions. In Principles of Knowledge Representation and Reasoning: Proc. Third International Conference (KR '92). Morgan Kaufmann, San Francisco, Calif., 661-672.
20. Halpern, J. Y. 1990. An analysis of first-order logics of probability. Artificial Intelligence 46, 311-350.
21. Koller, D. and Halpern, J. 1996. Irrelevance and conditioning in first-order probabilistic logic. In Proceedings, Thirteenth National Conference on Artificial Intelligence (AAAI '96). 569-576.
22. Kraus, S., Lehmann, D., and Magidor, M. 1990. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 44, 167-207.
23. Kyburg, Jr., H. E. 1961. Probability and the Logic of Rational Belief. Wesleyan University Press, Middletown, Connecticut.
24. Lehmann, D. and Magidor, M. 1990. Preferential logics: the predicate calculus case. In Theoretical Aspects of Reasoning about Knowledge: Proc. Third Conference. Morgan Kaufmann, San Francisco, Calif., 57-72.
25. Lester, H. 1988. Tacky the Penguin. Houghton-Mifflin.
26. Lewis, D. K. 1973. Counterfactuals. Harvard University Press, Cambridge, Mass.
27. Pearl, J. 1989. Probabilistic semantics for nonmonotonic reasoning: a survey. In Proc. First International Conference on Principles of Knowledge Representation and Reasoning (KR '89), R. J. Brachman, H. J. Levesque, and R. Reiter, Eds. 505-516. Reprinted in Readings in Uncertain Reasoning, G. Shafer and J. Pearl (Eds.), Morgan Kaufmann, San Francisco, Calif., 1990, pp. 699-710.
28. Poole, D. 1991. The effect of knowledge on belief: conditioning, specificity and the lottery paradox in default reasoning. Artificial Intelligence 49, 1-3, 282-307.
29. Schlechta, K. 1995. Defaults as generalized quantifiers. Journal of Logic and Computation 5, 4, 473-494.
30. Schlechta, K. 1996. A two-stage approach to first order default reasoning. Fundamenta Informaticae 28, 3-4, 377-402.
31. Shafer, G. 1976. A Mathematical Theory of Evidence. Princeton University Press, Princeton, N.J.
32. Shoham, Y. 1987. A semantical approach to nonmonotonic logics. In Proc. 2nd IEEE Symp. on Logic in Computer Science. 275-279. Reprinted in M. L. Ginsberg (Ed.), Readings in Nonmonotonic Reasoning, Morgan Kaufman, San Francisco, Calif., 1987, pp. 227-250.
33. Spohn, W. 1988. Ordinal conditional functions: a dynamic theory of epistemic states. In Causation in Decision, Belief Change, and Statistics, W. Harper and B. Skyrms, Eds. Vol. 2. Reidel, Dordrecht, Netherlands, 105-134.
34. Thomason, R. H. 1970. Some completeness results for modal predicate calculi. In Philosophical Problems in Logic, K. Lambert, Ed. Reidel, Dordrecht, Netherlands, 56-76.