Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Monitoring Agents using Declarative Planning

Dix J., Eiter T., Fink M., Polleres A., Zhang Y.

Fundamenta Informaticae

2003

Vol. 57, nr 2-4

345--370

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 MASbehaviour allows to detect possible collaboration failures. The approach can be fruitfully applied to aid in offline testing of a MASimplementation, as well as in online monitoring.