Monitoring agents using declarative planning

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

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

4 Citations (Scopus)


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
Pages646 – 660
ISBN (Print)978-3-540-20059-8
Publication statusPublished - 2003

Publication series



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

Cite this