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

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 multi-agent system models in different application areas from the literature it is discussed how they fit in the framework.

[1]  Rafael Heitor Bordini,et al.  Verifying Multi-agent Programs by Model Checking , 2006, Autonomous Agents and Multi-Agent Systems.

[2]  Ron Sun,et al.  Cognition and Multi-Agent Interaction: The CLARION Cognitive Architecture: Extending Cognitive Modeling to Social Simulation , 2005 .

[3]  Alexei Lapouchnian,et al.  Modeling Mental States in Agent-Oriented Requirements Engineering , 2006, CAiSE.

[4]  H. Van Dyke Parunak,et al.  Agent-Based Modeling vs. Equation-Based Modeling: A Case Study and Users' Guide , 1998, MABS.

[5]  Stephan Merz,et al.  Model Checking , 2000 .

[6]  Catholijn M. Jonker,et al.  Specification, analysis and simulation of the dynamics within an organisation , 2007, Applied Intelligence.

[7]  Mark Hoogendoorn,et al.  Modeling Decentralized Organizational Change in Honeybee Societies , 2007, ECAL.

[8]  Mark H. Bickhard,et al.  Representational content in humans and machines , 1993, J. Exp. Theor. Artif. Intell..

[9]  Wolfgang Banzhaf,et al.  Advances in Artificial Life , 2003, Lecture Notes in Computer Science.

[10]  Axel van Lamsweerde,et al.  Formal refinement patterns for goal-driven requirements elaboration , 1996, SIGSOFT '96.

[11]  Elizabeth Sklar,et al.  Agent-Based Simulation of Group Learning , 2008, MABS.

[12]  Tibor Bosse,et al.  Simulation and Analysis of a Shared Extended Mind , 2004, Simul..

[13]  Jaegwon Kim,et al.  Philosophy of Mind , 1996 .

[14]  Gil Tidhar,et al.  Planned Team Activity , 1992, MAAMAW.

[15]  Franco Zambonelli,et al.  Organizational Abstractions for the Analysis and Design of Multi-agent Systems , 2000, AOSE.

[16]  Julian Padget,et al.  Formalizing a Language for Institutions and Norms , 2001, ATAL.

[17]  Tibor Bosse,et al.  A Language and Environment for Analysis of Dynamics by Simulation , 2005, Int. J. Artif. Intell. Tools.

[18]  Milind Tambe,et al.  Intelligent Agents VIII , 2002, Lecture Notes in Computer Science.

[19]  Jan Treur,et al.  An ambient agent model for group emotion support , 2009, 2009 3rd International Conference on Affective Computing and Intelligent Interaction and Workshops.

[20]  Nicholas R. Jennings.  Agent-Oriented Software Engineering , 1999, MAAMAW.

[21]  Tibor Bosse,et al.  Collective representational content for shared extended mind , 2006, Cognitive Systems Research.

[22]  Guido Boella,et al.  Organizations as Socially Constructed Agents in the Agent Oriented Paradigm , 2004, ESAW.

[23]  Tibor Bosse,et al.  Trust-Based Inter-temporal Decision Making: Emergence of Altruism in a Simulated Society , 2008, MABS.

[24]  Dov M. Gabbay,et al.  The imperative future: principles of executable temporal logic , 1996 .

[25]  A. Damasio.  The Feeling of What Happens: Body and Emotion in the Making of Consciousness , 1999 .

[26]  Mike P. Papazoglou,et al.  Cooperative Information Systems: Trends and Directions , 1997 .

[27]  Zohar Manna,et al.  Temporal verification of reactive systems - safety , 1995 .

[28]  Franco Zambonelli,et al.  Organisational Rules as an Abstraction for the Analysis and Design of Multi-Agent Systems , 2001, Int. J. Softw. Eng. Knowl. Eng..

[29]  Jan Treur,et al.  Specification of Behavioural Requirements within Compositional Multi-Agent System Design: Lecture Notes in AI , 1999 .

[30]  Cristiano Castelfranchi,et al.  Commitments: From Individual Intentions to Groups and Organizations , 1995, ICMAS.

[31]  Fausto Giunchiglia,et al.  Tropos: An Agent-Oriented Software Development Methodology , 2004, Autonomous Agents and Multi-Agent Systems.

[32]  Yves Lespérance,et al.  Agent-Oriented Requirements Engineering Using ConGolog and i* , 2001 .

[33]  Moshe Tennenholtz,et al.  Artificial Social Systems , 1992, Lecture Notes in Computer Science.

[34]  Fausto Giunchiglia,et al.  Model Checking Multiagent Systems , 1998, J. Log. Comput..

[35]  R. Goldblatt.  Logics of Time and Computation , 1987 .

[36]  S. Jørgensen.  Models in Ecology , 1975 .

[37]  Michael Winikoff,et al.  Agent-oriented Information Systems IV , 2008 .

[38]  Marco Dorigo,et al.  Ant system: optimization by a colony of cooperating agents , 1996, IEEE Trans. Syst. Man Cybern. Part B.

[39]  Christel Baier,et al.  Principles of model checking , 2008 .

[40]  G. Ermentrout.  Dynamic patterns: The self-organization of brain and behavior , 1997 .

