Animal societies are an excellent source of ideas for studying distributed and emergent computation. These complex systems can be simulated in a number of ways and there is a range of models upon which such simulations can be based. These include both stochastic systems in which large numbers of very simple agents interact and social behaviours emerge and also logic-based systems in which the numbers of interacting units are reduced but the functionality of each individual is increased. This chapter presents an approach for investigating logic-based systems based on the formal specification of communicating agents in a distributed system. The foundations for this model specification methodology are presented and applied to the specific example of honeybee colony defence. The chapter concludes with a discussion of how and where the approach can be applied.
Staniford, G., & Paton, R. (1995). Simulating animal societies with adaptive communicating agents. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 890, pp. 145–159). Springer Verlag. https://doi.org/10.1007/3-540-58855-8_9