Modelling Reasoning and Acting Agents

B.M. Dunin-Keplicz, J. Treur

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review


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 languageEnglish
Title of host publicationProceedings of the 9th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, KAW'95
PublisherRDG Publications
Number of pages20
Publication statusPublished - 1995


Dive into the research topics of 'Modelling Reasoning and Acting Agents'. Together they form a unique fingerprint.

Cite this