[41]  Catholijn M. Jonker,et al.  Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness , 1997, Int. J. Cooperative Inf. Syst..

[42]  Mark Hoogendoorn,et al.  Modeling centralized organization of organizational change , 2007, Comput. Math. Organ. Theory.

[43]  Tibor Bosse,et al.  Representation for reciprocal agent–environment interaction , 2009, Cognitive Systems Research.

[44]  Jan Treur,et al.  Agent-Based And Population-Based Simulation: A Comparative Case Study For Epidemics , 2008 .

[45]  Nicholas R. Jennings,et al.  Controlling Cooperative Problem Solving in Industrial Multi-Agent Systems Using Joint Intentions , 1995, Artif. Intell..

[46]  Tibor Bosse,et al.  Specification and Verification of Dynamics in Agent Models , 2009, Int. J. Cooperative Inf. Syst..

[47]  T. Gelder,et al.  Mind as Motion: Explorations in the Dynamics of Cognition , 1995 .

[48]  V. Volterra.  Variations and Fluctuations of the Number of Individuals in Animal Species living together , 1928 .

[49]  C. Lebiere,et al.  The Atomic Components of Thought , 1998 .

[50]  H. Van Dyke Parunak,et al.  Synthetic Pheromone Mechanisms for Coordination of Unmanned Vehicles , 2002 .

[51]  A. Opstal.  Dynamic Patterns: The Self-Organization of Brain and Behavior , 1995 .

[52]  Axel van Lamsweerde,et al.  Requirements Engineering: From System Goals to UML Models to Software Specifications , 2009 .

[53]  Jorge J. Gómez-Sanz,et al.  Agent Oriented Software Engineering with INGENIAS , 2003, CEEMAS.

[54]  John Mylopoulos,et al.  From Organization Models to System Requirements: A 'Cooperating Agents' Approach , 1995, CoopIS.

[55]  Mark S. Fox,et al.  An organisation ontology for enterprise modeling: preliminary concepts for linking structure and behaviour , 1996 .

[56]  Kenneth L. Artis.  Design for a Brain , 1961 .

[57]  Jacques Ferber,et al.  Organization models and behavioural requirements specification for multi-agent systems , 2000, Proceedings Fourth International Conference on MultiAgent Systems.

[58]  Tibor Bosse,et al.  Agent-based vs. population-based simulation of displacement of crime: A comparative study , 2011, Web Intell. Agent Syst..

[59]  Vladimir Marik,et al.  Multi-Agent Systems and Applications III , 2003, Lecture Notes in Computer Science.

[60]  Allen Newell,et al.  SOAR: An Architecture for General Intelligence , 1987, Artif. Intell..

[61]  H. Van Dyke Parunak,et al.  "Go to the ant": Engineering principles from natural multi-agent systems , 1997, Ann. Oper. Res..

[62]  J. van Leeuwen,et al.  Engineering Societies in the Agents World II , 2001, Lecture Notes in Computer Science.

[63]  Magnus Boman,et al.  Multi-Agent System Engineering , 1999, Lecture Notes in Computer Science.

[64]  Patrick Brézillon,et al.  Lecture Notes in Artificial Intelligence , 1999 .

[65]  Mario Paolucci,et al.  Multi-Agent-Based Simulation VIII, International Workshop, MABS 2007, Honolulu, HI, USA, May 15, 2007, Revised and Invited Papers , 2008, MABS.

[66]  W. O. Kermack,et al.  A contribution to the mathematical theory of epidemics , 1927 .

[67]  Christel Baier,et al.  Principles of Model Checking (Representation and Mind Series) , 2008 .

[68]  Colin Stirling,et al.  Modal and Temporal Properties of Processes , 2001, Texts in Computer Science.

[69]  Stephen Fickas,et al.  Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..

[70]  Mark Hoogendoorn,et al.  An Adaptive Multi-agent Organization Model Based on Dynamic Role Allocation , 2006, 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology.

[71]  Zohar Manna,et al.  Temporal Verification of Reactive Systems , 1995, Springer New York.

[72]  Ron Sun,et al.  Duality of the Mind , 2002 .

[73]  Jürgen Dix,et al.  Model checking multi-agent systems with logic based Petri nets , 2008, Annals of Mathematics and Artificial Intelligence.

[74]  A. J. Lotka,et al.  Elements of Physical Biology. , 1925, Nature.

[75]  Lisa Sattenspiel,et al.  The design and use of an agent‐based model to simulate the 1918 influenza epidemic at Norway House, Manitoba , 2009, American journal of human biology : the official journal of the Human Biology Council.

[76]  Catholijn M. Jonker,et al.  A temporal-interactivist perspective on the dynamics of mental states , 2003, Cognitive Systems Research.

[77]  Tomohiro Hayashida,et al.  Artificial adaptive agent model characterized by learning and fairness in the ultimatum games , 2007 .

[78]  R. May,et al.  Infectious Diseases of Humans: Dynamics and Control , 1991, Annals of Internal Medicine.

[79]  Tibor Bosse,et al.  Simulation and Analysis of a Shared Extended Mind , 2005, Simul..