A formal approach to the design of (meta-level) compositional architectures for multi-agents systems is presented. A structure for reflective agents is proposed within which reasoning about observation 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. To illustrate the approach the wise men's puzzle has been modelled using different types of reflection.
|Title of host publication||Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW'96|
|Publisher||SRDG Publications, Department of Computer Science, University of Calgary|
|Number of pages||12|
|Publication status||Published - 1996|