The expressive power of circumscription

Artificial Intelligence

Volumn 104, Issue 1-2, 1998, Pages 313-329

  Costello, Tom ^a  

^a Stanford University   (United States)

Author keywords

Circumscription; Expressive power; Expressiveness of circumscription; Nonmonotonic reasoning

Indexed keywords

FORMAL LANGUAGES; FORMAL LOGIC; MATHEMATICAL MODELS;

CIRCUMSCRIPTION; NONMONOTONIC REASONING;

ARTIFICIAL INTELLIGENCE;

EID: 0032156081     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0004-3702(98)00050-2     Document Type: Article

References (30)

1. R. Brafman, Statistical first order conditionals, in: L.C. Aiello, J. Doyle, S. Shapiro (Eds.), Principles of Knowledge Representation and Reasoning, Proc. 5th International Conference, Morgan Kaufmann, San Mateo, CA, 1996, pp. 421-431.
2. T. Costello, Non-monotonicity and change, Ph.D. thesis, Stanford University, 1997.
3. T. Costello, Change, change, change, three approaches, in: Proc. 15th International Joint Conference on Artificial Intelligence (IJCAI-97), Nagoya, Japan, Morgan Kaufmann, San Mateo, CA, 1997, pp. 1426-1431.
4. J.P. Delgrande, An approach to default reasoning based on a first-order conditional logic. Artificial Intelligence 36 (1) (1988) 63-90.
5. J. de Kleer, K. Konolige, Eliminating the fixed predicates from a circumscription, Artificial Intelligence 39 (1989) 391-398.
6. D.W. Etherington, R.E. Mercer, R. Reiter, On the adequacy of predicate circumscription for closed world reasoning, Computational Intelligence 1 (1985).
7. D. Gabbay, Theoretical Foundations for Non-Monotonic Reasoning in Expert-Systems, in: K.R. Apt (Ed.), Logics and Models of Concurrent systems, Springer, Berlin, 1985, pp. 439-458.
8. P. Gärdenfors, Conditionals and changes of belief, Acta Philos. Fennica 30 (1978) 381-404.
9. P. Gärdenfors, Knowledge in Flux, Cambridge University Press, Cambridge, UK, 1988.
10. E. Giunchiglia, Determining ramifications in the situation calculus, in: L.C. Aiello, J. Doyle, S. Shapiro (Eds.), Principles of Knowledge Representation and Reasoning: Proc. 5th International Conference (KR-96), Morgan Kaufmann, San Mateo, CA, 1996, pp. 76-86.
11. P. Gärdenfors, D. Makinson, Revisions of knowledge systems using epistemic entrenchment, in: M. Y. Vardi (Ed.), Proc. 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, Morgan Kaufmann, San Mateo, CA, March 1988, pp. 83-95.
12. P. Gärdenfors, D. Makinson, Nonmonotonic inference based on expectations, Artificial Intelligence 65 (2) (1994) 197-245.
13. S. Kraus, D. Lehmann, M. Magidor, Nonmonotonic reasoning, preferential models and cumulative logics, Artificial Intelligence 44 (1) (1990) 167-207.
14. D.K. Lewis, Counterfactuals, Harvard University Press, Cambridge, MA, 1973.
15. V. Lifschitz, Some results on circumscription, in: 1st Workshop on Non-monotonic Reasoning, Stanford University, August 1984, pp. 151-164.
16. V. Lifschitz, Computing Circumscription, in: Proc. 9th International Joint Conference on Artificial Intelligence (IJCAI-85), Los Angeles, CA, 1985, pp. 121-127.
17. V. Lifschitz, Nested abnormality theories, Artificial Intelligence 74 (1995) 351-365.
18. D. Lehmann, M. Magidor, Preferential logics: the predicate calculus case, in: R. Parikh (Ed.), Proc. 3rd Conference on Theoretical Aspects of Reasoning about Knowledge, Morgan Kaufmann, San Mateo, CA, March 1990, pp. 57-72,
19. F. Lin, R. Reiter, State constraints revisited, Journal of Logic and Computation 4 (5) (1994) 655-678.
20. J. McCarthy, Epistemological problems of artificial intelligence, in: Proc. 5th International Joint Conference on Artificial Intelligence (IJCAI-77), Cambridge, MA, 1977, pp. 223-227.
21. J. McCarthy, Circumscription - a form of non-monotonic reasoning, Artificial Intelligence 13 (1-2) (1980) 27-39.
22. J. McCarthy, Applications of circumscription to formalizing commonsense knowledge, Artificial Intelligence 28 (1986) 89-116.
23. J. McCarthy, P. Hayes, Some philosophical problems from the standpoint of artificial intelligence, in: D. Michie (Ed.), Machine Intelligence 4, Edinburgh University Press, Edinburgh, UK, 1969, pp. 463-502.
24. Y.N. Moschovakis, Elementary Induction on Abstract Structures, North-Holland, Amsterdam, 1974.
25. F.P. Ramsey, General propositions and causality (1925), in: D.H. Mellor (Ed.), Foundations: Essays in Philosophy, Logic, Mathematics and Economics, Routledge and K. Paul, London, 1978, pp. 237-257.
26. P.K. Rathmann, M. Winslett, M. Manasse, Circumscription with homomorphisms: solving the equality and counterexample problem, Journal of the ACM 41 (5) (1994) 819-873.
27. Y. Shoham, Reasoning about change: time and causation from the standpoint of artificial intelligence, Ph.D. thesis, Yale University, 1986.
28. R. Stalnaker, A theory of conditionals, in: N. Rescher (Ed.), Studies in Logical Theory, American Philosophical Quarterly Monograph Series, Vol. 2, Blackwell, Oxford, 1968, pp. 98-112. Also in: W. Harper, R.C. Stalnaker, G. Pearce (Eds.), Ifs, Reidel, Dordrecht, 1981.
29. R. Stalnaker, A theory of conditionals, in: N. Rescher (Ed.), Studies in Logical Theory, American Philosophical Quarterly Monograph Series, Vol. 2, Blackwell, Oxford, 1968, pp. 98-112. Also in: W. Harper, R.C. Stalnaker, G. Pearce (Eds.), Ifs, Reidel, Dordrecht, 1981.
30. F. Veltman, Logics for conditionals, Ph.D. thesis, Filosofisch Institut, Universiteit van Amsterdam, 1986.