Reasoning about actions: Steady versus stabilizing state constraints

Artificial Intelligence

Volumn 104, Issue 1-2, 1998, Pages 339-355

  Thielscher, Michael ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Causality; Ramification Problem; Temporal reasoning

Indexed keywords

CONSTRAINT THEORY; MATHEMATICAL MODELS; PROBLEM SOLVING;

CAUSAL PROPAGATION; RAMIFICATION PROBLEMS;

ARTIFICIAL INTELLIGENCE;

EID: 0032157753     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0004-3702(98)00084-8     Document Type: Article

References (22)

1. S.-E. Bornscheuer, M. Thielscher, Explicit and implicit indeterminism: reasoning about uncertain and contradictory specifications of dynamic systems, J. Logic Programming 31 (1-3) (1997) 119-155.
2. C. Elkan, Reasoning about action in first-order logic, in: Proceedings Conference of the Canadian Society for Computational Studies of Intelligence (CSCSI), Vancouver, BC, Morgan Kaufmann, San Mateo, CA, 1992, pp. 221-227,
3. R.E. Fikes, N.J. Nilsson, STRIPS: a new approach to the application of theorem proving to problem solving, Artificial Intelligence 2 (1971) 189-208.
4. M.L. Ginsberg, D.E. Smith, Reasoning about action I: a possible worlds approach, Artificial Intelligence 35 (1988) 165-195.
5. M.L. Ginsberg, D.E. Smith, Reasoning about action II: the qualification problem, Artificial Intelligence 35 (1988) 311-342.
6. E. Giunchiglia, G.N. Kartha, V. Lifschitz, Representing action: indeterminacy and ramifications, Artificial Intelligence 95 (1997) 409-443.
7. S. Hölldobler, J. Schneeberger, A new deductive approach to planning, New Generation Computing 8 (1990) 225-244.
8. J. Jaffar, J.-L. Lassez, M.J. Maher, A theory of complete logic programs with equality, J. Logic Programming 1 (3) (1984) 211-223.
9. A. Kakas, R. Miller, Reasoning about actions, narratives, and ramifications, Electronic Transactions on Artificial Intelligence 1 (4) (1997) 39-72.
10. D. Leivant, Higher order logic, in: D.M. Gabbay, C.J. Hogger, J.A. Robinson (Eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 2, Oxford University Press, Oxford, 1994, pp. 229-321.
11. V. Lifschitz, Frames in the space of situations, Artificial Intelligence 46 (1990) 365-376.
12. F. Lin, Embracing causality in specifying the indirect effects of actions, in: C.S. Mellish (Ed.), Proceedings International Joint Conference on Artificial Intelligence (IJCAI-95), Montreal, Quebec, Morgan Kaufmann, San Mateo, CA, 1995, pp. 1985-1991.
13. F. Lin, R. Reiter, State constraints revisited, J. Logic and Computation 4 (5) (1994) 655-678.
14. N. McCain, H. Turner, A causal theory of ramifications and qualifications, in: C.S. Mellish (Ed.), Proceedings International Joint Conference on Artificial Intelligence (IJCAI-95), Montreal, Quebec, Morgan Kaufmann, San Mateo, CA, 1995, pp. 1978-1984.
15. N. McCain, H. Turner, Causal theories of action and change, in: B. Kuipers, B. Webber (Eds.), Proceedings 14th National Conference on Artificial Intelligence (AAAI-97), Providence, RI, MIT Press, Cambridge, MA, 1997, pp. 460-465.
16. J. McCarthy, P.J. Hayes, Some philosophical problems from the standpoint of artificial intelligence, in: B. Meltzer, D. Michie (Eds.), Machine Intelligence 4, Edinburgh University Press, Edinburgh, 1969, pp. 463-502.
17. E. Pednault, Formulating multi-agent, dynamic world problems in the classical planning framework, in: M.P. Georgeff, A.L. Lansky (Eds.), Proceedings Workshop on Reasoning about Actions and Plans, Morgan Kaufmann, San Mateo, CA, 1986, pp. 47-82.
18. R. Reiter, The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression, in: V. Lifschitz (Ed.), Artificial Intelligence and Mathematical Theory of Computation, Academic Press, New York, 1991, pp. 359-380.
19. E. Sandewall, Assessments of ramification methods that use static domain constraints, in: L.C. Aiello, J. Doyle, S. Shapiro (Eds.), Proceedings International Conference on Principles of Knowledge Representation and Reasoning (KR-96), Morgan Kaufmann, Cambridge, MA, November 1996, pp. 99-110.
20. M. Shanahan, Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia, MIT Press, Cambridge, MA, 1997.
21. M. Thielscher, Ramification and causality, Artificial Intelligence 89 (1-2) (1997) 317-364.
22. ∼mit.