Wyniki wyszukiwania - Biblioteka Nauki

Ten serwis zostanie wyłączony 2025-02-11.

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

1 Fundamenta Informaticae

1 2003

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Monitoring Agents using Declarative Planning

100%

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

Fundamenta Informaticae

2003

tom 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.