Abstract
Modular programming has the usual benefits associated with structured programming, information hiding and reusability, but also has additional benefits to offer when applied in agent programming. We argue that modules can be viewed as structures similar to that of policy-based intentions [2]. Modules perceived in this way are components within an agent that are triggered in a particular situation and combine the knowledge and skills to adequately pursue the goals of the agent in that situation. The context that triggers the activation of a module defines the interface of the module, which can be specified declaratively, in contrast to the usual functional interpretations of such interfaces. A feature that differentiates our notion of a module from plans is that modules provide an agent with a means to focus its attention on the relevant resources it needs to handle a situation. As a result, modules can be used to control or reduce the underspecification and inherent non-determinism that is typical of agent programs. In the paper, the proposed module concept is incorporated into the agent language GOAL and illustrated by means of a simple example.
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
Boutilier, C., Reiter, R., Soutchanski, M., Thrun, S.: Decision-Theoretic, High-level Agent Programming in the Situation Calculus. In: Proceedings of the Seventeenth National Conference on Artificial Intelligence (AAAI-2000), pp. 355–362 (2000)
Bratman, M.E.: Intentions, Plans, and Practical Reasoning. Harvard University Press, Cambridge (1987)
Lamersdorf, W., Braubach, L., Pokahr, A.: Extending the Capability Concept for Flexible BDI Agent Modularization. In: Bordini, R.H., Dastani, M., Dix, J., Seghrouchni, A.E.F. (eds.) PROMAS 2005. LNCS (LNAI), vol. 3862, pp. 139–155. Springer, Heidelberg (2006)
Busetta, P., Howden, N., Ronnquist, R., Hodgson, A.: Structuring BDI Agents in Functional Clusters. In: Jennings, N., Lesperance, Y. (eds.) Intelligent Agents VI: Theories, Architectures and Languages, pp. 277–289 (2000)
Dastani, M., de Boer, F., Dignum, F., Meyer, J.-J.C.: Programming Agent Deliberation: An Approach Illustrated Using the 3APL Language. In: Proceedings of The Second Conference on Autonomous Agents and Multi-agent Systems (AAMAS 2003), pp. 97–104 (2003)
Dastani, M.M., van Riemsdijk, M.B., Dignum, F.P.M., Ch, J.-J.: A Programming Language for Cognitive Agents: Goal-Directed 3APL. In: Dastani, M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2003. LNCS (LNAI), vol. 3067, pp. 111–130. Springer, Heidelberg (2004)
de Boer, F.S., Hindriks, K.V., van der Hoek, W., Meyer, J.-J.C.: A Verification Framework for Agent Programming with Declarative Goals. Journal of Applied Logic (2006) (In Press)
Georgeff, M.P., Lansky, A.L.: Reactive Reasoning and Planning. In: Proceedings of the Sixth National Conference on Artificial Intelligence, pp. 677–682. MIT Press, Cambridge (1987)
Governatori, G., Padmanabhan, V.: A defeasible logic of policy-based intention. In: Gedeon, T.D., Fung, L.C.C. (eds.) AI 2003. LNCS (LNAI), vol. 2903, pp. 414–426. Springer, Heidelberg (2003)
Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Agent Programming with Declarative Goals. In: Castelfranchi, C., Lespérance, Y. (eds.) ATAL 2000. LNCS (LNAI), vol. 1986, pp. 228–243. Springer, Heidelberg (2001)
Padgham, L., Lambrix, P.: Formalisations of Capabilities for BDI-Agents. Autonomous Agents and Multi-Agent Systems 10, 249–271 (2005)
Parsons, S., Jennings, N.R., Sabater, J., Sierra, C.: Agent Specification Using Multi-Context Systems. In: Foundation and Applications of Multi-Agent Systems, pp. 205–226. Springer, Heidelberg (2002)
Plotkin, G.D.: A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, University of Aarhus (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–93. Springer, Heidelberg (2005)
Rao, A.S.: AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language. In: van der Velde, W., Perram, J.W. (eds.) Agents Breaking Away, pp. 42–55. Springer, Heidelberg (1996)
Thangarajah, J., Padgham, L., Winikoff, M.: Detecting and avoiding interference between goals in intelligent agents. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003) (2003)
van Riemsdijk, M.B., Dastani, M., Meyer, J.-J.C., de Boer, F.S.: Goal-Oriented Modularity in Agent Programming. In: Birna van Riemsdijk, M. (ed.) Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), pp. 1271–1278 (2006)
Wray, R.E., Laird, J.E.: An architectural approach to ensuring consistency in hierarchical execution. Journal of Artificial Intelligence Research 19, 355–398 (2003)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hindriks, K. (2008). Modules as Policy-Based Intentions: Modular Agent Programming in GOAL. In: Dastani, M., El Fallah Seghrouchni, A., Ricci, A., Winikoff, M. (eds) Programming Multi-Agent Systems. ProMAS 2007. Lecture Notes in Computer Science(), vol 4908. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-79043-3_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-79043-3_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-79042-6
Online ISBN: 978-3-540-79043-3
eBook Packages: Computer ScienceComputer Science (R0)