Advertisement

The First Contest on Multi-agent Systems Based on Computational Logic

  • Mehdi Dastani
  • Jürgen Dix
  • Peter Novak
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3900)

Abstract

This is a short report about the first contest of Multi-Agent Systems (MASs) that are based on computational logic. The CLIMA workshop series (which started in 1999) is a forum to discuss techniques, based on computational logic, for representing, programming, and reasoning about Multi-Agent Systems in a formal way. Now in its seventh year, it was felt that organising a competition for evaluating MASs based on computational logic was appropriate. The authors took on this task, which turned out to be quite difficult under the given time frame. We believe that this competition is a first (modest) step towards (1) collecting important benchmarks, (2) identifying advantages/shortcomings and, finally, (3) advertising the use of Computational Logic to the broader MAS audience, and foster integration of Computational Logic into existing agent-oriented software engineering frameworks.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
  2. 2.
  3. 3.
  4. 4.
  5. 5.
  6. 6.
  7. 7.
  8. 8.
  9. 9.
    Bordini, R., Dastani, M., Dix, J., Fallah-Seghrouchni, A.E.: Multi-Agent Programming: Languages, Platforms, and Applications. MASA, vol. 15. Springer, Berlin (2005)zbMATHGoogle Scholar
  10. 10.
    Bordini, R., Dastani, M., Dix, J., Fallah-Seghrouchni, A.E.: Programming Multi- Agent Systems. LNCS (LNAI), vol. 3346. Springer, Heidelberg (2005)Google Scholar
  11. 11.
    Brooks, R.: How to build complete creatures rather than isolated cognitive simulators. In: Architectures for Intelligence, pp. 225–239. Lawrence Erlbaum Assosiates, Hillsdale (1991)Google Scholar
  12. 12.
    Cares, C., Franch, X., Mayol, E.: Extending tropos for a prolog implementation: A case study using the food collecting agent problem. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS, vol. 3900, pp. 396–405. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  13. 13.
    Castro, J., Kolp, M., Mylopoulos, J.: Towards requirements-driven information systems engineering: the TROPOS project. Information Systems 27, 365–389 (2002)CrossRefzbMATHGoogle Scholar
  14. 14.
    Coffey, S., Gaertner, D.: Implementing pheromone-based, negotiating forager agents. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol. 3900, pp. 385–395. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  15. 15.
    Dastani, M., Dix, J., Fallah-Seghrouchni, A.E.: Programming Multi-Agent Systems. LNCS (LNAI), vol. 3067. Springer, Heidelberg (2004)Google Scholar
  16. 16.
    Logie, R., Hall, J.G., Waugh, K.G.: Reactive food gathering. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS, vol. 3900, pp. 406–413. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  17. 17.
    Gonçalves, E.M.N., Bittencourt, G.: Strategies for multi-agent coordination in a grid world using petri nets. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS, vol. 3900, pp. 414–419. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  18. 18.
    Padgham, L., Winikoff, M.: Prometheus: A methodology for developing intelligent agents. In: Giunchiglia, F., Odell, J.J., Weiss, G. (eds.) AOSE 2002. LNCS, vol. 2585, pp. 174–185. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  19. 19.
    Zambonelli, F., Jennings, N.R., Wooldridge, M.: Developing multiagent systems: The Gaia methodology. ACM Transactions on Software Engineering and Methodology (TOSEM) 12(3), 317–370 (2003)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Mehdi Dastani
    • 1
  • Jürgen Dix
    • 2
  • Peter Novak
    • 2
  1. 1.Utrecht UniversityUtrechtThe Netherlands
  2. 2.Clausthal University of TechnologyClausthal-ZellerfeldGermany

Personalised recommendations