Compiling causal theories to successor state axioms and STRIPS-like systems

Journal of Artificial Intelligence Research

Volumn 19, Issue , 2003, Pages 279-314

  Lin, Fangzhen ^a  

^a HONG KONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Hong Kong)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; FORMAL LOGIC; KNOWLEDGE ENGINEERING;

ACTION DESCRIPTION LANGUAGES; KNOWLEDGE ENGINEERS; LOGICAL THEORIES; STRIPS-LIKE SYSTEMS;

ARTIFICIAL INTELLIGENCE;

EID: 9444221204     PISSN: 10769757     EISSN: 10769757     Source Type: Journal    
DOI: 10.1613/jair.1135     Document Type: Article

References (24)

1. Baral, C. (1995). Reasoning about actions: nondeterministic effects, constraints, and qualification. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), IJCAI Inc. Distributed by Morgan Kaufmann, San Mateo, CA., pp. 2017-2023.
2. Fikes, R. E., &: Nilsson, N. J. (1971). STRIPS: A new approach to theorem proving in problem solving. Artificial Intelligence, 2, 189-208.
3. Fox, M., & Long, D. (1998). The automatic inference of state invariants in TIM. Journal of Artificial Intelligence Research, 9, 367-421.
4. Gelfond, M., & Lifschitz, V. (1999). Action languages. Electronic Transactions on Artificial Intelligence, http://www.ep.liu.se/ea/cis, Vol 3, nr 016.
5. Gerevini, A., & Schubert, L. (1998). Inferring state constraints for domain-independent planning. In Proceedings of the 15th National Conference on Artificial Intelligence (AAAI-98), AAAI Press, Menlo Park, CA.
6. Levesque, H., Reiter, R., Lespérance, Y., Lin, F., & Scherl, R. (1997). GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming, Special issue on Reasoning about Action and Change, 31, 59-84.
7. Lifschitz, V. (1997). On the logic of causal explanation. Artificial Intelligence, 96, 451-465.
8. Lin, F. (1995). Embracing causality in specifying the indirect effects of actions. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), IJCAI Inc. Distributed by Morgan Kaufmann, San Mateo, CA., pp. 1985-1993.
9. Lin, F. (1996). Embracing causality in specifying the indeterminate effects of actions. In Proceedings of the 13th National Conference on Artificial Intelligence (AAAI-96), AAAI Press, Menlo Park, CA., pp. 670-676.
10. Lin, F. (2001a). On strongest necessary and weakest sufficient conditions. Artificial Intelligence, 128(1-2), 143-159.
11. Lin, F. (2001b). A planner called R. AI Magazine, 22(3), 73-76.
12. Lin, F., & Reiter, R. (1994a). Forget it!. In Greiner, R., & Subramanian, D. (Eds.), Working Notes of AAAI Fall Symposium on Relevance, pp. 154-159. The American Association for Artificial Intelligence, Menlo Park, CA. Also available at http://www.cs.toronto.edu/cogrobo/forgetting.ps.Z.
13. Lin, F., & Reiter, R. (1994b). State constraints revisited. Journal of Logic and Computation, Special Issue on Actions and Processes, 4(5), 655-678.
14. McCain, N., & Turner, H. (1995). A causal theory of ramifications and qualifications. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), IJCAI Inc. Distributed by Morgan Kaufmann, San Mateo, CA., pp. 1978-1984.
15. McCain, N., & Turner, H. (1997). Causal theories of action and change. In Proceedings of the 14th National Conference on Artificial Intelligence (AAAI-97), AAAI Press, Menlo Park, CA., pp. 460-465.
16. McCain, N., & Turner, H. (1998). Satisfiability planning with causal theories. In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), pp. 212-221.
17. McDermott, D. (1998). PDDL - the planning domain definition language. Tech. rep. TR-98-003/DCS TR-1165, Yale Center for Computational Vision and Control.
18. Pednault, E. P. (1989). ADL: Exploring the middle ground between STRIPS and the situation calculus. In Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning (KR'89), pp. 324-332. Morgan Kaufmann Publishers, Inc.
19. Reiter, R. (1991). The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. In Lifschitz, V. (Ed.), Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pp. 418-420. Academic Press, San Diego, CA.
20. Selman, B., & Kautz, H. (1999). Unifying SAT-based and graph-based planning. In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI-99), IJCAI Inc. Distributed by Morgan Kaufmann, San Mateo, CA., pp. 318-325.
21. Thielscher, M. (1995). Computing ramification by post-processing. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), IJCAI Inc. Distributed by Morgan Kaufmann, San Mateo, CA., pp. 1994-2000.
22. Thielscher, M. (1997). Ramification and causality. Artificial Intelligence, 89, 317-364.
23. Wilkins, D. (1988). Practical planning: extending the classical AI planning paradigm. Morgan Kaufmann, San Mateo, CA.
24. Zhang, Y., &: Foo, N. (1997). Deriving invariants and constraints from action theories. Fundamenta Informaticae, 30(1), 109-123.