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|