Skip to main content
SpringerLink
Log in
Book cover

International Conference on Computational Collective Intelligence

ICCCI 2010: Computational Collective Intelligence. Technologies and Applications pp 306–319Cite as

A Three-Dimensional Abstraction Framework to Compare Multi-Agent System Models

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 6421))

Abstract

Models of agents or multiagent systems in a certain application area can be made at different levels of abstraction. The aim of this paper is to clarify different dimensions of abstraction. The three dimensions of considered are: the process abstraction dimension, the temporal dimension, and the agent cluster dimension. Thus a three-dimensional framework is obtained in which different types of multi-agent system models can be classified. For a number of multiagent system models in different application areas from the literature it is discussed how they fit in the framework.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Anderson, J.R., Lebiere, C.: The atomic components of thought. Lawrence Erlbaum Associates, Mahwah (1998)

    Google Scholar 

  2. Anderson, R.A., May, R.M.: Infectious Diseases of Humans: Dynamics and Control. Oxford University Press, Oxford (1992)

    Google Scholar 

  3. Ashby, W.R.: Design for a Brain. Revised (edn.) Chapman & Hall, London (1960)

    Book  MATH  Google Scholar 

  4. Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)

    MATH  Google Scholar 

  5. Barringer, H., Fisher, M., Gabbay, D., Owens, R., Reynolds, M.: The Imperative Future: Principles of Executable Temporal Logic. John Wiley & Sons, Chichester (1996)

    Google Scholar 

  6. Behrens, T.M., Dix, J.: Model checking multi-agent systems with logic based Petri nets. Ann. Math. Artif. Intell. 51, 81–121 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  7. Benerecetti, M., Giunchiglia, F., Serafini, L.: Model Checking Multiagent Systems. Journal of Logic and Computation 8(3), 401–423 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  8. Bickhard, M.H.: Representational Content in Humans and Machines. J. of Exp. and Theor. Artificial Intelligence 5, 285–333 (1993)

    Article  Google Scholar 

  9. Boella, G., van der Torre, L.: Organisations as Socially Constructed Agents in the Agent Oriented Paradigm. In: Gleizes, M.-P., Omicini, A., Zambonelli, F. (eds.) ESAW 2004. LNCS (LNAI), vol. 3451, pp. 1–13. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  10. Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Verifying multi-agent programs by model checking. Auton Agent Multi-Agent Sys. 12, 239–256 (2006)

    Article  Google Scholar 

  11. Bosse, T., Gerritsen, C., Hoogendoorn, M., Jaffry, S.W., Treur, J.: Agent-Based versus Population-Based Simulation of Displacement of Crime: A Comparative Study. Web Intelligence Agent Systems (to appear 2010)

    Google Scholar 

  12. Bosse, T., Jonker, C.M., van der Meij, L., Sharpanskykh, A., Treur, J.: Specification and Verification of Dynamics in Agent Models. Int. J. of Coop. Inf. Systems 18, 167–193 (2009)

    Article  Google Scholar 

  13. Bosse, T., Jonker, C.M., van der Meij, L., Treur, J.: A Language and Environment for Analysis of Dynamics by Simulation. Intern. J. of AI Tools 16, 435–464 (2007)

    Article  Google Scholar 

  14. Bosse, T., Jonker, C.M., Schut, M.C., Treur, J.: Simulation and Analysis of Shared Extended Mind. Simulation 81, 719–732 (2005)

    Article  Google Scholar 

  15. Bosse, T., Jonker, C.M., Schut, M.C., Treur, J.: Collective Representational Content for Shared Extended Mind. Cognitive Systems Research 7, 151–174 (2006)

    Article  Google Scholar 

  16. Bosse, T., Jonker, C.M., Treur, J.: Representation for Reciprocal Agent-Environment Interaction. Cognitive Systems Research 10, 366–376 (2009)

    Article  Google Scholar 

  17. Bosse, T., Schut, M.C., Treur, J., Wendt, D.: Trust-Based Inter-Temporal Decision Making: Emergence of Altruism in a Simulated Society. In: Antunes, L., Paolucci, M., Norling, E. (eds.) MABS 2007. LNCS (LNAI), vol. 5003, pp. 96–111. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  18. Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J.: Tropos: An Agent Oriented Software Development Methodology. JAAMAS 8, 203–236 (2004)

    MATH  Google Scholar 

  19. Carpenter, C., Sattenspiel, L.: The Design and Use of an Agent-Based Model to Simulate the 1918 Influenza Epidemic at Norway House, Manitoba. Amer. J. of Human Biology 21, 290–300 (2009)

    Article  Google Scholar 

  20. Castelfranchi, C.: Commitments: From Individual Intentions to Groups and Organizations. In: Proceedings of the First International Conference on Multiagent Systems, ICMAS, pp. 41–48. AAAI Press, Menlo Park (1995)

    Google Scholar 

  21. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2000)

    Google Scholar 

  22. Damasio, A.: The Feeling of What Happens. In: Body and Emotion in the Making of Consciousness. Harcourt Brace, New York (1999)

    Google Scholar 

  23. Damasio, A.: Looking for Spinoza. Vintage books (2003)

    Google Scholar 

  24. Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed Requirements Acquisition. Science in Computer Programming 20, 3–50 (1993)

    Article  MATH  Google Scholar 

  25. Darimont, R., van Lamsweerde, A.: Formal Refinement Patterns for Goal-Driven Requirements Elaboration. In: Proc. of the Fourth ACM Symposium on the Foundation of Software Engineering (FSE4), pp. 179–190 (1996)

    Google Scholar 

  26. Dorigo, M., Maniezzo, V., Colorni, A.: The Ant System: Optimization by a Colony of Cooperating Agents. IEEE Trans. Systems, Man, and Cybernetics-Part B 26(1) (1996)

    Google Scholar 

  27. Duell, R., Memon, Z.A., Treur, J., van der Wal, C.N.: An Ambient Agent Model for Group Emotion Support. In: Cohn, J., Nijholt, A., Pantic, M. (eds.) Proc. of the Third Int. Conf. on Affective Computing and Intelligent Interaction, ACII 2009, pp. 550–557. IEEE Computer Society Press, Los Alamitos (2009)

    Google Scholar 

  28. Esteva, M., Padget, J., Sierra, C.: Formalizing a Language for Institutions and Norms. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol. 2333, pp. 348–366. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  29. Ferber, J., Gutknecht, O., Jonker, C.M., Müller, J.P., Treur, J.: Organization Models and Behavioural Requirements Specification for Multi-Agent Systems. In: Demazeau, Y., Garijo, F. (eds.) Proc. of the 10th Eur. Workshop MAAMAW 2001 (2001)

    Google Scholar 

  30. Fox, M.S., Barbuceanu, M., Gruniger, M.: An organisation ontology for enterprise modeling: Preliminary concepts for linking structure and behaviour. Computers in industry 29, 123–134 (1996)

    Article  Google Scholar 

  31. Goldblatt, R.: Logics of Time and Computation, 2nd edn CSLI Lecture Notes 7 (1992)

    Google Scholar 

  32. Hayashida, T., Nishizaki, I., Katagiri, H.: Artificial adaptive agent model characterized by learning and fairness in the ultimatum games. J. of Telec. and Inf. Technology 4, 36–44 (2007)

    Google Scholar 

  33. Herlea, D.E., Jonker, C.M., Treur, J., Wijngaards, N.J.E.: Specification of Behavioural Requirements within Compositional Multi-Agent System Design. In: Garijo, F.J., Boman, M. (eds.) MAAMAW 1999. LNCS, vol. 1647, pp. 8–27. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  34. Hoogendoorn, M., Jonker, C.M., Schut, M.C., Treur, J.: Modeling Centralized Organization of Organizational Change. Comp. and Math. Organization Theory 13, 147–184 (2007)

    Article  Google Scholar 

  35. Hoogendoorn, M., Schut, M.C., Treur, J.: Modeling Decentralized Organizational Change in Honeybee Societies. In: Almeida e Costa, F., Rocha, L.M., Costa, E., Harvey, I., Coutinho, A. (eds.) ECAL 2007. LNCS (LNAI), vol. 4648, pp. 615–624. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  36. Hoogendoorn, M., Treur, J.: An Adaptive Multi-Agent Organization Model Based on Dynamic Role Allocation. In: Nishida, T. (ed.) Proc. of the 2006 IEEE/WIC/ACM Int. Conf. on Intelligent Agent Technology (IAT 2006), pp. 474–481. IEEE CS Press, Los Alamitos (2006)

    Chapter  Google Scholar 

  37. Jaffry, S.W., Treur, J.: Agent-Based and Population-Based Simulation: a Comparative Case Study for Epidemics. In: Louca, L.S., Chrysanthou, Y., Oplatkova, Z., Al-Begain, K. (eds.) Proc. of the 22th European Conference on Modelling and Simulation, European Council on Modeling and Simulation, ECMS 2008, pp. 123–130 (2008)

    Google Scholar 

  38. Jennings, N.R.: Controlling cooperative problem solving in industrial multi-agent systems using joint intentions. Artificial Intelligence 75, 195–240 (1995)

    Article  Google Scholar 

  39. Jonker, C.M., Treur, J.: A temporal-interactivist perspective on the dynamics of mental states. Cognitive Systems Research 4, 137–155 (2003)

    Article  Google Scholar 

  40. Jonker, C.M., Treur, J.: Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness. Int. J. Coop. Inf. Sys. 11, 51–92 (2002)

    Article  Google Scholar 

  41. Jonker, C.M., Treur, J., Wijngaards, W.C.A.: Specification, Analysis and Simulation of the Dynamics Within an Organisation. J. of Applied Intelligence 27, 131–152 (2007)

    Article  Google Scholar 

  42. Kelso, J.A.S.: Dynamic Patterns: The Self-Organization of Brain and Behavior. MIT Press, Cambridge (1995)

    Google Scholar 

  43. Kermack, W.O., McKendrick, W.G.: A contribution to the mathematical theory of epidemics. Proc. of the Royal Society of London, Series A 115, 700–721 (1927)

    Google Scholar 

  44. Kim, J.: Philosophy of Mind. Westview Press, Boulder (1996)

    Google Scholar 

  45. Kinny, D., Ljunberg, M., Rao, A., Sonenberg, L., Tidhar, G., Werner, E.: Planned team activity. In: Castelfranchi, C., Werner, E. (eds.) MAAMAW 1992. LNCS, vol. 830, pp. 226–256. Springer, Heidelberg (1994)

    Chapter  Google Scholar 

  46. Laird, J.E., Newell, A., Rosenbloom, P.S.: Soar: an architecture for general intelligence. Artificial Intelligence 33, 1–64 (1987)

    Article  Google Scholar 

  47. van Lamsweerde, A.: Requirements engineering: from System Goals to UML Models to Software Specifications. Wiley, Chichester (2009)

    Google Scholar 

  48. Lapouchnian, A., Lespérance, Y.: Modeling Mental States in Agent-Oriented Requirements Engineering. In: Dubois, E., Pohl, K. (eds.) CAiSE 2006. LNCS, vol. 4001, pp. 480–494. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  49. Lotka A.J.: Elements of Physical Biology. Reprinted by Dover in 1956 as Elements of Mathematical Biology (1924)

    Google Scholar 

  50. Manna, Z., Pnueli, A.: Temporal Verification of Reactive Systems: Safety. Springer, Heidelberg (1995)

    Book  MATH  Google Scholar 

  51. Oprea, M.: An adaptive negotiation model for agent-based electronic commerce. Studies in Informatics and Control 11, 271–279 (2002)

    Google Scholar 

  52. Parunak, H.V.D.: Go to the Ant: Engineering Principles from Natural Multi-Agent Systems. Ann. Oper. Res. 75, 69–101 (1997)

    Article  MATH  Google Scholar 

  53. Parunak, H.V.D., Brueckner, S., Sauter, J.: Synthetic pheronome mechanisms for coordination of unmanned vehicles. In: Proceedings of AAMAS 2002, pp. 448–450. ACM Press, New York (2002)

    Google Scholar 

  54. Parunak, H.V.D., Savit, R., Riolo, R.L.: Agent-Based Modeling vs. Equation-Based Modeling: A Case Study and Users’ Guide. In: Sichman, J.S., Conte, R., Gilbert, N. (eds.) MABS 1998. LNCS (LNAI), vol. 1534, pp. 10–25. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  55. Pavon, J., Gomez-Sanz, J.: Agent Oriented Engineering with INGENIAS. In: Mařík, V., Müller, J.P., Pěchouček, M. (eds.) CEEMAS 2003. LNCS (LNAI), vol. 2691, pp. 392–403. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  56. Port, R.F., van Gelder, T. (eds.): Mind as Motion: Explorations in the Dynamics of Cognition. MIT Press, Cambridge (1995)

    Google Scholar 

  57. Maynard Smith, J.: Models in Ecology. Cambridge University Press, Cambridge (1974)

    Google Scholar 

  58. Spoelstra, M., Sklar, E.: Agent-Based Simulation of Group Learning. In: Antunes, L., Paolucci, M., Norling, E. (eds.) MABS 2007. LNCS (LNAI), vol. 5003, pp. 69–83. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  59. Stirling, C.: Modal and Temporal Properties of Processes. Springer, Heidelberg (2001)

    Book  MATH  Google Scholar 

  60. Sun, R.: Duality of the Mind. Lawrence Erlbaum Associates, Mahwah (2002)

    Google Scholar 

  61. Sun, R.: The CLARION cognitive architecture: Extending cognitive modeling to social simulation. In: Sun, R. (ed.) Cognition and Multi-Agent Interaction. Cambridge Univ. Press, New York (2006)

    Google Scholar 

  62. Volterra, V.: Variations and fluctuations of the number of individuals in animal species living together. In: Animal Ecology,McGraw-Hill, New York Translated by R. N. Chapman (1931)

    Google Scholar 

  63. Wang, X., Lespérance, Y.: Agent-Oriented Requirements Engineering Using ConGolog and i*. In: Wagner, G., Karlapalem, K., Lespérance, Y., Yu, E. (eds.) Proceedings of the 3rd International Bi-Conference Workshop AOIS-2001 Agent-Oriented Information Systems 2001, pp. 59–78. iCue Publishing, Berlin (2001)

    Google Scholar 

  64. Yu, E., Du Bois, P., Dubois, E., Mylopoulos, J.: From Organization Models to System Requirements: A Cooperating Agents Approach. In: Papazoglou, M.P., Schlageter, G. (eds.) Cooperative Information Systems: Trends and Directions, pp. 293–312. Academic Press, London (1997)

    Google Scholar 

  65. Zambonelli, F., Jennings, N.R., Wooldridge, M.: Organisational Abstraction for the Analysis and Design of Multi-Agent Systems. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol. 1957, pp. 235–251. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Artificial Intelligence, VU University Amsterdam, De Boelelaan 1081, 1081 HV, Amsterdam, The Netherlands

    Tibor Bosse, Mark Hoogendoorn, Michel C. A. Klein & Jan Treur

Authors
  1. Tibor Bosse
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mark Hoogendoorn
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Michel C. A. Klein
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Jan Treur
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Electronic Engineering, National Kaohsiung University of Applied Sciences, 415 Chien-Kung Road, 807, Kaohsiung, Taiwan

    Jeng-Shyang Pan

  2. Department of Computer Science and Information Engineering, National Taiwan University of Science and Technology, #43, Sec.4, Keelung Rd., 106, Taipei, Taiwan

    Shyi-Ming Chen

  3. Institute of Informatics, Wroclaw University of Technology, Str. Wyb. Wyspianskiego 27, 50-370, Wroclaw, Poland

    Ngoc Thanh Nguyen

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bosse, T., Hoogendoorn, M., Klein, M.C.A., Treur, J. (2010). A Three-Dimensional Abstraction Framework to Compare Multi-Agent System Models. In: Pan, JS., Chen, SM., Nguyen, N.T. (eds) Computational Collective Intelligence. Technologies and Applications. ICCCI 2010. Lecture Notes in Computer Science(), vol 6421. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16693-8_33

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-16693-8_33

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-16692-1

  • Online ISBN: 978-3-642-16693-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation