Goal-oriented modularity in agent programming

Proceedings of the International Conference on Autonomous Agents

Volumn 2006, Issue , 2006, Pages 1271-1278

  Van Riemsdijk, M Birna ^a   Dastani, Mehdi ^a   Meyer, John Jules Ch ^a   De Boer, Frank S ^a,b  

^a UTRECHT UNIVERSITY   (Netherlands)

^b CWI   (Netherlands)

Author keywords

Agent programming languages; Declarative goals; Modularity; Semantics

Indexed keywords

AUTONOMOUS AGENTS; COGNITIVE SYSTEMS; COMPUTER PROGRAMMING LANGUAGES; SEMANTICS; SOFTWARE ENGINEERING;

AGENT PROGRAMMING LANGUAGES; DECLARATIVE GOALS; MODULARITY;

MULTI AGENT SYSTEMS;

EID: 34247275813     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1160633.1160864     Document Type: Conference Paper

References (22)

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™ 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.