|
| << previous | next >> |
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
Details for article 9 of 13 found articles
| Title: |
Monitoring Agents using Declarative Planning |
| Author: |
Patrick Doherty Andrzej Skowron Witold Łukaszewicz Andrzej Szałas |
| Appeared in: |
Fundamenta informaticae |
| Paging: | Volume 57 (2004) nr. 2-4 pages 345-370 |
| Year: |
2004-11-02 |
| Contents: |
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. |
| Publisher: |
IOS Press |
| Source file: |
Elektronische Wetenschappelijke Tijdschriften |
Details for article 9 of 13 found articles
| << previous | next >> |