Compiling control knowledge into preconditions for planning in the situation calculus

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2003, Pages 1061-1066

  Gabaldon, Alfredo ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ACTION THEORY; MARKOVIAN; NON-MARKOVIAN; PLANNING SYSTEMS; SEARCH CONTROL; SITUATION CALCULUS;

ARTIFICIAL INTELLIGENCE;

CALCULATIONS;

EID: 62949147081     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. Rajeev Alur, Tomas Feder, and Thomas Henzinger. The benefits of relaxing punctuality. In Proceedings of the Thenth Annual ACM Symposium on Princeples of Distributed Computing (PODC'91), pages 139-152,1991.
2. Fahiem Bacchus and Michael Ady. Precondition control. 1999.
3. Fahiem Bacchus and Froduald Kabanza. Planning for temporally extended goals. Annals of Mathematics and Artificial Intelligence, 22:5-27, 1998.
4. Fahiem Bacchus and Froduald Kabanza. Using temporal logics to express search control knowledge for planning. Artificial Intelligence, 116:123-191,2000.
5. Kutluhan Erol, James A. Hendler, and Dana S. Nau. Complexity results for hierarchical task-network planning. Annals of Mathematics and Artificial Intelligence, 18:69-93, 1996.
6. Alfredo Gabaldon. Non-markovian control in the situation calculus. In Proceedings of the Eighteenth National Conference on Artificial Intelligence (AAAI'02), pages 519-524, Edmonton, Canada, 2002.
7. C.C. Green. Theorem proving by resolution as a basis for question-answering systems. In B. Meltzer and D. Michie, editors, Machine Intelligence 4, pages 183-205. American Elsevier, New York, 1969.
8. Henry Kautz and Bart Selman. The role of domain-specific knowledge in the planning as satisfiability framework. In Proceedings of the Fourth International Conference on Artificial Intelligence Planning Systems (AIPS'98), pages 181-189,1998.
9. Jonas Kvarnstrom and Patrick Doherty. TALplanner: A temporal logic based forward chaining planner. Annals of Mathematics and Artificial Intelligence, 30:119-169,2000.
10. Fangzen Lin and Ray Reiter. State constraints revisited. Journal of Logic and Computation, 4(5):655-678, October 1994.
11. J. McCarthy. Situations, actions and causal laws. Technical report, Stanford University, 1963.
12. Reprinted in Semantic Information Processing (M. Minsky ed.), MIT Press, Cambridge, Mass., 1968, pp. 410-417.
13. John McCarthy. Epistemological problems of artificial intelligence. In Proceedings of the Fifth International Conference on Artificial Intelligence (IJCAI77), pages 1038-1044,1977.
14. Fiora Pirn and Ray Reiter. Some contributions to the metatheory of the Situation Calculus. Journal of the ACM, 46(3):325-364,1999.
15. R. Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In V. Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation, pages 359-380. Academic Press, 1991.
16. Ray Reiter. Knowledge in Action: Logical Foundations for Describing and Implementing Dynamical Systems. MIT Press, Cambridge, MA, 2001.
17. Jussi Rintanen. Incorporation of temporal logic control into plan operators. In W. Horn, editor, Procs. of the 14th European Conference on Artificial Intelligence (ECAI'00), pages 526-530, Amsterdam, 2000. IOS Press.
18. E.D. Sacerdoti. Planning in a hierarchy of abstraction spaces. Artificial Intelligence, 5:115-135,
19. Josefina Sierra. Declarative formalization of strategies for action selection. In Procs. of the 7th Intl. Workshop on Nonmonotonic Reasoning NMR '98, 1998.
20. David E. Wilkins. Practical Planning: Extending the classic AI planning paradigm. Morgan Kaufmann, San Mateo, CA, 1988.