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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Verifiable multi-agent programs. In: Dastani, M.M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2003. LNCS (LNAI), vol.Ā 3067, pp. 72ā89. Springer, Heidelberg (2004)
Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J.: Tropos: an agent-oriented software development methodology. Autonomous agents and multiagent systemsĀ 8, 203ā236 (2004)
Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Science of Computer ProgrammingĀ 20, 3ā50 (1993)
de Boer, F.S., Hindriks, K.V., van der Hoek, W., Meyer, J.-J.C.: Meyer. Agent programming with declarative goals. In: Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Language, pp. 228ā243 (2000)
Flouret, M., Mermet, B., Simon, G.: Vers une mĆ©thodologie de dĆ©veloppement de sma adaptĆ©s aux problĆØmes dāoptimisation. In: SystĆØmes multi-agents et systĆØmes complexes: ingĆ©nierie, rĆ©solution de problĆØmes et simulation, JFIADSMA 2002, Hermes, pp. 245ā248 (2002)
Fournier, D., Mermet, B., Simon, G.: A compositional proof system for agent behaviour. In: Muratidis, H., Barley, M., Massacci, F., Unruh, A. (eds.) Proceedings of SASEMAS 2005, pp. 22ā26 (2005)
Hubner, J.F., Sichman, J.S., Boissier, O.: Specification structurelle, fonctionnelle et deontique dāorganisations dans les sma. In: Journees Francophones Intelligence Artificielle et Systemes Multi-Agents (JFIADSM 2002), Hermes (2002)
Khallouf, J., Winikoff, M.: Towards goal-oriented design of agent systems. In: Proceedings of ISEAT 2005 (2005)
Lamport, L.: The temporal logic of actions. ACM Transactions on Programming Languages and Systems (1994)
Mermet, B., Simon, G., Fournier, D., Flouret, M.: SPACE: A method to increase tracability in MAS development. In: Dastani, M.M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2003. LNCS (LNAI), vol.Ā 3067, pp. 201ā220. Springer, Heidelberg (2004)
Padgham, L., Winikoff, M.: Developing intelligent agent systems: a practical guide. John Wiley and Sons, Chichester (2004)
Rao, A.S., Georgeff, M.P.: An abstract architecture for rational agents. In: Proceeding of the 3rd International Conference on Principles of Knowledge Representation and Reasoning, San Mateo. CA, pp. 439ā449. Morgan Kaufmann, San Francisco (1992)
Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS (LNAI), vol.Ā 1038. Springer, Heidelberg (1996)
Simon, G., Flouret, M., Mermet, B.: A methodology to solve optimisation problems with MAS application to the graph colouring problem. In: Scott, D.R. (ed.) AIMSA 2002. LNCS (LNAI), vol.Ā 2443, Springer, Heidelberg (2002)
Simon, G., Mermet, B., Fournier, D., Flouret, M.: The provable goal decomposition tree: a behaviour model of an agent. Technical report, Laboratoire Informatique du Havre (2005)
Sparkman, C.H., Deloach, S.A., Self, A.L.: Automated derivation of complex agent architectures from analysis specifications. In: Wooldridge, M.J., WeiĆ, G., Ciancarini, P. (eds.) AOSE 2001. LNCS, vol.Ā 2222, p. 278. Springer, Heidelberg (2002)
van Riemsdijk, M.B., Dastani, M., Dignum, F., Meyer, J.-J.C.: Dynamics of declarative goals in agent programming. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol.Ā 3476, pp. 1ā18. Springer, Heidelberg (2005)
Vincent, R., Horling, B., Lesser, V.: An agent infrastructure to build and evaluate multi-agent systems: the java agent framework and multi-agent system simulator. In: Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-AgentSystems (2001)
Winikoff, M., Padgham, L., Harland, J., Thangarajah, J.: Declarative & proceduralgoals in intelligent agent systems. In: Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR 2002) (2003)
Wooldridge, M., Jennings, N.R., Kinny, D.: The gaia methodology for agentoriented analysis and design. Journal of Autonomous Agents and Multi-Agent SystemsĀ 3(3), 285ā312 (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
Ā© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Simon, G., Mermet, B., Fournier, D. (2006). Goal Decomposition Tree: An Agent Model to Generate a Validated Agent Behaviour. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds) Declarative Agent Languages and Technologies III. DALT 2005. Lecture Notes in Computer Science(), vol 3904. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11691792_8
Download citation
DOI: https://doi.org/10.1007/11691792_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-33106-3
Online ISBN: 978-3-540-33107-0
eBook Packages: Computer ScienceComputer Science (R0)