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.
|Title of host publication||KI 2003: Advances in Artificial Intelligence|
|Subtitle of host publication||26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003. Proceedings|
|Place of Publication||Berlin|
|Pages||646 – 660|
|Publication status||Published - 2003|
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