On first-order conditional logics

Artificial Intelligence

Volumn 105, Issue 1-2, 1998, Pages 105-

  Delgrande, James P ^a  

^a SIMON FRASER UNIVERSITY   (Canada)

Author keywords

Conditional logic; First order logic; Knowledge representation; Nonmonotonic reasoning

Indexed keywords

FORMAL LOGIC; THEOREM PROVING;

FIRST-ORDER CONDITIONAL LOGICS;

KNOWLEDGE REPRESENTATION;

EID: 0032182221     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0004-3702(98)00088-5     Document Type: Article

References (49)

1. E. Adams, The Logic of Conditionals, D. Reidel, Dordrecht, Netherlands, 1975.
2. N. Asher, M. Morreau, Commonsense entailment: a model theory of nonmonotonic reasoning, in: Proceedings International Joint Conference on Artificial Intelligence (IJCAI-91), Sydney, Australia, August 1991, pp. 387-392.
3. F. Bacchus, Representing and Reasoning with Probabilistic Knowledge, MIT Press, Cambridge, MA, 1990.
4. S. Benferhat, C. Cayrol, D. Dubois, J. Lang, H. Prade, Inconsistency management and prioritized syntax-based entailment, in: Proceedings International Joint Conference on Artificial Intelligence (IJCAI-93), Chambéry, France, 1993, pp. 640-645.
5. S. Benferhat, D. Dubois, H. Prade, Representing default rules in possibilistic logic, in: Proceedings 3rd International Conference on the Principles of Knowledge Representation and Reasoning, Cambridge, MA, October 1992, pp. 673-684.
6. F. Bacchus, A. Grove, J. Halpern, D. Koller, Statistical foundations for default reasoning, in: Proceedings International Joint Conference on Artificial Intelligence (IJCAI-93), Chambéry, France, 1993, pp. 563-569.
7. C. Boutilier, Conditional logics for default reasoning and belief revision, Ph.D. Thesis, Department of Computer Science, University of Toronto, Toronto, Ontario, 1992.
8. C. Boutilier, Conditional logics of normality: a modal approach, Artificial Intelligence 68 (1) (1994) 87-154.
9. J.P. Burgess, Quick completeness proofs for some logics of conditionals, Notre Dame Journal of Formal Logic 22 (1) (1981) 76-84.
10. B.F. Chellas, Modal Logic, Cambridge University Press, Cambridge, 1980.
11. J.P. Delgrande, A first-order conditional logic for prototypical properties, Artificial Intelligence 33 (1) (1987) 105-130.
12. D. Dubois, H. Prade, Possibilistic logic, in: D.M. Gabbay, C.J. Hogger, J.A. Robinson (Eds.), Nonmonotonic Reasoning and Uncertain Reasoning, Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3, Clarendon Press, Oxford, 1994, pp. 439-513.
13. N. Friedman, J. Halpern, D. Koller, First-order conditional logic revisited, in: Proceedings AAAI National Conference on Artificial Intelligence (AAAI-96), Portland, OR, August 1996, pp. 1305-1323.
14. M. Fitting, Basic modal logic, in: D.M. Gabbay, C.J. Hogger, J.A. Robinson (Eds.), Logical Foundations, Handbook of Logic in Artificial Intelligence and Logic Programming, Clarendon Press, Oxford, 1993, pp. 365-448.
15. J.W. Garson, Quantification in modal logic, in: D. Gabbay, F. Guenthner (Eds.), Handbook of Philosophical Logic, Vol. 2, D. Reidel, Dordrecht, Netherlands, 1984, pp. 249-307.
16. M. Goldszmidt, P. Morris, J. Pearl, A maximum entropy approach to nonmonotonic reasoning, in: Proceedings AAAI National Conference on Artificial Intelligence (AAAI-90), Boston, MA, 1990.
17. M. Goldszmidt, J. Pearl, System-Z+: a formalism for reasoning with variable-strength defaults, in: Proceedings AAAI National Conference on Artificial Intelligence (AAAI-91), Anaheim, CA, 1991, pp. 399-404.
18. H. Geffner, J. Pearl, Conditional entailment: bridging two approaches to default reasoning, Artificial Intelligence 53 (2-3) (1992) 209-244.
19. G.E. Hughes, M.J. Cresswell, An Introduction to Modal Logic, Methuen and Co., London, 1968.
20. G.E. Hughes, M.J. Cresswell, A Companion to Modal Logic, Methuen and Co., London, 1984.
21. G. Hirst, Existence assumptions in knowledge representation, Artificial Intelligence 49 (1-3) (1991) 199-242.
22. S. Kraus, D. Lehmann, M. Magidor, Nonmonotonic reasoning, preferential models and cumulative logics, Artificial Intelligence 44 (1-2) (1990) 167-207.
23. H.E. Kyburg, Probability and the Logic of Rational Belief, Wesleyan University Press, Middletown, CT, 1961.
24. P. Lamarre, S4 as the conditional logic of nonmonotonicity, in: Proceedings 2nd International Conference on the Principles of Knowledge Representation and Reasoning, Cambridge, MA, April 1991, pp. 357-367.
25. D. Lehmann, What does a conditional knowledge base entail?, in: R. Brachman, H. Levesque, R. Reiter (Eds.), Proceedings 1st International Conference on the Principles of Knowledge Representation and Reasoning, Toronto, Ontario, May 1989, pp. 212-222.
26. H.J. Levesque, Foundations of a functional approach to knowledge representation, Artificial Intelligence 23 (1984) 155-212.
27. D. Lewis, Counterfactuals, Harvard University Press, Cambridge, MA, 1973.
28. D. Lehmann, M. Magidor, Preferential logics: the predicate calculus case (extended abstract), in: Proceedings 3rd Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, 1990, pp. 57-72.
29. D. Lehmann, M. Magidor, What does a conditional knowledge base entail?, Artificial Intelligence 55 (I) (1992) 1-60.
30. J. McCarthy, First-order theories of individual concepts and propositions, in: D. Michie (Ed.), Machine Intelligence 9, Edinburgh University Press, Edinburgh, UK, 1979, pp. 129-147.
31. J. McCarthy, Circumscription - a form of nonmonotonic reasoning, Artificial Intelligence 13 (1980) 27-39.
32. J. McCarthy, Applications of circumscription to formalizing common-sense knowledge, Artificial Intelligence 28 (1986) 89-116.
33. R.C. Moore, Semantical considerations on nonmonotonic logic, Artificial Intelligence 25 (1985) 75-94.
34. W. Nejdl, The P-systems: a systematic classification of logics of nonmonotonicity, in: Proceedings AAAI National Conference on Artificial Intelligence (AAAI-91), Anaheim, CA, 1991, pp. 366-372.
35. D. Nute, Topics in Conditional Logic, Philosophical Studies Series in Philosophy, Vol. 20, D. Reidel, Dordrecht, Netherlands, 1980.
36. J. Pearl, Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, Morgan Kaufmann, San Mateo, CA, 1988.
37. J. Pearl, Probabilistic semantics for nonmonotonic reasoning: a survey, in: Proceedings 1st International Conference on the Principles of Knowledge Representation and Reasoning, Toronto, Ontario, May 1989, pp. 505-516.
38. J. Pearl, System Z: a natural ordering of defaults with tractable applications to nonmonotonic reasoning, in: Proceedings 3rd Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, 1990, pp. 121-135.
39. D.L. Poole, A logical framework for default reasoning, Artificial Intelligence 36 (1) (1988) 27-48.
40. D.L. Poole, The effect of knowledge on belief: conditioning, specificity, and the lottery paradox in default reasoning, Artificial Intelligence 49 (1-3) (1991) 281-307.
41. H. Putnam, Is semantics possible?, in: Mind, Language and Reality: Philosophical Papers, Vol. II, Cambridge University Press, 1975, pp. 139-152.
42. H. Putnam, The 'corroboration' of theories, in: Mind, Language and Reality: Philosophical Papers, Vol. I, 2nd ed., Cambridge University Press, 1979, pp. 250-270.
43. R. Reiter, A logic for default reasoning, Artificial Intelligence 13 (1980) 81-132.
44. K. Schlechta, Defaults as generalized quantifiers, J. Logic Comput. 5 (4) (1995) 473-494.
45. K. Schlechta, A two-stage approach to first-order default reasoning, Fundamenta Informaticae 28 (3-4) (1996) 377-402.
46. D. Scott, Advice on modal logic, in: K. Lambert (Ed.), Philosophical Problems in Logic: Some Recent Developments, D. Reidel, Dordrecht, Netherlands, 1970, pp. 143-173.
47. R.C. Stalnaker, R.H. Thomason, A semantic analysis of conditional logic, Theoria 36 (1970) 23-42.
48. R.C. Stalnaker, A theory of conditionals, in: N. Rescher (Ed.), Studies in Logical Theory, Basil Blackwell, Oxford, 1968, pp. 98-112.
49. B.C. van Fraassen, The completeness of free logic, Z. Math. Logik Grundlagen Math. 12 (1966) 219-234.