Planning in answer set programming using ordered task decomposition

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2821, Issue , 2003, Pages 490-504

  Dix, Jürgen ^a   Kuter, Ugur ^c   Nau, Dana ^b  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

^b UNIVERSITY OF MARYLAND   (United States)

^c NONE

Author keywords

ASP systems; Benchmarks; HTN planning; Nonmonotonic reasoning

Indexed keywords

BENCHMARKING; HIERARCHICAL SYSTEMS; KNOWLEDGE ENGINEERING; PROBLEM SOLVING; SYSTEMS ANALYSIS; ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING; LOGIC PROGRAMMING;

ANSWER SET PROGRAMMING (ASP) SYSTEMS; HIERARCHICAL TASK NETWORK (HTN) PLANNING; NONMONOTONIC REASONING; ANSWER SET PROGRAMMING; HTN PLANNING; NON-MONOTONIC REASONING; PLANNING PROBLEM; SOUND AND COMPLETE; TASK DECOMPOSITION; TRANSLATION METHOD;

LOGIC PROGRAMMING; PROGRAM TRANSLATORS;

EID: 9444285758     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-39451-8_36     Document Type: Conference Paper

References (24)

1. Niemelä, I., Simons, P.: Efficient Implementation of the Well-founded and Stable Model Semantics. In Maher, M., ed.: Proceedings of the Joint International Conference and Symposium on Logic Programming, Bonn, Germany, The MIT Press (1996) 289-303
2. Dimopoulos, Y., Nebel, B., Koehler, J.: Encoding Planning Problems in Non-monotonic Logic Programs. In Steel, S., Alami, R., eds.: Proceedings of the Fourth European Conference on Planning, Toulouse, France, Springer-Verlag (1997) 169-181
3. Dix, J., Furbach, U., Niemelä, I.: Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations. In Voronkov, A., Robinson, A., eds.: Handbook of Automated Reasoning. Elsevier-Science-Press (2001) 1121-1234
4. Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: The KR System dlv: Progress Report, Comparisons and Benchmarks. In Cohn, A.G., Schubert, L., Shapiro, S.C., eds.: Proceedings Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Morgan Kaufmann (1998) 406-417
5. Chen, W., Warren, D.S.: Tabled Evaluation with Delaying for General Logic Programs. Journal of the ACM 43 (1996) 20-74
6. Rao, P., Sagonas, K., Swift, T., Warren, D.S., Freire, J.: XSB: A System for Efficiently Computing Well-Founded Semantics. In Dix, J., Furbach, U., Nerode, A., eds.: Logic Programming and Non-Monotonic Reasoning, Proceedings of the Fourth International Conference. LNAI 1265, Berlin, Springer (1997) 430-440
7. Apt, K.R., Marek, V., Truszczynski, M., Warren, D.S., eds.: The Logic Programming Paradigm: Current Trends and Future Directions, Berlin, Springer (1999)
8. Sacerdoti, E.: A Structure for Plans and Behavior. American Elsevier Publishing (1977)
9. Erol, K., Hendler, J., Nau, D.: UMCP: A Sound and Complete Procedure for Hierarchical Task-Network Planning. In Hammond, K., ed.: Proceedings of AIPS-94, Chicago, IL, AAAI Press (1994) 249-254
10. Wilkins, D.: Practical Planning - Extending the Classical AI Planning Paradigm. Morgan Kaufmann (1988)
11. Nau, D., Cao, Y., Lotem, A., Muñoz-Avila, H.: SHOP: Simple Hierarchical Ordered Planner. In Dean, T., ed.: Proceedings of IJCAI-99, Morgan Kaufmann (1999)
12. Nau, D., Cao, Y., Lotem, A., Muñoz-Avila, H., Mitchell, S.: Total-Order Planning with Partially Ordered Subtasks. In Nebel, B., ed.: Proceedings of IJCAI-01, Seattle, Washington, Morgan Kaufmann (2001) 425-430
13. Gelfond, M., Lifschitz, V.: Action Languages. Electronic Transactions on AI 2 (1998) 193-210
14. Turner, H.: Representing Actions in Logic Programs and Default Theories: A Situation Calculus Approach. The Journal of Logic Programming 31 (1997) 245-298
15. Lifschitz, V.: Action Languages, Answer Sets and Planning. In Apt, K.R., Marek, V.W., Truszczynski, M., Warren, D.S., eds.: The Logic Programming Paradigm: A 25-Year Perspective, Springer-Verlag (1999) 357-373
16. McCain, N., Turner, H.: Causal Theories of Action and Change. In: Proceedings of the 14th National Conference on Artificial Intelligence (AAAI-97), Menlo Park, CA, AAAI Press (1997) 460-465
17. McCain, N.: Using Causal Calculator with the C Input Language. Technical report, University of Texas at Austin (1999)
18. Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.: The DLV-K Planning System: Progress Report. In Ianni, G., Flesca, S., eds.: Proceedings of Journees Europeens de la Logique en Intelligence Artificielle (JELIA '02). LNCS 2424, Springer (2002) 541-544
19. Baral, C., Tran, N., Tuan., L.: Reasoning about Actions in a Probabilistic Setting. In: AAAI/IAAI 2002, AAAI Press (2002) 507-512
20. Son, T., Baral, C., McIlraith., S.: Planning with domain-dependent knowledge of different kinds - an answer set programming approach. In Eiter, T., Truszczyński, M., Faber, W., eds.: Logic Programming and Non-Monotonic Reasoning, Proceedings of the Sixth International Conference. LNCS 2173, Berlin, Springer (2001) 226-239
21. Nau, D., Au, T.C., Ilghami, O., Kuter, U., Murdock, W., Wu, D., Yaman, F.: SHOP2: an HTN planning system. Journal of Artificial Intelligence Research (2003) To appear.
22. Dix, J., Kuter, U., Nau, D.: HTN Planning in Answer Set Programming. Technical Report CS TR 4336, University of Maryland (2002) Submitted for publication.
23. Bacchus, F.: AIPS'00 Planning Competition. AI Magazine 22 (2001) 47-56
24. Kvarnström, J., Doherty, P.: TALplanner: A Temporal Logic Based Forward Chaining Planner. Annals of Mathematics and Articial Intelligence 30 (2001) 119-169