An Agent Based Approach of Collective Foraging

  • Marian Gheorghe
  • Carlos Martín-Vide
  • Victor Mitrana
  • Mario J. Pérez Jiménez
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2686)


In this paper the behaviour of a bee colony is modeled as a society of communicating agents acting in parallel and synchronizing their behaviour. Two computational models for defining the agents behaviour are introduced and compared and tools developed for these models are briefly illustrated.


Model Check Agent Model Source Position Mathematical Linguistics Input Symbol 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    J. Aguado, T. Bălănescu, T. Cowling, M. Gheorghe, M. Holcombe, F. Ipate, P systems with replicated rewriting and stream X-machines (Eilenberg machines), Fundamenta Informaticae 49(2001), 1–17.Google Scholar
  2. 2.
    A. Attoui, A. Hasbani, Reactive systems developing by formal specification transformations. In Proceedings of the 8th International Workshop on Database and Expert Systems Applications (DEXA 97), 1997, 339–344.Google Scholar
  3. 3.
    D. Balbotín Noval, M. J. Pérez Jiménez, F. Sancho Caparrini, A MzSceme Implementation of Transition P Systems. In Membrane Computing (Gh. Păun, G. Rozenberg, A. Salomaa, C. Zandron, eds.), LNCS 2597, Springer-Verlag, 2003, 58–73.CrossRefGoogle Scholar
  4. 4.
    T. Bălănescu, M. Gheorghe, M. Holcombe, F. Ipate, Eilenberg P systems. In Membrane computing (Gh. Păun, G. Rozenberg, A. Salomaa, C. Zandron, eds.), LNCS 2597, Springer-Verlag, 2003, 43–57.CrossRefGoogle Scholar
  5. 5.
    M. Benerecetti, F. Giunchiglia, L. Serafini, A model checking algorithm for multiagent systems. In Intelligent Agents V (J. P. Muller, M. P. Singh, A. S. Rao, eds.), LNAI 1555, Springer-Verlag, 1999, 163–176.Google Scholar
  6. 6.
    F. Brazier, B. Dunin-Keplicz, N. Jennings, J. Treur, Formal specification of multiagent systems: a real-world case. In Proceedings of International Conference on Multi-Agent Systems (ICMAS’95), MIT Press, 1995, 25–32.Google Scholar
  7. 7.
    L. Clark, R. Paton, Towards computational models of chemotaxis in Escherichia coli. In Information Processing in Cells and Tissues (M. Holcombe, R. Paton, eds.), Plenum Press, 1998, 39–46.Google Scholar
  8. 8.
    M. Gheorghe, M. Holcombe, P. Kefals, Computational models of collective foraging, BioSystems, 61(2001), 133–141.CrossRefGoogle Scholar
  9. 9.
    M. Holcombe, F. Ipate, Correct systems: Building a Business Process Solution, Springer Verlag, London, 1998.zbMATHGoogle Scholar
  10. 10.
    M. D’Inverno, D. Kinny, M. Luck, M. Wooldridge, A formal speci.cation of dMARS. In Intelligent Agents IV (M.P. Singh, A. Rao, M.J. Wooldridge, eds.), LNAI 1365, Springer-Verlag, 1998, 155–176.Google Scholar
  11. 11.
    N. R. Jennings, On agent-based software engineering, Artificial Intelligence, 117(2000), 277–296.zbMATHCrossRefGoogle Scholar
  12. 12.
    E. Kapeti, P. Kefalas, A design language and tool for X-machines specification. In Advances in Informatics (D. I. Fotiadis, S. D. Nikolopoulos, eds.), World Scientific Publishing Company, 2001, 134–145.Google Scholar
  13. 13.
    Gh. Păun, Membrane Computing. An Introduction, Springer, Berlin, 2002.zbMATHGoogle Scholar
  14. 14.
    A. S. Rao, M. P. George., A model-theoretic approach to the veri.cation of situated reasoning systems. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI’93) (R. Bajcsy, ed.), 1993, 318–324.Google Scholar
  15. 15.
    A. S. Rao, M. P. George., BDI Agents: from theory to practice. In Proceedings of the First International Conference on Multi-Agent Systems (ICMAS95), 1995, 312–319.Google Scholar
  16. 16.
    S. R. Rosenschein, L. P. Kaebling, A situated view of representation and control, Artificial Intelligence, 73(1995), 149–173.CrossRefGoogle Scholar
  17. 17.
    J. Odell, H. V. D. Parunak, B. Bauer, Extending UML for agents. In Proceedings of the Agent-Oriented Information Systems Workshop at the 17th National conference on Artificial Intelligence, 2000.Google Scholar
  18. 18.
    H. de Vries, J. C. Biesmeijer, Modelling collective foraging by means of individual behaviour rules in honey-bees, Behavioral Ecology and Sociobiology, 44(1998), 109–124.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Marian Gheorghe
    • 1
  • Carlos Martín-Vide
    • 2
  • Victor Mitrana
    • 3
  • Mario J. Pérez Jiménez
    • 4
  1. 1.Department of Computer ScienceUniversity of SheffeldUK
  2. 2.Research Group in Mathematical LinguisticsRovira i Virgili UniversitySpain
  3. 3.Faculty of Mathematics and Computer ScienceUniversity of BucharestBucharestRomania
  4. 4.Dpto. Ciencias de la Computación e Inteligencia ArtificialUniversity of SevillaSpain

Personalised recommendations