Simulation and Analysis of a Shared Extended Mind

Some types of animals exploit patterns created in the environment as external mental states, thus obtaining an extension of their mind. In the case of social animals, the creation and exploitation of such patterns can be shared, which supports a form of shared extended mind or collective intelligence. This article explores this shared extended mind principle for social animals in more detail. The focus is on formal analysis and formalization of the dynamic properties of the processes involved, both at the local level (the basic mechanisms) and the global level (the emerging properties of the whole), and their relationships. A case study in social ant behavior in which the shared extended mind plays an important role is used as an illustration. For this case, simulations are described based on specifications of local properties, and global properties are specified and verified.

[1]  Dov M. Gabbay,et al.  The imperative future: principles of executable temporal logic , 1996 .

[2]  D. Dennett.  Kinds of Minds: Towards an Understanding of Consciousness , 1996 .

[3]  A. Clark.  Being There: Putting Brain, Body, and World Together Again , 1996 .

[4]  Marco Dorigo,et al.  Swarm intelligence: from natural to artificial systems , 1999 .

[5]  Jan Treur,et al.  Reductionist and anti-reductionist perspectives on dynamics , 2002 .

[6]  Kenneth D. Forbus.  Qualitative Process Theory , 1984, Artif. Intell..

[7]  T. Gelder,et al.  Mind as Motion: Explorations in the Dynamics of Cognition , 1995 .

[8]  Tibor Bosse,et al.  LEADSTO: A Language and Environment for Analysis of Dynamics by SimulaTiOn , 2005, IEA/AIE.

[9]  A. Clark,et al.  The Extended Mind , 1998, Analysis.

[10]  Tibor Bosse,et al.  Formal Interpretation and Analysis of Collective Intelligence as Individual Intelligence , 2005, MABS.

[11]  Jean-Louis Deneubourg,et al.  Random behaviour, amplification processes and number of participants: how they contribute to the foraging properties of ants , 1986 .

[12]  Andy Clark,et al.  Reasons, robots and the extended mind , 2001 .

[13]  Paul P. Maglio,et al.  On Distinguishing Epistemic from Pragmatic Action , 1994, Cogn. Sci..

[14]  Averill M. Law,et al.  Simulation Modeling and Analysis , 1982 .

[15]  Jaegwon Kim,et al.  Philosophy of Mind , 1996 .

[16]  Catholijn M. Jonker,et al.  Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic , 1998, J. Log. Lang. Inf..

[17]  Catholijn M. Jonker,et al.  Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness , 2002, Int. J. Cooperative Inf. Syst..

[18]  Catholijn M. Jonker,et al.  Reductionist and antireductionist perspectives on dynamics , 2002 .

[19]  Tibor Bosse,et al.  SIMULATION AND ANALYSIS OF CONTROLLED MULTI-REPRESENTATIONAL REASONING PROCESSES , 2007, Appl. Artif. Intell..