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

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3904 LNAI, Issue , 2006, Pages 124-140

  Simon, Gaële ^a   Menuet, Bruno ^a   Fournier, Dominique ^a  

^a UNIVERSITÉ DU HAVRE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

INTELLIGENT AGENTS; NUMERICAL ANALYSIS; PROBLEM SOLVING;

GDT MODEL; GOAL DECOMPOSITION TREE; PROBLEM SPECIFICATION;

COMPUTER SOFTWARE;

EID: 33745736351     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11691792_8     Document Type: Conference Paper

References (20)

1. R.H. Bordini, M. Fisher, W. Visser, and M. Wooldridge. Verifiable multi-agent programs. In M. Dastani, J. Dix, and A. El Fallah Seghrouchni, editors, ProMAS, 2003.
2. P. Bresciani, A. Perini, P. Giorgini, F. Giunchiglia, and J. Mylopoulos. Tropos: an agent-oriented software development methodology. Autonomous agents and multiagent systems, 8:203-236, 2004.
3. A. Dardenne, A. van Lamsweerde, and S. Fickas. Goal-directed requirements acquisition. Science of Computer Programming, 20:3-50, 1993.
4. F.S. de Boer, K.V. Hindriks, W. van der Hoek, and J.-J.Ch. Meyer. Agent programming with declarative goals. In Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Language, pages 228-243, 2000.
5. M. Flouret, B. Mermet, and G. Simon. 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, JFI-ADSMA '02, pages 245-248. Hermes, 2002.
6. D. Fournier, B. Mermet, and G. Simon. A compositional proof system for agent behaviour. In H. Muratidis M. Barley, F. Massacci and A. Unruh, editors, Proceedings of SASEMAS'05, pages 22-26, 2005.
7. J.F. Hubner, J.S. Sichman, and O. Boissier. Specification structurelle, fonctionnelle et deontique d'organisations dans les sma. In Journees Francophones Intelligence Artificielle et Systemes Multi-Agents (JFIADSM'02). Hermes, 2002.
8. J. Khallouf and M. Winikoff. Towards goal-oriented design of agent systems. In Proceedings of ISEAT'05, 2005.
9. L. Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 1994.
10. B. Mermet, G. Simon, D. Fournier, and M. Flouret. SPACE: A method to increase tracability in MAS Development. In Programming Multi-agent systems, volume 3067. LNAI, 2004.
11. L. Padgham and M. Winikoff. Developing intelligent agent systems: a practical guide. John Wiley and Sons, 2004.
12. A. S. Rao and M. P. Georgeff. An abstract architecture for rational agents. In Proceeding of the 3rd International Conference on Principles of Knowledge Representation and Reasoning, pages 439-449. San Mateo. CA. Morgan Kaufmann, 1992.
13. A.S. Rao. AgentSpeak(L): BDI agents speak out in a logical computable language. In W. Van de Velde and J. Perram, editors, MAAMAW'96, volume 1038, Eindhoven, The Netherlands, 1996. LNAI.
14. G. Simon, M. Flouret, and B. Mermet. A methodology to solve optimisation problems with MAS, application to the graph coloring problem. In Donia R. Scott, editor, Artificial Intelligence : Methodology, Systems, Applications, volume 2443. LNAI, 2002.
15. G. Simon, B. Mermet, D. Fournier, and M. Flouret. The provable goal decomposition tree : a behaviour model of an agent. Technical report, Laboratoire Informatique du Havre, 2005.
16. Glint H. Sparkman, Scott A. Deloach, and Athie L. Self. Automated derivation of complex agent architectures from analysis specifications. In Proceedings of AOSE'01, 2001.
17. M.B. van Riemsdijk, M. Dastani, F. Dignum, and J.-J.Ch. Meyer. Dynamics of declarative goals in agent programming. In Proceedings of Declarative Agent Languages and Technologies (DALT'04), 2004.
18. R. Vincent, B. Horling, and V. Lesser. 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-Agent Systems, 2001.
19. M. Winikoff, L. Padgham, J. Harland, and J. Thangarajah. Declarative & procedural goals in intelligent agent systems. In Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), 2003.
20. M. Wooldridge, N. R. Jennings, and D. Kinny. The gaia methodology for agent-oriented analysis and design. Journal of Autonomous Agents and Multi-Agent Systems, 3(3):285-312, 2000.