Ants and agents: A process algebra approach to modelling ant colony behaviour

Process algebras are widely used in the analysis of distributed computer systems. They allow formal reasoning about how the various components of a system contribute to its overall behaviour. In this paper we show how process algebras can be usefully applied to understanding social insect biology, in particular to studying the relationship between algorithmic behaviour of individual insects and the dynamical behaviour of their colony. We argue that process algebras provide a useful formalism for understanding this relationship, since they combine computer simulation, Markov chain analysis and mean-field methods of analysis. Indeed, process algebras can provide a framework for relating these three methods of analysis to each other and to experiments. We illustrate our approach with a series of graded examples of modelling activity in ant colonies.

[1]  G. Grimmett,et al.  Probability and random processes , 2002 .

[2]  Chris Tofts.  Algorithms for task allocation in ants. (A study of temporal polyethism: Theory) , 1993 .

[3]  N. R. Franks,et al.  Field survey of a monogynous leptothoracine ant (Hymenoptera, Formicidae) evidence of seasonal polydomy ? , 1997, Insectes Sociaux.

[4]  Robert C. Hilborn,et al.  Chaos And Nonlinear Dynamics: An Introduction for Scientists and Engineers , 1994 .

[5]  Ricard V. Solé,et al.  Oscillations and Chaos in Ant Societies , 1993 .

[6]  Guy B. Blanchard.  Ants through the looking-glass , 1996 .

[7]  J. Deneubourg,et al.  Emerging patterns and food recruitment in ants: an analytical study , 1999, Journal of theoretical biology.

[8]  G B Blanchard,et al.  Gaseous templates in ant nests. , 2000, Journal of theoretical biology.

[9]  N. Rashevsky,et al.  Mathematical biology , 1961, Connecticut medicine.

[10]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[11]  E. Bonabeau,et al.  The synchronization of recruitment-based activities in ants. , 1998, Bio Systems.

[12]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[13]  B. Cole.  Short-Term Activity Cycles in Ants: Generation of Periodicity by Worker Interaction , 1991, The American Naturalist.

[14]  B. Cole.  Is animal behaviour chaotic? Evidence from the activity of ants , 1991, Proceedings of the Royal Society of London. Series B: Biological Sciences.

[15]  Iain D. Couzin,et al.  Coupled oscillators and activity waves in ant colonies , 1999, Proceedings of the Royal Society of London. Series B: Biological Sciences.

[16]  E. Bonabeau,et al.  Self-organization in social insects. , 1997, Trends in ecology & evolution.

[17]  B. Cole,et al.  Mobile Cellular Automata Models of Ant Behavior: Movement Activity of Leptothorax allardycei , 1996, The American Naturalist.

[18]  D S Broomhead,et al.  Shape and dynamics of thermoregulating honey bee clusters. , 2000, Journal of theoretical biology.

[19]  N. R. Franks,et al.  Division of labour and seasonality in the ant Leptothorax albipennis: worker corpulence and its influence on behaviour , 2000, Animal Behaviour.

[20]  Chris Tofts,et al.  The autosynchronization of the ant Leptothorax acervorum (Fabricius) : theory, testability and experiment , 1992 .

[21]  D S Broomhead,et al.  Relating individual behaviour to population dynamics , 2001, Proceedings of the Royal Society of London. Series B: Biological Sciences.

[22]  Nigel R. Franks,et al.  Synchronization of the behaviour within nests of the ant Leptothorax acervorum (fabricius)—I. Discovering the phenomenon and its relation to the level of starvation , 1990 .

[23]  Nigel R. Franks,et al.  Synchronization of the behaviour within nests of the ant (fabricius)—II. Modelling the phenomenon and predictions from the model , 1990 .

[24]  D. Gordon,et al.  What is the function of encounter patterns in ant colonies? , 1993, Animal Behaviour.

[25]  Nigel R. Franks,et al.  Synchronization of the behaviour within nests of the antLeptothorax acervorum (Fabricius)—II. Modelling the phenomenon and predictions from the model , 1990 .

[26]  Nigel R. Franks,et al.  Task allocation in ant colonies within variable environments (a study of temporal polyethism: Experimental) , 1993 .

[27]  L. Keller.  Social evolution in ants , 1996 .

[28]  Melanie J. Hatcher.  Activity patterns and organization within ant nests , 1992 .

[29]  Guy Sella,et al.  The Computationally Complete Ant Colony: Global Coordination in a System with No Hierarchy , 1995, ECAL.