Abstract
Agent-oriented system development aims to simplify the construction of complex systems by introducing a natural abstraction layer on top of the object-oriented paradigm composed of autonomous interacting actors. One main advantage of the agent metaphor is that an agent can be described similar to the characteristics of the human mind consisting of several interrelated concepts which constitute the internal agent structure. General consensus exists that the Belief-Desire-Intention (BDI) model is well suited for describing an agent’s mental state. The desires (goals) of an agent represent its motivational stance and are the main source for the agent’s actions. Therefore, the representation and handling of goals play a central role in goal-oriented requirements analysis and modelling techniques. Nevertheless, currently available BDI agent platforms mostly abstract from goals and do not represent them explicitly. This leads to a gap between design and implementation with respect to the available concepts. In this paper a generic representation of goal types, properties, and lifecycles is developed in consideration of existing goal-oriented requirements engineering and modelling techniques. The objective of this proposal is to bridge the gap between agent specification and implementation of goals and is backed by experiences gained from developing a generic agent framework.
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
Bellifemine, F., Rimassa, G., Poggi, A.: JADE – A FIPA-compliant agent framework. In: 4th Int. Conf. Practical Applications of Agents and Multi-Agent Systems (PAAM 1999), London, UK, pp. 97–108 (December 1999)
Bergenti, F., Botelho, L., Rimassa, G., Somacher, M.: A FIPA compliant Goal Delegation Protocol. In: Workshop on Agent Communication Languages, AAMAS 2002 (2002)
Bordini, R., Fisher, M., Visser, W., Wooldridge, M.: Verifiable multi-agent programs. In: Proceedings of the First International Workshop ProMAS, Australia, pp. 43–49 (2003)
Bordini, R.H., Hübner, J.F.: Jason User Guide (2004), http://jason.sourceforge.net/
Bratman, M.: Intention, Plans, and Practical Reason. Harvard University Press, Cambridge (1987)
Bratman, M., Israel, D., Pollack, M.: Plans and Resource-Bounded Practical Reasoning. In: Philosophy and AI: Essays at the Interface, pp. 1–22. The MIT Press, Cambridge (1991)
Braubach, L., Pokahr, A., Lamersdorf, W.: Jadex: A Short Overview. In: Net.ObjectDays 2004: AgentExpo (2004), http://vsis-www.informatik.uni-hamburg.de/papers/jadex_node.pdf (to be published)
Busetta, P., Howden, N., Rönnquist, R., Hodgson, A.: Structuring BDI Agents in Functional Clusters. In: Jennings, N.R. (ed.) ATAL 1999. LNCS, vol. 1757. Springer, Heidelberg (2000)
Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Science of Computer Programming 20(1–2), 3–50 (1993)
Dastani, M., de Boer, F., Dignum, F., Meyer, J.J.: Programming Agent Deliberation: An Approach Illustrated Using the 3APL Language. In: Proceedings of AAMAS 2003 (2003)
Dignum, F., Conte, R.: Intentional Agents and Goal Formation. In: Agent Theories, Architectures, and Languages, pp. 231–243 (1997)
Firby, J.: An Architecture for A Synthetic Vacuum Cleaner. In: Proc. of the AAAI Fall Symp. Series Workshop on Instantiating Real-World Agents, Raleigh, NC (October 1993)
Georgeff, M., Lansky, A.: Reactive Reasoning and Planning: An Experiment With a Mobile Robot. In: Proceedings of the 1987 National Conference on Artificial Intelligence (AAAI 1987), Seattle, Washington, pp. 677–682 (July 1987)
Giunchiglia, F., Mylopoulos, J., Perini, A.: The Tropos Software Development Methodology: Processes, Models and Diagrams. In: Proc. of AAMAS 2002. ACM Press, New York (2002)
Howden, N., Ronnquist, R., Hodgson, A., Lucas, A.: JACK Intelligent Agents - Summary of an Agent Infrastructure. In: Proc. 5th ACM Int. Conf. on Autonomous Agents (2001)
Huber, M.: JAM: A BDI-Theoretic Mobile Agent Architecture. In: 3rd Annual Conf. on Autonomous Agents (AGENTS 1999), May 1-5, pp. 236–243. ACM Press, New York (1999)
Ingrand, F., Chatila, R., Alami, R., Robert, F.: PRS: A High Level Supervision and Control Language for Autonomous Mobile Robots. In: Proc. of the IEEE Int. Conf. on Robotics and Automation, Minneapolis, pp. 43–49 (April 1996)
Letier, E., van Lamsweerde, A.: Deriving operational software specifications from system goals. In: Proc.of the 10th ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 119–128. ACM Press, New York (2002)
Luck, M., d’Inverno, M.: Motivated Behaviour for Goal Adoption. In: Multi-Agent Systems: Theories, Languages and Applications - 4th Australian Workshop on Distributed Artificial Intelligence, pp. 58–73. Springer, Heidelberg (1998)
Moreira, Á., Vieira, R., Bordini, R.: Extending the operational semantics of a BDI agent-oriented programming language for introducing speech-act based communication. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol. 2990, pp. 135–154. Springer, Heidelberg (2004), held with (AAMAS 2003)
Mylopoulos, J.: Requirements-Driven Information Systems Development. In: AOIS 1999 at CAiSE 1999. Heidelberg, Germany (1999) (Invited talk)
Nilsson, N.: Problem-Solving Methods in Artificial Intelligence. McGraw-Hill, New York (1971)
Norman, T.J., Long, D.: Goal creation in motivated agents. In: Intelligent Agents, Proc. of ATAL 1995, pp. 277–290. Springer, Heidelberg (1995)
Padgham, L., Winikoff, M.: Prometheus: A methodology for developing intelligent agents. In: AOSE 2002 (July 2002)
Pokahr, A., Braubach, L.: Jadex User Guide (2004), http://vsis-www.informatik.uni-hamburg.de/projects/jadex/download.php
Pokahr, A., Braubach, L., Lamersdorf, W.: Jadex: Implementing a BDI-Infrastructure for JADE Agents. EXP – in search of innovation 3(3), 76–85 (2003)
Pollack, M.: The Uses of Plans. Artificial Intelligence 57(1), 43–68 (1992)
Rao, A.: AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language. In: 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World (1996)
Rao, A., Georgeff, M.: BDI Agents: from theory to practice. In: Proc. of the 1st Int. Conference on Multi-Agent Systems (ICMAS 1995), pp. 312–319. The MIT Press, Cambridge (1995)
Russell, S., Norvig, P.: Artifical Intelligence: A Modern Approach. Prentice-Hall, Englewood Cliffs (1995)
Somacher, M., Tomaiuolo, M., Turci, P.: Goal Delegation in Multiagent System. In: Proc. Tecniche di Intelligenza Artificiale per la ricerca di informazione sul Web, Siena (2002)
Tanenbaum, A.: Modern Operating Systems. Prentice Hall PTR, Englewood Cliffs (2001)
Thangarajah, J., Padgham, L., Winikoff, M.: Detecting and Avoiding Interference Between Goals in Intelligent Agents. Proceedings of IJCAI 2003 (August 2003)
Thangarajah, J., Padgham, L., Winikoff, M.: Detecting and Exploiting Positive Goal Interaction in Intelligent Agents. In: Proceedings of AAMAS 2003 (2003)
van Lamsweerde, A.: Goal-Oriented Requirements Engineering: A Guided Tour. In: Proc. RE 2001 - Int. Joint Conference on Requirements Engineering, pp. 249–263. IEEE, Los Alamitos (2001)
Winikoff, M., Harland, J., Padgham, L.: Linking Agent Concepts and Methodology with CAN., http://citeseer.ist.psu.edu/497423.html
Winikoff, M., Padgham, L., Harland, J., Thangarajah, J.: Declarative & Procedural Goals in Intelligent Agent Systems. In: Proc. of KR 2003. Morgan Kaufmann Publishers, San Francisco (2002)
Wooldridge, M., Jennings, N., Kinny, D.: The Gaia Methodology for Agent-Oriented Analysis and Design. 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
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Braubach, L., Pokahr, A., Moldt, D., Lamersdorf, W. (2005). Goal Representation for BDI Agent Systems. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds) Programming Multi-Agent Systems. ProMAS 2004. Lecture Notes in Computer Science(), vol 3346. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-32260-3_3
Download citation
DOI: https://doi.org/10.1007/978-3-540-32260-3_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24559-9
Online ISBN: 978-3-540-32260-3
eBook Packages: Computer ScienceComputer Science (R0)