Paper #16

Author(s): Gaële Simon, Bruno Mermet, Dominique Fournier, and Marianne Flouret

Title: Specifying, Validating and Generating an Agent Behaviour Using a Goal Decomposition Tree

Abstract: This paper deals with a goal-oriented agent model called Goal Decomposition Tree (GDT) allowing both to specify and validate the behaviour of an agent. This work takes place in a global framework whose goal is to define a process allowing to start from a problem specification to obtain a validated implementation of a corresponding MAS. The GDT model has been used to specify a prey-predator system which has been verified this way.

Download: PDF

Thursday, 19-May-2005 20:54:34 CEST