Modeling Multi-Agent Systems as Labeled Transitions Systems: A Unifying Approach

In this paper, labeled transition systems are proposed as a unifying approach to deal with the semantics of a multi-agent system. The presented model represents a multi-agent system by a triplet consisting of a set of states, a set of actions and a set of all possible system executions. We argue that notions that appear with different and complex forms in the literature such as possible world semantics, Petri nets, and process calculus can be described in the same formal framework namely transition systems. Besides, the advantages related to the use of transition system based model are enumerated.

[1]  D J Sumpter,et al.  Ants and agents: A process algebra approach to modelling ant colony behaviour , 2001, Bulletin of mathematical biology.

[2]  Hector J. Levesque,et al.  Intention is Choice with Commitment , 1990, Artif. Intell..

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

[4]  Robin Milner.  Action Calculi, or Syntactic Action Structures , 1993, MFCS.

[5]  N. Malcolm.  On Knowledge and Belief , 1954 .

[6]  Nicholas R. Jennings,et al.  A Roadmap of Agent Research and Development , 2004, Autonomous Agents and Multi-Agent Systems.

[7]  A. Arnold.  Systèmes de transitions finis et sémantique des processus communicants , 1990 .

[8]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[9]  Michael Gelfond,et al.  Action Languages , 1998, Electron. Trans. Artif. Intell..

[10]  Julie A. Adams,et al.  Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence , 2001, AI Mag..

[11]  Stephen Cranefield,et al.  Ontologies for Interaction Protocols , 2005 .

[12]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[13]  David Kinny.  The Ψ calculus: An algebraic agent language , 2002 .

[14]  Michael Wooldridge,et al.  This is MYWORLD: The Logic of an Agent-Oriented DAI Testbed , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[15]  Walid Chainbi.  Multi-agent systems: a Petri net with objects based approach , 2004, Proceedings. IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2004. (IAT 2004)..

[16]  Saul A. Kripke,et al.  Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi , 1963 .

[17]  André Arnold,et al.  Equivalences and Preorders of Transition Systems , 1993, MFCS.

[18]  Wamberto Weber Vasconcelos,et al.  Logic-Based Electronic Institutions , 2003, DALT.

[19]  Walid Chainbi.  An ontology-based multi-agent system conceptual model , 2008, Int. J. Comput. Appl. Technol..

[20]  David Kinny.  The Psi Calculus: An Algebraic Agent Language , 2001, ATAL.