Nonmonotonic logics and semantics

Journal of Logic and Computation

Volumn 11, Issue 2, 2001, Pages 229-256

  Lehmann, Daniel ^a  

^a HEBREW UNIVERSITY OF JERUSALEM   (Israel)

Author keywords

Choice functions; Nonmonotonic logics; Nonmonotonic reasoning; Qualitative probability measures

Indexed keywords

ARTIFICIAL INTELLIGENCE; FORMAL LANGUAGES; FUNCTIONS; MATHEMATICAL MODELS; PROBABILITY; SEMANTICS; THEOREM PROVING;

CHOICE FUNCTIONS; NONMONOTONIC LOGICS; NONMONOTONIC REASONING; QUALITATIVE PROBABILITY MEASURES;

FORMAL LOGIC;

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

References (42)

1. M. A. Aizerman. New problems in the general choice theory: Review of a research trend. Social Choice and Welfare, 2, 235-282, 1985.
2. M. A. Aizerman and A. V. Malishevski. General theory of best variants choice: Some aspects. IEEE Transactions on Automatic Control, AC-26, 1030-1040, 1981.
3. K. J. Arrow. Rational choice functions and orderings. Economica, 26, 121-127, 1959.
4. S. Ben-David and R. Ben-Eliyahu. A modal logic for subjective default reasoning. Artificial Intelligence, 116, 217-236, 2000.
5. H. Chernoff. Rational selection of decision functions. Econometrica, 26, 121-127, 1954.
6. J. Dietrich. Deductive bases of nonmonotonic inference operations. Technical Report 7, Universität Leipzig, Fakultät für Mathematik und Informatik, Institut für Informatik, Augustusplatz 10, 04109 Leipzig, Germany, 1994.
7. J. Doyle and M. P. Wellman. Impediments to universal preference-based default theories. Artificial Intelligence, 49, 97-128, 1991.
8. D. Dubois and H. Prade. Possibilistic logic, preferential models, non-monotonicity and related issues. In Proceedings of the 12th IJCAI, Sydney, Australia, J. Mylopoulos and R. Reiter, eds., pp. 419-424, Morgan Kaufmann, 1991.
9. M. Freund. Supracompact inference operations. Studia Logica, 52, 457-481, 1993.
10. M. Freund. Preferential orders and plausibility measures. Journal of Logic and Computation, 8, 147-158, 1998.
11. M. Freund and D. Lehmann. Deductive inference operations. In Proceedings of JELIA 1990 European Workshop on Logical Methods in Artificial Intelligence, J. van Eijck, ed., pp. 227-233, Lecture Notes in AI Vol. 478, Springer Verlag, 1990.
12. M. Freund and D. Lehmann. Nonmonotonic inference operations. Bulletin of the IGPL, 1, 23-68, 1993. Produced by the Max-Planck-Institut für Informatik, Im Stadtwald, D-66123 Saarbrücken, Germany.
13. M. Freund and D. Lehmann. Nonmonotonic reasoning: from finitary relations to infinitary inference operations. Studia Logica, 53, 161-201, 1994.
14. N. Friedman and J. Y. Halpern. Plausibility measures and default reasoning. In Proceedings National Conference on Artificial Intelligence (AAAI), pp. 1297-1304, 1996.
15. N. Friedman and J. Y. Halpern. Plausibility measures and default reasoning. Journal of the ACM, 2000. To appear.
16. D. M. Gabbay. Theoretical foundations for non-monotonic reasoning in expert systems. In Proc. of the NATO Advanced Study Institute on Logics and Models of Concurrent Systems, La Colle-sur-Loup, France, K. R. Apt, ed., pp. 439-457, Springer-Verlag, 1985.
17. I. Hacking. What is logic? The Journal of Philosophy, 76, 285-319, 1979.
18. Y. Kaluzhny and D. Lehmann. Deductive nonmonotonic inference operations: Antitonic representations. Journal of Logic and Computation, 5, 111-122, 1995.
19. S. Kraus, D. Lehmann and M. Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44, 167-207, 1990.
20. G. Lakoff. Women, Fire, and Dangerous Things. The University of Chicago Press, 1987.
21. D Lehmann. Stereotypical reasoning: Logical properties. Logic Journal of the Interest Group in Pure and Applied Logics (IGPL), 6, 49-58, 1998.
22. D. Lehmann and M. Magidor. What does a conditional knowledge base entail? Artificial Intelligence, 55, 1-60, 1992.
23. S. Lindström. A semantic approach to nonmonotonic reasoning: Inference operations and choice. Technical Report Uppsala Prints and Preprints in Philosophy, 1994:10, Department of Philosophy, University of Uppsala, 1994.
24. D. Makinson. General theory of cumulative inference. In Proceedings of the Second International Workshop on Non-Monotonic Reasoning, Grassau, Germany, M. Reinfrank, J. de Kleer, M. L. Ginsberg and E. Sandewall, eds., pp. 1-18, Springer, 1989. Verlag. Volume 346, Lecture Notes in Artificial Intelligence.
25. D. Makinson. General patterns in nonmonotonic reasoning. In Handbook of Logic in Artificial Intelligence and Logic Programming, volume 3, Nonmonotonic and Uncertain Reasoning, D. M. Gabbay, C. J. Hogger and J. A. Robinson, eds., pp. 35-110. Oxford University Press, 1994.
26. R. K. Meyer. New axiomatics for relevant logics - I. Journal of Philosophical Logic, 3, 53-86, 1974.
27. H. Moulin. Choice functions over a finite set: A summary. Social Choice and Welfare, 2, 147-160, 1985.
28. C. R. Plott. Path independence, rationality and social choice. Econometrica, 41, 1075-1091, 1973.
29. G. Restall. Negation in relevant logics: How I stopped worrying and learned to love the Routley star? In What is Negation? D. Gabbay and H. Wansing, eds, pp. 53-76. Kluwer Academic Publishers, 1999.
30. H. Rott. Belief contraction in the context of the general theory of rational choice. Journal of Symbolic Logic, 58, 1426-1450, 1993.
31. K. Schlechta. Some results on classical preferential models. Journal of Logic and Computation, 2, 675-686, 1992.
32. K. Schlechta. Preferential choice representation theorems for branching time structures. Journal of Logic and Computation, 5, 783-800, 1995.
33. K. Schlechta. Filters and partial orders. Journal of the Interest Group in Pure and Applied Logics, 5, 753-772, 1997.
34. K. Schlechta. Nonmonotonic logics - Basic Concepts, Results, and Techniques, volume 1187 of Lecture Notes in Artificial Intelligence. Springer Verlag, January 1997.
35. K. Schlechta. New techniques and completeness results for preferential structures. Journal of Symbolic Logic, 1999. to appear.
36. A. K. Sen. Collective Choice and Social Welfare. Holden-Day, San Francisco, CA, 1970.
37. Y. Shoham. A semantical approach to nonmonotonic logics. In Proceedings of Logics in Computer Science, pp. 275-279, Ithaca, NY, 1987.
38. A. Tarski. Fundamentale begriffe der methodologie der deduktiven wissenschaften.i. Monatshefte für Mathematik und Physik, 37, 361-404, 1930.
39. A. Tarski. Über einige fundamentale begriffe der metamatematik. Comptes Rendus des séances de la Société des Sciences et des Lettres de Varsovie, 23, 22-29, 1930.
40. A. Tarski. Introduction to Logic. Oxford University Press, New York, 1941.
41. A. Tarski. Logic, Semantics, Metamathematics. Papers from 1923-1938. Clarendon Press, Oxford, 1956.
42. H. Uzawa. A note on preference and axioms of choice. Annals of the Institute of Statistical Mathematics, 8, 35-40 1956.