Abstract
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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Collins R.: Artificial Evolution and the Paradox of Sex. in Paton R.C. (ed) Computing with Biological Metaphors London, Chapman and Hall. (in press)
Forrest, S. (ed): Emergent Computation. Cambridge, MA MIT Press. (1991)
Free J.B.: The Social Organisation of Honeybees London, Arnold. (1977)
Frisch K. von: Bees: Their Vision Chemical Senses and Language. New York, Cornell University Press and London, Jonathon Cape. (1950)
Genesereth M. R. Nilsson N. J.: Logical Foundations of Artificial Intelligence. Morgan Kaufman Inc., Los Altos California. (1987)
Hansson B.: An Analysis of Some Deontic Logics. in R. Hilpinen (Ed) Deontic Logic: Introductory and Systematic Readings. Holland, D. Reidel (1971) 121–147.
Herken, R. (ed): The Universal Turing Machine A Half-Century Survey Oxford, University Press. (1988)
Hinde R. A.: Individuals Relationships and Culture: Links between Ethology the Social Sciences. Cambridge, University Press. (1987)
Huberman, B.A.: The Ecology of Computation. in Paton ed Computing with Biological Metaphors. London, Chapman and Hall. (1994)
Kelly, K.: Out of Control The New Biology of Machines. London, Fourth Estate (1994)
Kelsen H.: General Theory of Norms. Oxford, Clarendon Press. (1991)
Levins R.: Complex Systems. in Waddington C.H. (ed) Towards a Theoretical Biology. Edinburgh: University Press. (1970)
Meyer, J-A and Guillot, A.: From SAB90 to SAB94: Four Years of Animat Research. in Cliff, Husbands, Meyer and Wilson (eds) From Animals to Animats 3. Cambridge, MA MIT Press. (in press)
Meyer, J.-J.CH., and Wieringa, R.J.: Deontic Logic: A Concise Overview. in Meyer, J.-J.CH., and Wieringa, R.J. (Eds) Deontic Logic in Computer Science: Normative System Specification. John Wiley and Sons Ltd., (1993)
Milner R.: A Calculus of Communicating Systems. Lecture Notes in Computer Science. Springer-Verlag 92. (1980)
Milner R.: Communication and Concurrency. Prentice Hall International (UK) Ltd. (1989)
Paton R.C.: Students Deductive Reasoning about State Changes in a Model Biosystem. Journal of Biological Education. 252 129–135. (1991)
Paton R.C.: Towards a Metaphorical Biology. Biology and Philosophy 7 279–294. (1992)
Paton R.C.: On an Apparently Simple Modelling Problem in Biology. to appear in International Journal of Science Education. (forthcoming)
Paton, R. C. (ed): Computing with Biological Metaphors. London, Chapman and Hall. (1994)
Paton R.C. Nwana H.S Shave M.J.R. Bench-Capon T.J.M. and Hughes S.: Transfer of Natural Metaphors to Parallel Problem Solving Applications. in Schwefel H-P. and Maenner R. (eds) Parallel Problem Solving from Nature Lecture Notes in Computer Science Springer: Berlin. (1991)
Snyers D., Thayse A.: Languages and Logics. in A. Thayse (Ed) From Modal Logic to Deductive Databases. Wiley Chichester England 1–54. (1989)
Staniford G.: Multi Agent Systems in Support of Cooperative Authorship. Unpublished PhD Thesis, University of Liverpool United Kingdom. (1993)
Staniford G. and Paton R.C.: Adaptive Simulation with Communicating Agents. Unpublished Technical Report No. 93 12 1. The Liverpool Biocomputation Group. Dept. Computer Science University of Liverpool. (1993)
Thomas R. and Thieffry D. Developing a Logical Tool to Analyse Biological Regulatory Networks in Paton R.C. (ed) Computing with Biological Metaphors London: Chapman and Hall. (in press)
Thompson G., Frances J., Levacic R. and Mitchell J. Markets Hierarchies and Networks. Sage Publications Ltd. in assoc. with the Open University London. (1991)
Wieringa, R.J. and Meyer, J.-J.CH.: Actors, Actions, and initiatives in normative system specification. Technical Report IR-257, Faculty of Mathematics and Computer Science, Vjrie Universitat, Amsterdam. (1991)
Wieringa, R.J. and Meyer, J.-J.CH.: Applications of Deontic Logic in Computer Science: A Concise Overview. in Meyer, J.-J.CH., and Wieringa,R.J. (Eds) Deontic Logic in Computer Science: Normative System Specification. John Wiley and Sons Ltd., (1993)
Wieringa, R.J., Meyer, J.-J.CH., and H. Wegand: Specifying Dynamic and Deontic Integrity Constraints. Data and Knowledge Engineering, (4) pp 157–189, (1989)
Wright G. H. von: Deontic Logic Mind 60 1–15. (1951)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Staniford, G., Paton, R. (1995). Simulating animal societies with adaptive communicating agents. In: Wooldridge, M.J., Jennings, N.R. (eds) Intelligent Agents. ATAL 1994. Lecture Notes in Computer Science, vol 890. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58855-8_9
Download citation
DOI: https://doi.org/10.1007/3-540-58855-8_9
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58855-9
Online ISBN: 978-3-540-49129-3
eBook Packages: Springer Book Archive