Implementing Validated Agents Behaviours with Automata Based on Goal Decomposition Trees

In order to provide an effective tool allowing to implement validated agents behaviours, this paper first presents a Goal Decomposition Tree (GDT), a model to specify behaviours both in procedural and declarative ways. A GDT allows the designer to verify the specified behaviour. This model is then used to generate a behaviour automaton using automata composition patterns associated to operators used in the tree. This process allows to obtain a finite expression representing all valid behaviours of agents of a MAS.

[1]  Jarkko Kari,et al.  Digital Images and Formal Languages , 1997, Handbook of Formal Languages.

[2]  Joscha Bach,et al.  Designing Agent Behavior with the Extensible Agent Behavior Specification Language XABSL , 2003, RoboCup.

[3]  Nicholas R. Jennings,et al.  The Gaia Methodology for Agent-Oriented Analysis and Design , 2000, Autonomous Agents and Multi-Agent Systems.

[4]  Dominique Fournier,et al.  SPACE: A Method to Increase Tracability in MAS Development , 2003, PROMAS.

[5]  Jarkko Kari,et al.  Image Compression Using Weighted Finite Automata , 1993, MFCS.

[6]  Frank Dignum,et al.  Dynamics of Declarative Goals in Agent Programming , 2004, DALT.

[7]  Michael Wooldridge,et al.  Verifiable Multi-agent Programs , 2003, PROMAS.

[8]  Pascal Caron,et al.  From Glushkov WFAs to Rational Expressions , 2003, Developments in Language Theory.

[9]  Pierre Wolper,et al.  An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report) , 1986, LICS.

[10]  Scott A. DeLoach,et al.  Automated Derivation of Complex Agent Architectures from Analysis Specifications , 2001, AOSE.

[11]  Mehdi Dastani,et al.  Semantics of declarative goals in agent programming , 2005, AAMAS '05.

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

[13]  Scott A. DeLoach,et al.  Multiagent Systems Engineering , 2001, Int. J. Softw. Eng. Knowl. Eng..

[14]  Leslie Lamport,et al.  The temporal logic of actions , 1994, TOPL.

[15]  Dominique Fournier,et al.  Variant Extensions to Prove MAS Behaviours , 2004, AIMSA.

[16]  Victor R. Lesser,et al.  An Agent Infrastructure to Build and Evaluate Multi-Agent Systems: The Java Agent Framework and Multi-Abent System Simulator , 2000, Agents Workshop on Infrastructure for Multi-Agent Systems.

[17]  Amal El Fallah-Seghrouchni,et al.  Les systèmes multi-agents , 2006 .

[18]  Leslie Pack Kaelbling,et al.  Goals as Parallel Program Specifications , 1988, AAAI.

[19]  Pascal Caron,et al.  Glushkov Construction For Series: The Non Commutative Case , 2003, Int. J. Comput. Math..