Programming Verifiable Heterogeneous Agent Systems

Our overall aim is to provide a verification framework for practical multi-agent systems. To achieve practicality, we must be able to describe and implement heterogeneous multi-agent systems. To achieve verifiability, we must define semantics appropriately for use in formal verification. In this paper, we tackle the problem of implementing heterogeneous multi-agent systems in a semantically clear, and appropriate, way.

[1]  Michael Fisher,et al.  MetateM: The Story so Far , 2005, PROMAS.

[2]  Yoav Shoham,et al.  Agent-Oriented Programming , 1992, Artif. Intell..

[3]  Shaomei Wang,et al.  Implementation of multi-agent system based on CORBA and COM , 2001, Proceedings of the Sixth International Conference on Computer Supported Cooperative Work in Design (IEEE Cat. No.01EX472).

[4]  Michael Wooldridge,et al.  A Common Semantic Basis for BDI Languages , 2007, PROMAS.

[5]  Louise Dennis,et al.  Gwendolen : A BDI Language for Verifiable Agents , 2008 .

[6]  Nicolas Lhuillier,et al.  FOUNDATION FOR INTELLIGENT PHYSICAL AGENTS , 2003 .

[7]  Rafael H. Bordini,et al.  Automated Verification of Multi-Agent Programs , 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.

[8]  Nicholas R. Jennings,et al.  Verifying the contract net protocol: a case study in interaction protocol and agent communication semantics , 2004 .

[9]  Michael Wooldridge,et al.  Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology) , 2007 .

[10]  R JenningsNicholas,et al.  Developing multiagent systems , 2003 .

[11]  Donald Steiner,et al.  FIPA: Foundation for Intelligent Physical Agents - Das aktuelle Schlagwort , 1998, Künstliche Intell..

[12]  N. Jennings,et al.  Verifying the Contract Net Protocol : A Case Study in Interaction Protocol and Agent Communication Language Semantics , 2004 .

[13]  Viviana Mascardi,et al.  Integrating tuProlog into DCaseLP to Engineer Heterogeneous Agent Systems , 2004 .

[14]  Eiichiro Kodama,et al.  Assuring interoperability in heterogeneous, autonomous and decentralized multi-agent systems , 2003, The Sixth International Symposium on Autonomous Decentralized Systems, 2003. ISADS 2003..

[15]  Mehdi Dastani,et al.  Programming Multi-Agent Systems in 3APL , 2005, Multi-Agent Programming.

[16]  D. Dickson.  The story so far… , 2000, Nature.

[17]  Michael Winikoff,et al.  Declarative and procedural goals in intelligent agent systems , 2002, KR 2002.

[18]  Nicholas R. Jennings,et al.  A formal framework for agent interaction semantics , 2005, AAMAS '05.

[19]  Berndt Farwer,et al.  Translating into an Intermediate Agent Layer : A Prototype in Maude ? ( Extended Abstract ) , 2007 .

[20]  Kinji Mori,et al.  Autonomous Decentralized Systems , 2008, Wiley Encyclopedia of Computer Science and Engineering.

[21]  Rafael H. Bordini,et al.  Multi-Agent Programming: Languages, Platforms and Applications , 2005, Multi-Agent Programming.

[22]  Michael Wooldridge,et al.  Model checking rational agents , 2004, IEEE Intelligent Systems.

[23]  Randall Davis,et al.  Frameworks for Cooperation in Distributed Problem Solving , 1988, IEEE Transactions on Systems, Man, and Cybernetics.

[24]  Gerard J. Holzmann,et al.  The SPIN Model Checker , 2003 .

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

[26]  Michael Winikoff,et al.  Implementing commitment-based interactions , 2007, AAMAS '07.

[27]  Rafael H. Bordini,et al.  A flexible framework for verifying agent programs , 2008, AAMAS.

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

[29]  Jürgen Dix,et al.  IMPACT: A Multi-Agent Framework with Declarative Semantics , 2005, Multi-Agent Programming.

[30]  Koen V. Hindriks,et al.  A verification framework for agent programming with declarative goals , 2007, J. Appl. Log..

[31]  Jürgen Dix,et al.  Multi-Agent Programming: Languages, Tools and Applications , 2009 .