State constraints revisited

Journal of Logic and Computation

Volumn 4, Issue 5, 1994, Pages 655-677

  Lin, Fangzen ^a   Reiter, Ray ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

Reasoning about actions; State constraints; The qualification problem; The ramification problem; The situationcalculus.

Indexed keywords

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

References (23)

1. A. B. Baker. Nonmonotonic reasoning in the framework of the situation calculus. Artificial Intelligence, 49, 5-23, 1991.
2. K. L. Gaik. Negation as failure. In Logics and Databases, H. Gallaire and J. Minker, eds, pp. 293-322.
3. T. Costello. Solutions to the ramification problem. In Working Papers for 2nd Symposium on Logical Formalizations of Commonsense Reasoning, V. Lifschitz, ed., pp. 32-39.
4. J. Finger. Exploiting Constraints in Design Synthesis. PhD thesis. Department of Computer Science, Stanford University, Stanford, CA, 1986.
5. M. L. Ginsberg and Cf. E. Smith. Reasoning about action II: the qualification problem. Artificial Intelligence, 35, 311-342, 1988.
6. C.C. Green. Application of theorem proving to problem solving. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-69), pp. 219-239.
7. G. Neelakantan Kartha. Soundness and completeness theorems for three formalizations of action. In Working Papers for 2nd Symposium on Logical Formalizations of Commonsense Reasoning, V. Lifschitz, ed., pp. 85-93.
8. V. Lifschitz. Formal theories of action. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence (IJCAI-87), pp. 966-972. Morgan Kaufmann, Los Altos, CA, 1987.
9. V. Lifschitz. Frames in the space of situations. Artificial Intelligence, 46, 365-376, 1990.
10. V. Lifschitz. Restricted monotonicity. In Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93). Morgan Kaufmann, Los Altos, CA, 1993.
11. F. Lin and Y. Shoham. Provably correct theories of action: Preliminary report In Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91), Anaheim, CA, 1991.
12. J. McCarthy. Epistemological problems of Artificial Intelligence. In UCAl-77, Cambridge, MA, pp. 1038-1044. Morgan Kaufmann, Los Altos, CA, 1977.
13. J. McCarthy. Applications of circumscription to formalizing commonsense knowledge. Artificial Intelligence, 28, 89-118, 1986.
14. J.-J. Ch. Meyer. A different approach to deondc logic: deontic logic viewed as a variant of dynamic logic. Notre Dame Journal of Formal Logic, 29, 109-136, 1988.
15. E. P. D. Fednaull Synthesizing plans that contain actions with context-dependent effects. Computational Intelligence, 4.356-372, 1988.
16. J. Pinto. Temporal Reasoning in the Situation Calculus. PhD thesis, Department of Computer Science, University of Toronto, 1994.
17. J. Pinto and R. Reiter. Extending the situation calculus with event occurrences. In Second Symposium on Logical Formalizations of Commonsense Reasoning, V. Lifschitz, ed., pp. 172-177.
18. R. Reiter. The fhune problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. In Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, V. Lifschitz, ed., pp. 418-420.
19. R. Reiter. On specifying database updates. Technical report. Department of Computer Science, University of Toronto, 1992.
20. R. Reiter. Proving properties of states in the situation calculus. Artificial Intelligence, 64, 337-351, 1993.
21. L. K. Schubert. Monotonic solution to the frame problem in the situation calculus: an efficient method for worlds with fully specified actions. In Knowledge Representation and Defeasible Reasoning, H. E. Kyberg, R. P. Loui and G. N. Carlson, eds, pp. 23-67.
22. S. Shapiro. First-Order Solutions to the Frame Problem. MSc thesis, Department of Computer Science, University oflbronto, 1993.
23. R. Waldinger. Achieving several goals simultaneously. In Machine Intelligence, E. El cock and D. Michie, eds, pp. 94-136.