Goal-oriented modularity in agent programming

ABSTRACT

Modularization is widely recognized as a central issue in software engineering. In this paper we address the issue of modularization in cognitive agent programming languages. We discuss existing approaches to modularity in cognitive agent programming. Then, we propose a new kind of modularity, i.e., goal-oriented modularity, which takes the goals of an agent as the basis for modularization. Further, we present a formal semantics of goal-oriented modularity in the context of the 3APL agent programming language.

References

1. F. Bellifemine, A. Poggi, G. Rimassa, and P. Turci. An object oriented framework to realize agent systems. In Proc. of WOA 2000 Workshop, pages 52--57. 2000.]]
2. J. A. Bergstra, J. Heering, and P. Klint. Module algebra. Journal of the Association for Computing Machinery, 37(2):335--372, 1990.]]
3. R. H. Bordini and A. F. Moreira. Proving the asymmetry thesis principles for a BDI agent-oriented programming language. Electronic Notes in Theoretical Computer Science, 70(5), 2002.]]
4. L. Braubach, A. Pokahr, and W. Lamersdorf. Extending the capability concept for flexible BDI agent modularization. In Proc. of ProMAS'05, 2005.]]
5. P. Busetta, N. Howden, R. Rönnquist, and A. Hodgson. Structuring BDI agents in functional clusters. In ATAL '99: 6th Int. Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages, pages 277--289, 2000. Springer-Verlag.]]
6. M. Dastani, M. B. van Riemsdijk, F. Dignum, and J.-J. Ch. Meyer. A programming language for cognitive agents: goal directed 3APL. In Programming multiagent systems, first int. workshop (ProMAS'03), LNAI, pages 111--130. Springer, Berlin, 2004.]]
7. M. Dastani, M. B. van Riemsdijk, J. Hulstijn, F. Dignum, and J.-J. Ch. Meyer. Enacting and deacting roles in agent programming. Agent-Oriented Software Engineering V, LNCS, pages 189--204. Springer-Verlag, 2005.]]
8. M. Dastani, M. B. van Riemsdijk, and J.-J. Ch. Meyer. Programming multi-agent systems in 3APL. In R. H. Bordini, M. Dastani, J. Dix, and A. El Fallah Seghrouchni, editors, Multi-Agent Programming: Languages, Platforms and Applications. Springer, Berlin, 2005.]]
9. C. Ghezzi, M. Jazayeri, and D. Mandrioli. Fundamentals of software engineering. Prentice-Hall International, London, 1991.]]
10. K. V. Hindriks, F. S. de Boer, W. van der Hoek, and J.-J. Ch. Meyer. Agent programming in 3APL. Int. J. of Autonomous Agents and Multi-Agent Systems, 2(4):357--401, 1999.]]
11. B. Meyer. Object-oriented software construction. Series in Computer Science. Prentice-Hall International, London, 1988.]]
12. G. D. Plotkin. A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, University of Aarhus, 1981.]]
13. A. Pokahr, L. Braubach, and W. Lamersdorf. Jadex: a BDI reasoning engine. In R. H. Bordini, M. Dastani, J. Dix, and A. El Fallah Seghrouchni, editors, Multi-Agent Programming: Languages, Platforms and Applications. Springer, Berlin, 2005.]]
14. A. S. Rao. AgentSpeak(L): BDI agents speak out in a logical computable language. In W. van der Velde and J. Perram, editors, Agents Breaking Away (LNAI 1038), pages 42--55. Springer-Verlag, 1996.]]
15. M. B. van Riemsdijk, M. Dastani, F. Dignum, and J.-J. Ch. Meyer. Dynamics of declarative goals in agent programming. Proc. of the second int. workshop on Declarative agent languages and technologies (DALT'04), LNCS, pages 1--18. Springer-Verlag, 2005.]]
16. M. B. van Riemsdijk, M. Dastani, and J.-J. Ch. Meyer. Semantics of declarative goals in agent programming. In Proc. of AAMAS'05, 2005.]]
17. M. B. van Riemsdijk, M. Dastani, and J.-J. Ch. Meyer. Subgoal semantics in agent programming. Progress in Artifical Intelligence: 12th Portuguese Conference on Artificial Intelligence (EPIA'05), LNCS, pages 548--559. Springer-Verlag, 2005.]]
18. M. B. van Riemsdijk, J.-J. Ch. Meyer, and F. S. de Boer. Semantics of plan revision in intelligent agents. In C. Rattray, S. Maharaj, and C. Shankland, editors. Theoretical Computer Science, pages 240--257. 2006. Special issue of Algebraic Methodology and Software Technology (AMAST'04).]]
19. M. B. van Riemsdijk, W. van der Hoek, and J.-J. Ch. Meyer. Agent programming in Dribble: from beliefs to goals using plans. In Proc. of AAMAS'03, 2003.]]
20. M. Winikoff. JACK#8482; intelligent agents: an industrial strength platform. In R. H. Bordini, M. Dastani, J. Dix, and A. El Fallah Seghrouchni, editors, Multi-Agent Programming: Languages, Platforms and Applications. Springer, Berlin, 2005.]]
21. M. Winikoff, L. Padgham, J. Harland, and J. Thangarajah. Declarative and procedural goals in intelligent agent systems. In Proc. of the eighth int. conf. on principles of knowledge respresentation and reasoning (KR2002), 2002.]]
22. K. Yoshimura, R. Rönnquist, and L. Sonenberg. An approach to specifying coordinated agent behaviour. In PRIMA'00, LNAI, pages 115--127. Springer, 2000.]]