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 paper explores this shared extended mind principle for social animals in more detail. Its main goal is to analyse and formalise 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 behaviour in which shared extended mind plays an important role is used as illustration. For this case simulations are described based on specifications of local properties, and global properties are specified and verified.

[1]  Tibor Bosse,et al.  Modelling Shared Extended Mind and Collective Representational Content , 2004, SGAI Conf..

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

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

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

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

[6]  Manuel López-Ibáñez,et al.  Ant colony optimization , 2010, GECCO '10.

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

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

[9]  Barbara Webb,et al.  Swarm Intelligence: From Natural to Artificial Systems , 2002, Connect. Sci..

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

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

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

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

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

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

[16]  Catholijn M. Jonker,et al.  A temporal modelling environment for internally grounded beliefs, desires and intentions , 2003, Cognitive Systems Research.

[17]  Catholijn M. Jonker,et al.  Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic , 1998, ATAL.

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

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

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