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.
This is a preview of subscription content, log in via an institution to check access.
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)