Goals in agent systems: A unifying framework

Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS

Volumn 2, Issue , 2008, Pages 702-709

  Van Riemsdijk, M Birna ^a   Dastani, Mehdi ^b   Winikoff, Michael ^c  

^a UNIVERSITY OF MUNICH   (Germany)

^b UTRECHT UNIVERSITY   (Netherlands)

^c RMIT UNIVERSITY   (Australia)

Author keywords

Agent programming; Formal semantics; Goals

Indexed keywords

MULTI AGENT SYSTEMS;

AGENT PROGRAMMING; AGENT SYSTEMS; FORMAL SEMANTICS; GOALS; PROACTIVE BEHAVIOR;

AUTONOMOUS AGENTS;

EID: 84899905221     PISSN: 15488403     EISSN: 15582914     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (30)

1. M. E. Bratman. Intention, plans, and practical reason. Harvard University Press, Massachusetts, 1987.
2. L. Braubach, A. Pokahr, D. Moldt, and W. Lamersdorf. Goal representation for BDI agent systems. In ProMAS'04, volume 3346 of LNAI, pages 44-65. Springer, Berlin, 2005.
3. P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213-261, 1990.
4. M. Dastani and J.-J. Meyer. A practical agent programming language. In Proc. of ProMAS '07, volume 4908 of LNAI. Springer, 2008.
5. M. Dastani, M. B. van Riemsdijk, F. Dignum, and J.-J. Ch. Meyer. A programming language for cognitive agents: goal directed 3APL. In ProMAS '03, volume 3067 of LNAI, pages 111-130. Springer, Berlin, 2004.
6. M. Dastani, M. B. van Riemsdijk, and J.-J. Ch. Meyer. Goal types in agent programming. In Proc. of ECAI'06, volume 141 of Frontiers in Artificial Intelligence and Applications. pages 220-224. IOS Press, 2006.
7. S. Duff, J. Harland, and J. Thangarajah. On proactivity and maintenance goals. In Proc. of AAMAS'06, pages 1033-1040, Hakodate, 2006.
8. E. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics, pages 996-1072. Elsevier, Amsterdam, 1990.
9. K. Hindriks and M. B. van Riemsdijk. Satisfying maintenance goals. In Proc. of DALT'07, 2007.
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. K. V. Hindriks. F. S. de Boer, W. van der Hoek, and J.-J. Ch. Meyer. Agent programming with declarative goals. In Proc. of ATAL'2000), Lecture Notes in AI. Springer, Berlin, 2001.
12. J. F. Hiibner, R. H. Bordini, and M. Wooldridge. Declarative goal patterns for AgentSpeak. In Proc. of DALT'06, 2006.
13. J. Khallouf and M. Winikoff. Towards goal-oriented design of agent systems. In Proc. ofISEAT'05, 2005.
14. A. F. Moreira, R. Vieira, and R. H. Bordini. Extending the operational semantics of a BDI agent-oriented programming language for introducing speech-act based communication. In Proc. of DALT'03, volume 2990 of LNAI, pages 135-154, London, UK, 2004. Springer-Verlag.
15. V. Nigam and J. Leite. A dynamic logic programming based system for agents with declarative goals. In Proc. of DALT'06, volume 4327 of LNAI, pages 174-190, 2006.
16. 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.
17. A. Pokahr. L. Braubach, and W. Lamersdorf. A goal deliberation strategy for BDI agent systems. In MATES'05, volume 3550 of LNAI, pages 82-93. Springer-Verlag, 2005.
18. 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.
19. S. Sardina, L. P. de Silva, and L. Padgham. Hierarchical planning in BDI agent programming languages: A formal approach. In Proc. of AAMAS'06, pages 1001-1008, Hakodate, Japan, 2006. ACM Press.
20. S. Sardina and S. Shapiro. Rational action in agent programs with prioritized goals. In Proc. of AAMAS'03, pages 417-424, 2003.
21. J. Thangarajah, J. Harland, D. Morley, and N. Yorke-Smith. Suspending and resuming tasks in intelligent agents. In Proc. of AAMAS'8, 2008.
22. J. Thangarajah, M. Winikoff, L. Padgham, and K. Fischer. Avoiding resource conflicts in intelligent agents. In Proc. of ECAl'02, Lyon, France, 2002.
23. J. Thangarajah, L. Padgham. and M. Winikoff. Detecting and avoiding interference between goals in intelligent agents. In Proc. ofIJCAV03, 2003.
24. N. Tinnemeier, M. Dastani, and J. Meyer. Goal selection strategies for rational agents. In Proc. of LADS'07, 2007.
25. A. van Lamsweerde. Goal-oriented requirements engineering: A guided tour. In Proc. ofRE'01, pages 249-263. IEEE, 2001.
26. M. B. van Riemsdijk. Cognitive Agent Programming: A Semantic Approach. PhD thesis. 2006.
27. 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, pages 393-400, 2003.
28. M. B. van Riemsdijk, M. Dastani, J.-J. Ch. Meyer, and F. S. de Boer. Goal-oriented modularity in agent programming. In Proc. of AAMAS'06, pages 1271-1278, Hakodate. 2006.
29. M. B. van Riemsdijk, M. Dastani, and J.-J. Ch. Meyer. Semantics of declarative goals in agent programming. In Proc. ofAAMAS'05, pages 133-140, Utrecht, 2005.
30. M. Winikoff, L. Padgham, J. Harland, and J. Thangarajah. Declarative and procedural goals in intelligent agent systems. In Proc. ofKR'02, Toulouse, 2002.