Abstract
Agent-oriented programming languages have gone a long way in the level of sophistication offered to programmers, and there has also been much progress in tools to support multi-agent systems development using such languages. However, much work is still required in mechanisms that can reduce the burden, typically placed on programmers, of ensuring that agents behave rationally, hence being effective and as efficient as possible. One such mechanisms is reasoning about declarative goals, which is increasingly appearing in the agents literature; it allows agents to make better use of resources, to avoid plans hindering the execution of other plans, and to be able to take advantage of opportunities for reducing the number of plans that have to be executed to achieve certain combinations of goals. In this paper, we introduce a Petri-net based approach to such reasoning, and we report on experimental results showing that this technique can obtain comparable improvements on an agent’s behaviour to other existing approaches (our experiments do not yet cover reasoning about resource usage). Our long-term goal is to provide a number of alternative approaches for such reasoning, evaluate and compare their performances under different configurations, and incorporate them into interpreters for agent-oriented programming languages in such a way that the most appropriate approach is used at given circumstances.
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
Bonnet-Torrès, O., Tessier, C.: From team plan to individual plans: a petri net-based approach. In: AAMAS 2005. 4th International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 797–804. ACM Press, New York (2005)
Bordini, R.H., Bazzan, A.L.C., de Oliveira Jannone, R., Basso, D.M., Viccari, R.M., Lesser, V.R.: AgentSpeak(XL): Efficient intention selection in BDI agents via decision-theoretic task scheduling. In: Castelfranchi, C., Johnson, W. (eds.) AAMAS 2002, pp. 1294–1302. ACM Press, New York (2002)
Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A.: Multi-Agent Programming: Languages, Platforms and Applications. In: Number 15 in Multiagent Systems, Artificial Societies, and Simulated Organizations, Springer, Heidelberg (2005)
Busetta, P., Rönnquist, R., Hodgson, A., Lucas, A.: JACK intelligent agents - components for intelligent agents in java. Technical report, Technical report, Agent Oriented Software Pty. Ltd, Melbourne, Australia (1998)
Castelfranchi, C., Falcone, R.: Conflicts within and for collaboration. In: Tessier, C., Chaudron, L., Müller, H.-J. (eds.) Conflicting Agents: Conflict Management in Multiagent Systems, Multiagent systems, Artificial societies, and Simulated organizations, ch. 2, pp. 33–62. Kluwer Academic Publishers, Dordrecht (2001)
Clement, B.J., Durfee, E.H.: Identifying and resolving conflicts among agents with hierarchical plans. In: Proceedings of AAAI Workshop on Negotiation: Settling Conflicts and Identifying Opportunities, Technical Report WS-99-12, pp. 6–11. AAAI Press (1999)
Clement, B.J., Durfee, E.H.: Theory for coordinating concurrent hierarchical planning agents using summary information. In: AAAI 1999/IAAI 1999. Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence, pp. 495–502. AAAI Press, California (1999)
Clement, B.J., Durfee, E.H.: Performance of coordinating concurrent hierarchical planning agents using summary information. In: ICMAS. Proceedings of 4th International Conference on Multi-Agent Systems, pp. 373–374. IEEE Computer Society Press, Los Alamitos (2000)
Dastani, M., de Boer, F., Dignum, F., Meyer, J.-J.: Programming agent deliberation: an approach illustrated using the 3apl language. In: AAMAS 2003. Proceedings of the second international joint conference on Autonomous agents and multiagent systems, pp. 97–104. ACM Press, New York (2003)
Hannebauer, M.: Their problems are my problems - the transition between internal and external conflict. In: Tessier, C., Chaudron, L., Müller, H.-J. (eds.) Conflicting Agents: Conflict Management in Multiagent Systems, Multiagent systems, Artificial societies, and Simulated organizations, ch. 3, pp. 63–110. Kluwer Academic Publishers, Dordrecht (2001)
Horty, J.F., Pollack, M.E.: Evaluating new options in the context of existing plans. Artificial Intelligence 127(2), 199–220 (2004)
Kummer, O., Wienberg, F., Duvigneau, M.: Renew – the Reference Net Workshop(Release 2.1) (May 2006), http://www.renew.de/
Mazouzi, H., El Fallah Seghrouchni, A., Haddad, S.: Open protocol design for complex interactions in multi-agent systems. In: AAMAS 2002, pp. 517–526. ACM Press, New York (2002)
Peterson, J.L.: Petri Net Theory and the modeling of Systems. Prentice-Hall, Englewood Cliffs (1981)
Pokahr, A., Braubach, L., Lamersdorf, W.: A goal deliberation strategy for bdi agent systems. In: Eymann, T., Klügl, F., Lamersdorf, W., Klusch, M., Huhns, M.N. (eds.) MATES 2005. LNCS (LNAI), vol. 3550, pp. 82–94. Springer, Heidelberg (2005)
Raja, A., Lesser, V.: Reasoning about coordination costs in resource-bounded multi-agent systems. In: Proceedings of AAAI 2004 Spring Symposium on Bridging the multiagent and multi robotic research gap, pp. 25–40 (March 2004)
Surynek, P.: On state management in plan-space planning from CP perspective. In: ICAPS. Proceedings of Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems, International Conference on Automated Planning and Scheduling, AAAI Press, Stanford (2006)
Surynek, P., Barták, R.: Encoding HTN planning as a dynamic CSP. In: van Beek, P. (ed.) CP 2005. LNCS, vol. 3709, p. 868. Springer, Heidelberg (2005)
Thangarajah, J.: Managing the Concurrent Execution of Goals in Intelligent Agents. PhD thesis, School of Computer Science and Informaiton Technology, RMIT University, Melbourne, Victoria, Australia (December 2004)
Thangarajah, J., Padgham, L.: An empirical evaluation of reasoning about resource conflicts in intelligent agents. In: Kudenko, D., Kazakov, D., Alonso, E. (eds.) AAMAS 2004. LNCS (LNAI), vol. 3394, pp. 1298–1299. Springer, Heidelberg (2005)
Thangarajah, J., Padgham, L., Winikoff, M.: Detecting and avoiding interference between goals in intelligent agents. In: IJCAI. Proceedings of 18th International Joint Conference on Artificial Intelligence, pp. 721–726. Morgan Kaufmann, San Francisco (2003)
Thangarajah, J., Padgham, L., Winikoff, M.: Detecting and exploiting positive goal interaction in intelligent agents. In: AAMAS 2003. Proceedings of the second international joint conference on Autonomous agents and multiagent systems, pp. 401–408. ACM Press, New York (2003)
Thangarajah, J., Winikoff, M., Padgham, L.: Avoiding resource conflicts in intelligent agents. In: van Harmelen, F. (ed.) ECAI 2002. Proceedings of 15th European Conference on Artifical Intelligence, IOS Press, Amsterdam (2002)
van Riemsdijk, M.B., Dastani, M., Meyer, J.-J.C.: Semantics of declarative goals in agent programming. In: AAMAS 2005. Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, pp. 133–140. ACM Press, New York (2005)
Winikoff, M., Padgham, L., Harland, J., Thangarajah, J.: Declarative and procedural goals in intelligent agent systems. In: KR2002. Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning, 22–25 April, Toulouse, France, pp. 470–481(2002)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Shaw, P.H., Bordini, R.H. (2008). Towards Alternative Approaches to Reasoning About Goals. In: Baldoni, M., Son, T.C., van Riemsdijk, M.B., Winikoff, M. (eds) Declarative Agent Languages and Technologies V. DALT 2007. Lecture Notes in Computer Science(), vol 4897. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77564-5_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-77564-5_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-77563-8
Online ISBN: 978-3-540-77564-5
eBook Packages: Computer ScienceComputer Science (R0)