A First-order conditional logic with qualitative statistical semantics

Journal of Logic and Computation

Volumn 7, Issue 6, 1997, Pages 777-803

  Brafman, Ronen I ^a  

^a UNIVERSITY OF BRITISH COLUMBIA   (Canada)

Author keywords

Conditional logic; First order logic; Nonmonotonic logic; Qualitative statistical reasoning

Indexed keywords

EID: 8744298313     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/7.6.777     Document Type: Article

References (22)

1. E. Adams. The Logic of Conditionals. D. Reidel, Dordrecht, 1975.
2. J. E. J. Altham. The Logic of Plurality. Methuen, London, 1971.
3. F. Bacchus, A. J. Grove, J. Y. Halpern and D. Koller. Statistical foundations for default reasoning. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, pp. 563-569. Morgan Kaufmann, San Mateo, 1995.
4. F. Bacchus. Representing and Reasoning With Probabilistic Knowledge. The MIT Press, Cambridge, MA, 1990.
5. J. Barwise and R. Cooper. Generalized quantifiers and natural language. Linguistics and Philosophy, 4, 159-219, 1981.
6. C. Boutilier. Conditional logics of normality: a modal approach. Artificial Intelligence, 68, 87-154, 1994.
7. R. I. Brafman. A Logic of Normality: Predicate Calculus Incorporating Assertions. Master's thesis, Hebrew University of Jerusalem, 1991.
8. C. C. Chang and H. J. Keisler. Model Theory. North Holland, Amsterdam, 1990.
9. J. P. Delgrande. A first-order logic for prototypical properties. Artificial Intelligence, 33, 105-130, 1987.
10. H. B. Enderton. A Mathematical Introduction to Logic. Academic Press, New York, 1972.
11. N. Friedman, J. Y. Halpern and D. Koller. Conditional first-order logic revisited. In Proceedings of the Fourteenth National Conference on Artificial Intelligence. AAAI Press, Menlo Park, 1996.
12. M. Goldszmidt, P. Morris and J. Pearl. A maximum entropy approach to nonmonotonic reasoning. IEEE Transactions of Pattern Analysis and Machine Intelligence, 15, 220-232, 1993.
13. M. Goldszmidt and J. Pearl. Rank-based systems: A simple approach to belief revision, belief update and reasoning about evidence and actions. In Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Confernece (KR'92), pp. 661-672. Morgan Kaufmann, San Mateo, 1992.
14. J. Halpern. An analysis of first-order logics of probability. Artificial Intelligence, 46, 311-350, 1990.
15. S. Kraus, D. Lehmann and M. Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44, 167-207, 1990.
16. D. Lehmann and M. Magidor. What does a conditional knowledge base entail? Artificial Intelligence, 55, 1-60, 1992.
17. D. Lehmann and M. Magidor. Preferential logics: the predicate calculus case. In Proceedings of the Third Conference on Theoretical Aspects of Reasoning About Knowledge, San Francisco, CA, March 1990. pp. 57-72. Morgan Kaufmann, Los Altos, CA, 1990.
18. D. K. Lewis. Counterfactuals. Harvard University Press, Cambridge, MA, 1973.
19. J. McCarthy. Circumscription, a form of non monotonic reasoning. Artificial Intelligence, 13, 27-39, 1980.
20. K. Schlechta. Defaults as generalized quantifiers. Journal of Logic and Computation, 5, 473-494, 1995.
21. E. E. Smith. Concepts and induction. In Foundations of Cognitive Science, M. I. Posner, ed. pp. 501-526. The MIT Press, Cambridge, MA, 1989.
22. A. Tversky. Features of similarity. Psychological Review, 84, 327-352, 1977.