Monitoring agents using declarative planning

In this paper we consider the following problem: Given a particular description of a multi-agent system (MAS), is it implemented properly? We assume that we are given (possibly incomplete) information about the system and aim at refuting its proper implementation. In our approach, agent collaboration is described as an action theory. Action sequences reaching the collaboration goal are computed by a planner, whose compliance with the actual MAS behaviour allows to detect possible collaboration failures. The approach can be fruitfully applied to aid in offline testing of a MAS implementation, as well as in online monitoring.