Affiliations: Institut für Informatik, Technische
Universität Clausthal, Julius-Albert-Strasse 4, D-38678 Clausthal,
Germany | Institut für Informationssysteme, TU Wien, A-1040
Wien, Austria | Department of Computer Science, University of
Manchester, M13 9PL, UK
Abstract: 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.
Keywords: knowledge representation, multi agent systems, planning
