Compositional modelling of reflective agents

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, analyse 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.

[1]  Robert G. Muncaster,et al.  Prolegomena to the Theory , 1988 .

[2]  Olivier Corby,et al.  Agent-Based Knowledge Acquisition , 1994, EKAW.

[3]  Fausto Giunchiglia,et al.  Multi-context Systems as a Specification Framework for Complex . . . , 1992 .

[4]  Jan Treur,et al.  Compositional Formal Specification of Multi-Agent Systems , 1994, ECAI Workshop on Agent Theories, Architectures, and Languages.

[5]  Nicholas R. Jennings,et al.  Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.

[6]  Jan Treur,et al.  User Centered Knowledge-Based System Design: a Formal Modelling Approach , 1994, EKAW.

[7]  Jan Treur,et al.  A Formal Model for the Dynamics of Compositional Reasoning Systems , 1994, ECAI.

[8]  R. Skemp.  The psychology of learning mathematics , 1979 .

[9]  Gerd Wagner,et al.  A Logical and Operational Model of Scalable Knowledge- and Perception-Based Agents , 1996, MAAMAW.

[10]  Jan Treur,et al.  Temporal Theories of Reasoning , 1994, JELIA.

[11]  Catholijn M. Jonker,et al.  Formalization of a Cooperation Model Based on Joint Intentions , 1996, ATAL.

[12]  Jan Treur,et al.  Modelling Internal Dynamic Behaviour of BDI Agents , 1997, ModelAge Workshop.

[13]  William J. Clancey,et al.  Representing Control Knowledge as Abstract Task and Metarules. ONR Technical Report #15. , 1985 .

[14]  R. Skemp,et al.  Intelligence, Learning and Action , 1980 .

[15]  Jan Treur.  Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning , 1994 .

[16]  Maria Simi,et al.  Proofs in Context , 1994, KR.

[17]  Jan Treur,et al.  Formal Specification of Compositional Architectures , 1992, ECAI.

[18]  Richard W. Weyhrauch,et al.  Prolegomena to a Theory of Mechanized Formal Reasoning , 1980, Artif. Intell..

[19]  Jan Treur,et al.  Formal Semantics of Temporal Epistemic Reflection , 1994, META.

[20]  Jan Treur,et al.  Modelling Reasoning and Acting Agents , 1995 .

[21]  Nicholas R. Jennings,et al.  Formal Specification of Multi-Agent Systems: A Real-World Case , 1995, ICMAS.

[22]  Jan Treur,et al.  Design of a Modelling Framework for Multi-Agent Systems* , 1996 .

[23]  Nicholas R. Jennings,et al.  DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework , 1997, Int. J. Cooperative Inf. Syst..

[24]  Michael Wooldridge,et al.  Specifying and Verifying Distributed Intelligence Systems , 1993, EPIA.

[25]  Luciano Serafini,et al.  Multiagent Reasoning with Belief Contexts II: Elaboration Tolerance , 1995, ICMAS.

[26]  Pattie Maes,et al.  Meta-Level Architectures and Reflection , 1988 .

[27]  Fausto Giunchiglia,et al.  Multi-content systems as a specification framework for complex reasoning systems , 1993 .