Compositional Modelling of Reflective Agents.

F.M. Brazier, J. Treur

Research output: Contribution to JournalArticleAcademicpeer-review


In this paper, a compositional model for reflective agents is proposed within which reasoning about observation, assumption making and communication, an agent's own information state and reasoning processes, other agents' information states and reasoning processes, and combinations of these types of reflective reasoning are explicitly modelled. The types of knowledge needed to detect, analyze and resolve conflicts that arise by meta-reasoning within the agent are discussed. The knowledge and interaction between agents required to model the wise men's puzzle is used to illustrate the approach. The model has been validated using think-aloud protocols. An implementation has been made including a speech synthesis facility.
Original languageEnglish
Pages (from-to)407-431
JournalInternational Journal of Human-computer Studies
Publication statusPublished - 1999


Dive into the research topics of 'Compositional Modelling of Reflective Agents.'. Together they form a unique fingerprint.

Cite this