A new HTN planning framework for agents in dynamic environments

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

Volumn 3259, Issue , 2004, Pages 108-133

  Hayashi, Hisashi ^a   Cho, Kenta ^a   Ohsuga, Akihiko ^a  

^a TOSHIBA CORPORATION   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER NETWORKS; DYNAMIC PROGRAMMING; INTERNET; KNOWLEDGE ACQUISITION; PLANNING; SEMANTICS; SOFTWARE AGENTS;

DYANAMIC PLANNING; HTN PLANNING; PLAN EXECUTION; PLAN MODIFICATION;

MULTI AGENT SYSTEMS;

EID: 23144461021     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-30200-1_7     Document Type: Conference Paper

References (19)

1. A. J. Bonner and M. Kifer. Transaction Logic Programming. International Conference on Logic Programming, pp. 257-279, 1993.
2. A. J. Bonner. Workflow, Transactions and Datalog. ACM Symposium on Principles of Database Systems, pp. 294-305, 1999.
3. BPEL4WS v1.1 Specification, 2003.
4. M. E. desJardins, E. H. Durfee, C. L. Ortiz, Jr., and M. J. Wolverton. A Survey of Research in Distributed, Continual Planning. AI Magazine 20(4), pp. 13-22, 1999.
5. J. Dix, H. Munoz-Avila, and D. Nau. IMPACTing SHOP: Putting an AI Planner into a Multi-Agent Environment. Annals of Mathematics and AI 4(37), pp. 381-407, 2003.
6. N. Fukuta, T. Ito, and T. Shintani. MiLog: A Mobile Agent Framework for Implementing Intelligent Information Agents with Logic Programming. Pacific Rim International Workshop on Intelligent Information Agents, 2000.
7. H. Hayashi. Replanning in Robotics by Dynamic SLDNF. IJCAI Workshop "Scheduling and Planning Meet Real-Time Monitoring in a Dynamic and Uncertain World", 1999.
8. H. Hayashi. Computing with Changing Logic Programs. PhD Thesis, Imperial College of Science, Technology and Medicine, University of London, 2001.
9. H. Hayashi, K. Cho, A. Ohsuga. Speculative Computation and Action Execution in Multi-Agent Systems. ICLP Workshop on Computational Logic and Multi-Agent Systems (CLIMA), Electronic Notes in Theoretical Computer Science 70(5), http://www.elsevier.nl/locate/entcs/volume70.html, 2002.
10. H. Hayashi, K. Cho, and A. Ohsuga. Mobile Agents and Logic Programming. IEEE International Conference on Mobile Agents, pp. 32-46, 2002.
11. A. C. Kakas, R. A. Kowalski, and F. Toni. The Role of Abduction in Logic Programming. Handbook of Logic in Artificial Intelligence and Logic Programming 5, pp. 235-324, Oxford University Press, 1998.
12. R. A. Kowalski and F. Sadri. From Logic Programming to Multi-Agent Systems. Annals of Mathematics and Artificial Intelligence 25(3-4), pp. 391-419, 1999.
13. J. A. Leite, J. J. Alferes, and L. M. Pereira. MINERVA-A Dynamic Logic Programming Agent Architecture. Intelligent Agents VIII, LNAI2333, pp. 141-157, Springer-Verlag, 2002.
14. D. Nau, Y. Cao, A. Lotem, and H. Münoz-Avila. SHOP: Simple Hierarchical Ordered Planner. International Joint Conference on Artificial Intelligence, pp. 968-975, 1999.
15. D. Nau, H. Münoz-Avila, Y. Cao, A. Lotem, and S. Mitchell. Total-Order Planning with Partially Ordered Subtasks. International Joint Conference on Artificial Intelligence, pp. 425-430, 2001.
16. A. Ohsuga, Y. Nagai, Y. Irie, M. Hattori, and S. Honiden. PLANGENT: An Approach to Making Mobile Agents Intelligent. IEEE Internet Computing 1(4), pp. 50-57, 1997.
17. S. Russell and P. Norvig. Artificial Intelligence: A Modern Approach. Prentice-Hall, 1995.
18. K. Satoh, K. Inoue, K. Iwanuma, and C. Sakama. Speculative Computation under Incomplete Communication Environments. International Conference on Multi-Agent Systems, pp. 263-270, 2000.
19. P. Tarau. Jinni: Intelligent Mobile Agent Programming at the Intersection of Java and Prolog. International Conference and Exhibition on the Practical Application of Intelligent Agents and Multi-Agent Technology, 1999.