Abstract
We present an agent monitoring approach, which aims at refuting from (possibly incomplete) information at hand that a multi-agent system (MAS) is implemented properly. In this approach, agent collaboration is abstractly described in an action theory. Action sequences reaching the collaboration goal are determined by a planner, whose compliance with the actual MAS behavior allows to detect possible collaboration failures. The approach can be fruitfully applied to aid offline testing of a MAS implementation, as well as online monitoring.
This work was supported by FWF (Austrian Science Funds), projects P14781 and Z29-N04, and partially funded by the Information Society Technologies programme of the European Commission, Future and Emerging Technologies under the IST-2001-37004 WASP project.
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
Devaney, M., Ram, A.: Needles in a haystack: Plan recognition in large spatial domains involving multiple agents. In: Proc. AAAI 1998, pp. 942–947 (1998)
Dix, J., Kuter, U., Nau, D.: HTN planning in answer set programming. Tech. Rep. CSTR- 4332, CS Dept., Univ. Maryland (2002); Submitted to Theory and Practice of Logic Programming
Dix, J., Munoz-Avila, H., Nau, D.S., Zhang, L.: Theoretical and empirical aspects of a planner in a multi-agent environment. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 173–185. Springer, Heidelberg (2002)
T. Eiter, W. Faber, N. Leone, G. Pfeifer, and A. Polleres. A logic programming approach to knowledge-state planning, II: the DLV Ksystem. Artificial Intelligence, 144(1-2):157–211, 2003.
Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.: A logic programming approach to knowledge-state planning: Semantics and complexity. ACM Transactions on Computational Logic (2003) (to appear)
Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.: Answer Set Planning under Action Costs. Journal of Artificial Intelligence Research (2003) (to appear)
Erol, K., Hendler, J.A., Nau, D.S.: UMCP:Asound and complete procedure for hierarchical task-network planning. In: Hammond, K.J. (ed.) Proc. 2nd Int’l Conference on Artificial Intelligence Planning Systems (AIPS 1994), pp. 249–254. AAAI Press, Menlo Park (1994)
Fikes, R.E., Nilsson, N.J.: STRIPS:A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2(3-4), 189–208 (1971)
Ghallab, M., Howe, A., Knoblock, C., McDermott, D., Ram, A., Veloso, M., Weld, D., Wilkins, D.: PDDL — The Planning Domain Definition Language. Technical report, Yale Center for Computational Vision and Control (October 1998), Available at http://www.cs.yale.edu/pub/mcdermott/software/pddl.tar.gz
Giacomo, G.D., Reiter, R., Soutchanski, M.: Execution Monitoring of High-Level Robot Programs. In: Principles of Knowledge Representation and Reasoning, pp. 453–465 (1998)
Goldman, R., Boddy, M.: Expressive planning and explicit knowledge. In: Proc. AIPS 1996, pp. 110–117. AAAI Press, Menlo Park (1996)
Intille, S.S., Bobick, A.F.: A framework for recognizing multi-agent action from visual evidence. In: Proc. AAAI 1999, pp. 518–525 (1999)
Kaminka, G., Pynadath, D.V., Tambe, M.: Monitoring deployed agent teams. In: Proc. Fifth International Conference on Autonomous Agents (Agents 2001), pp. 308–315. ACM, New York (2001)
Kaminka, G.A., Tambe, M.: Robust agent teams via socially-attentive monitoring. Journal of Artificial Intelligence Research 12, 105–147 (2000)
Levesque, H.J., Reiter, R., Lespérance, Y., Lin, F., Scherl, R.B.: GOLOG: A Logic Programming Language for Dynamic Domains. Journal of Logic Programming 31(1-3), 59–83 (1997)
Luck, M., McBurney, P., Preist, C., Guilfoyle, C.: The Agentlink agent technology roadmap draft (2002), Available at http://www.agentlink.org/roadmap/index.html
Subrahmanian, V.S., Bonatti, P., Dix, J., Eiter, T., Kraus, S., Ozcan, F., Ross, R.: Heterogeneous Agent Systems: Theory and Implementation. MIT Press, Cambridge (2000)
Tambe, M.: Tracking dynamic team activity. In: Proc. AAAI 1996, pp. 80–87 (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dix, J., Eiter, T., Fink, M., Polleres, A., Zhang, Y. (2003). Monitoring Agents Using Declarative Planning. In: Günter, A., Kruse, R., Neumann, B. (eds) KI 2003: Advances in Artificial Intelligence. KI 2003. Lecture Notes in Computer Science(), vol 2821. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39451-8_47
Download citation
DOI: https://doi.org/10.1007/978-3-540-39451-8_47
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20059-8
Online ISBN: 978-3-540-39451-8
eBook Packages: Springer Book Archive