Monitoring agents using declarative planning

Juergen Dix, Thomas Eiter, Michael Fink, Axel Polleres, Y. Zhang

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

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.
Original languageEnglish
Title of host publicationKI 2003: Advances in Artificial Intelligence
Subtitle of host publication26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003. Proceedings
Place of PublicationBerlin
PublisherSpringer
Pages646 – 660
ISBN (Print)978-3-540-20059-8
DOIs
Publication statusPublished - 2003

Publication series

NameLNCS
Volume2821

Fingerprint Dive into the research topics of 'Monitoring agents using declarative planning'. Together they form a unique fingerprint.

  • Cite this

    Dix, J., Eiter, T., Fink, M., Polleres, A., & Zhang, Y. (2003). Monitoring agents using declarative planning. In KI 2003: Advances in Artificial Intelligence : 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003. Proceedings (pp. 646 – 660). (LNCS; Vol. 2821). Berlin: Springer. https://doi.org/10.1007/978-3-540-39451-8_47