Monitoring agents using declarative planning

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

Research output: Contribution to journalArticleAcademicpeer-review

4 Citations (Scopus)


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.
Original languageEnglish
Pages (from-to)345-370
JournalFundamenta Informaticae
Issue number2-4
Publication statusPublished - 2003


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

Cite this