|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 9 van 13 gevonden artikelen
| Titel: |
Monitoring Agents using Declarative Planning |
| Auteur: |
Patrick Doherty Andrzej Skowron Witold Łukaszewicz Andrzej Szałas |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 57 (2004) nr. 2-4 pagina's 345-370 |
| Jaar: |
2004-11-02 |
| Inhoud: |
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. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 9 van 13 gevonden artikelen
| << vorige | volgende >> |