Goal decomposition tree: an agent model to generate a validated agent behaviour

Authors:
Gaële Simon;Bruno Mermet;Dominique Fournier
Affiliations:
University of Le Havre;University of Le Havre;University of Le Havre
Venue:
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Year:
2005

Citing 12
Cited 4

Goal-directed requirements acquisition

6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
The temporal logic of actions

ACM Transactions on Programming Languages and Systems (TOPLAS)
AgentSpeak(L): BDI agents speak out in a logical computable language

MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
The Gaia Methodology for Agent-Oriented Analysis and Design

Autonomous Agents and Multi-Agent Systems
A Methodology to Solve Optimisation Problems with MAS Application to the Graph Colouring Problem

AIMSA '02 Proceedings of the 10th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
An Agent Infrastructure to Build and Evaluate Multi-Agent Systems: The Java Agent Framework and Multi-Abent System Simulator

Revised Papers from the International Workshop on Infrastructure for Multi-Agent Systems: Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems
Agent Programming with Declarative Goals

ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Automated Derivation of Complex Agent Architectures from Analysis Specifications

AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Tropos: An Agent-Oriented Software Development Methodology

Autonomous Agents and Multi-Agent Systems
Developing Intelligent Agent Systems: A Practical Guide

Developing Intelligent Agent Systems: A Practical Guide
Towards Goal-Oriented Design of Agent Systems

QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Dynamics of declarative goals in agent programming

DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies

GDT4MAS: an extension of the GDT model to specify and to verify MultiAgent systems

Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Modelling and executing complex and dynamic business processes by reification of agent interactions

ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Specifying and verifying a MAS: the robots on mars case study

ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
Specifying recursive agents with GDTs

Autonomous Agents and Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

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.