A fluent calculus semantics for ADL with plan constraints

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5293 LNAI, Issue , 2008, Pages 140-152

  Drescher, Conrad ^a   Thielscher, Michael ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATIONAL FLUID DYNAMICS; DIFFERENTIATION (CALCULUS); INFORMATION THEORY; MATHEMATICAL TECHNIQUES;

DECLARATIVE SEMANTICS; LOGICAL SEMANTICS; PLAN CONSTRAINTS; PLANNING DOMAINS; STATE TRANSITIONS;

SEMANTICS;

EID: 56649123166     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87803-2_13     Document Type: Conference Paper

References (18)

1. Fikes, R.E., Nilsson, N.J.: STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Artificial Intelligence 2, 189-208 (1971)
2. Pednault, E.P.D.: 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 1989), San Mateo, California, pp. 324-332. Morgan Kaufmann, San Francisco (1989)
3. Ghallab, M., Howe, A., Knoblock, C., McDermott, D., Ram, A., Veloso, M., Weld, D., Wilkins, D.: PDDL - The Planning Domain Definition Language ( 1998), ftp://ftp.cs.yale.edu/pub/mcdermott/software/pddl.tar.gz
4. Gerevini, A., Long, D.: Preferences and Soft Constraints in PDDL 3.0. In: Proceedings of the ICAPS-2006 Workshop on Preferences and Soft Constraints in Planning, Lake District of the UK, pp. 46-53 (2006)
5. Lifschitz, V.: On the Semantics of STRIPS. In: Reasoning about Actions and Plans, Tember-line, Oregon, pp. 1-9. Morgan Kaufmann, San Francisco (1986)
6. Pednault, E.P.D.: ADL and the State-Transition Model of Action. Journal of Logic and Computation 4, 467-512 (1994)
7. Claßen, J., Lakemeyer, G.: A Semantics for ADL as Progression in the Situation Calculus. In: Proceedings of the 11th International Workshop on Non-Monotonic Reasoning (NMR 2006), Lake District, UK (2006)
8. Claßen, J., Hu, Y., Lakemeyer, G.: A Situation-Calculus Semantics for an Expressive Fragment of PDDL. In: Proceedings of the Twenty-second National Conference on Artificial Intelligence (AAAI 2007), Menlo Park, CA, pp. 956-961 (2007)
9. Claßen, J., Eyerich, P., Lakemeyer, G., Nebel, B.: Towards an Integration of Golog and Planning. In: Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI 2007), Hyderabad, India, pp. 1846-1851 (2007)
10. Fox, M., Long, D.: PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains. Journal of Artificial Intelligence Research 20, 61-124 (2003)
11. Thielscher, M.: Reasoning Robots: The Art and Science of Programming Robotic Agents. Springer, Dordrecht (2005)
12. Reiter, R.: Knowledge in Action: Logical Foundations for Describing and Implementing Dynamical Systems. MIT Press, Cambridge (2001)
13. Thielscher, M.: A Unifying Action Calculus. Artificial Intelligence (submitted, 2007), www.fluxagent.org/publications.htm
14. Geltend, M., Lifschitz, V.: Action Languages. Electronic Transactions on Artificial Intelligence 3 (1998), http://www.ep.liu.se/ea/cis/1998/016/
15. Gerevini, A., Long, D.: BNF Description of PDDL3.0 (2005), http://zeus.ing.unibs.it/ipc-5/
16. Lakemeyer, G., Levesque. H.J.: Situations, Si! Situation Terms, No! In: Proceedings of the Ninth International Conference on Principles of Knowledge Representation and Reasoning (KR 2004), Whistler, Canada, pp. 516-526 (2004)
17. Thielscher, M.: The Concurrent, Continuous Fluent Calculus. Studia Logica 67, 315-331 (2001)
18. Dovier, A., Formisano, A., Pontelli, E.: Multivalued Action Languages with Constraints in CLP(FD). In: Proceedings of the Twenty-third International Conference on Logic Programming (ICLP 2007), Porto, Portugal, pp. 255-270 (2007)