Specifying, validating and generating an agent behaviour using a Goal Decomposition Tree
نویسندگان
چکیده
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.
منابع مشابه
Specifying, Verifying and Implementing a MAS: A case study
This paper deals with the design of multi-agent systems. We demonstrate the goal-oriented agent model called Goal Decomposition Tree on an already studied multi-agent example, that of robots which must clean pieces of garbage on Mars. As we show, the model allows to prove that the agents’ behaviour indeed achieves their goal. We then compare our approach to other ones.
متن کاملGDT4MAS: an extension of the GDT model to specify and to verify MultiAgent systems
The Goal Decomposition Tree model has been introduced in 2005 by Mermet et al. [9] to specify and verify the behaviour of an agent evolving in a dynamic environment. This model presents many interesting characteristics such as its compositional aspect and the definition of proven proof schemas making the proof mechanism reliable. Being interested in specifying and verifying multiagent systems, ...
متن کاملAn Approach to Specifying and Validating Context-aware Adaptive Behaviours of Software Systems
Context-aware adaptive software systems need to have models for their adaptive behaviour. These models specify systems’ reactions to changes in their environments. In large scale software systems with high variability, an explosion in the number of the system’s sates (i.e. the system’s configurations or behaviours) and the transitions between them (i.e. the system adaptive behaviour) is introdu...
متن کاملSpecifying and Validating the Agent Performance Evaluation Methodology: the Symbiosis Use Case
Despite the plethora of frameworks and tools for developing agent systems, there is a remarkable lack of generalized methodologies for assessing their performance, while adequately addressing the unpredictable and complex nature of intelligent agents. In this paper, we present a generic methodology for evaluating agent performance, the Agent Performance Evaluation (APE) methodology that consist...
متن کاملA Tableau Method for Verifying Dialogue Game Protocols for Agent Communication
In this paper, we propose a new tableau-based model checking technique for verifying dialogue game protocols for agent communication. These protocols are defined using our social commitment-based framework for agent communication called Commitment and Argument Network (CAN). We use a variant of CTL* (ACTL*) for specifying these protocols and the properties to be verified. This logic extends CTL...
متن کامل