Abstract
This paper addresses the issue of the use of formal modelling languages in multi-agent domains. As a main question we evaluate in what respect the formal modelling language DESIRE fulfills the requirements imposed by these domains. To get an answer we studied two examples of multi-agent tasks and developed formal specifications in DESIRE of large parts of these examples. Our results are encouraging: it is quite feasible to extend the applicability of the formal modelling language DESIRE to multi-agent domains. Especially for the case of more complex agents the possibility to use such a compositional formal modelling language may be valuable: not only to model the agents themselves, but also the interactions between agents in a conceptual and formal manner.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, KAW'95 |
| Publisher | RDG Publications |
| Pages | 22/1-22/20 |
| Number of pages | 20 |
| Publication status | Published - 1995 |
