Abstract
In a dynamic environment, even if an agent makes a plan to obtain a goal, the environment might change while the agent is executing the plan. In that case, the plan, which was initially valid when it was made, might later become invalid. Furthermore, in the process of replanning, it is necessary to take into account the side effects of actions already executed . To solve this problem, we have previously presented an agent life cycle that interleaves HTN planning, action execution, knowledge updates, and plan modification. In that agent life cycle, the plans are always kept valid according to the most recent knowledge and situation. However, it deals with only total-order plans. This paper extends the agent life cycle so that the agent can handle partial-order plans.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bonner, A.J., Kifer, M.: Transaction Logic Programming. In: International Conference on Logic Programming, pp. 257–279 (1993)
Bonner, A.J.: Workflow, Transactions and Datalog. In: ACM Symposium on Principles of Database Systems, pp. 294–305 (1999)
BPEL4WS v1.1 Specification (2003)
desJardins, M.E., Durfee, E.H., Ortiz Jr., C.L., Wolverton, M.J.: A Survey of Research in Distributed, Continual Planning. AI Magazine 20(4), 13–22 (1999)
Dix, J., Munoz-Avila, H., Nau, D.: IMPACTing SHOP: Putting an AI Planner into a Multi-Agent Environment. Annals of Mathematics and AI 4(37), 381–407 (2003)
Fukuta, N., Ito, T., Shintani, T.: MiLog: A Mobile Agent Framework for Implementing Intelligent Information Agents with Logic Programming. In: Pacific Rim International Workshop on Intelligent Information Agents (2000)
Hayashi, H.: Replanning in Robotics by Dynamic SLDNF. In: IJCAI Workshop, Scheduling and Planning Meet Real-Time Monitoring in a Dynamic and Uncertain World (1999)
Hayashi, H.: Computing with Changing Logic Programs. PhD Thesis, Imperial College of Science, Technology and Medicine, University of London (2001)
Hayashi, H., Cho, K., Ohsuga, A.: Speculative Computation and Action Execution in Multi-Agent Systems. In: ICLP Workshop on Computational Logic and Multi-Agent Systems (CLIMA). Electronic Notes in Theoretical Computer Science, vol. 70(5) (2002), http://www.elsevier.nl/locate/entcs/volume70.html
Hayashi, H., Cho, K., Ohsuga, A.: Mobile Agents and Logic Programming. In: IEEE International Conference on Mobile Agents, pp. 32–46 (2002)
Kakas, A.C., Kowalski, R.A., Toni, F.: The Role of Abduction in Logic Programming. In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 5, pp. 235–324. Oxford University Press, Oxford (1998)
Kowalski, R.A., Sadri, F.: From Logic Programming to Multi-Agent Systems. Annals of Mathematics and Artificial Intelligence 25(3-4), 391–419 (1999)
Leite, J.M., Alferes, J.J., Moniz Pereira, L. A.: MINERVA - A Dynamic Logic Programming Agent Architecture. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS, vol. 2333, pp. 141–157. Springer, Heidelberg (2002)
Nau, D., Cao, Y., Lotem, A., Mũnoz-Avila, H.: SHOP: Simple Hierarchical Ordered Planner. In: International Joint Conference on Artificial Intelligence, pp. 968–975 (1999)
Nau, D., Mũnoz-Avila, H., Cao, Y., Lotem, A., Mitchell, S.: Total-Order Planning with Partially Ordered Subtasks. In: International Joint Conference on Artificial Intelligence, pp. 425–430 (2001)
Ohsuga, A., Nagai, Y., Irie, Y., Hattori, M., Honiden, S.: PLANGENT: An Approach to Making Mobile Agents Intelligent. IEEE Internet Computing 1(4), 50–57 (1997)
Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach. Prentice-Hall, Englewood Cliffs (1995)
Satoh, K., Inoue, K., Iwanuma, K., Sakama, C.: Speculative Computation under Incomplete Communication Environments. In: International Conference on Multi-Agent Systems, pp. 263–270 (2000)
Tarau, P.: Jinni: Intelligent Mobile Agent Programming at the Intersection of Java and Prolog. In: International Conference and Exhibition on the Practical Application of Intelligent Agents and Multi-Agent Technology (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hayashi, H., Cho, K., Ohsuga, A. (2004). A New HTN Planning Framework for Agents in Dynamic Environments. In: Dix, J., Leite, J. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2004. Lecture Notes in Computer Science(), vol 3259. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30200-1_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-30200-1_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24010-5
Online ISBN: 978-3-540-30200-1
eBook Packages: Computer ScienceComputer Science (R0)