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.
|Title of host publication||Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, KAW'95|
|Number of pages||20|
|Publication status||Published - 1995|