Dynamics of Declarative Goals in Agent Programming

  • M. Birna van Riemsdijk
  • Mehdi Dastani
  • Frank Dignum
  • John-Jules Ch. Meyer
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3476)

Abstract

In this paper, the notion of declarative goals as used in agent programming is central. Declarative goals describe desirable states and are updated during the execution of an agent. These goal dynamics are analyzed by distinguishing and formalizing various notions of goal dropping and goal adoption. Furthermore, possible motivations for an agent to drop or adopt goals are identified. Based on these motivations, we define specific mechanisms for implementing dropping and adoption. We show how these mechanisms are related to the general definitions of dropping and adoption.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Wooldridge, M.: An introduction to multiagent systems. John Wiley and Sons, LTD, West Sussex (2002)Google Scholar
  2. 2.
    Newell, A.: The knowledge level. Artificial Intelligence 18, 87–127 (1982)CrossRefGoogle Scholar
  3. 3.
    Broersen, J., Dastani, M., Hulstijn, J., van der Torre, L.: Goal generation in the BOID architecture. Cognitive Science Quarterly 2(3-4), 428–447 (2002)Google Scholar
  4. 4.
    Dastani, M., van der Torre, L.: Programming BOID-Plan agents: deliberating about conflicts among defeasible mental attitudes and plans. In: Proceedings of the Third Conference on Autonomous Agents and Multi-agent Systems (AAMAS 2004), New York, USA, pp. 706–713 (2004)Google Scholar
  5. 5.
    Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Allen, J., Fikes, R., Sandewall, E. (eds.) Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR 1991), pp. 473–484. Morgan Kaufmann, San Francisco (1991)Google Scholar
  6. 6.
    Boutilier, C.: Toward a logic for qualitative decision theory. In: Proceedings of the KR 1994, pp. 75–86 (1994)Google Scholar
  7. 7.
    van Riemsdijk, M.B., van der Hoek, W., Meyer, J.J.C.: Agent programming in Dribble: from beliefs to goals using plans. In: Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2003), Melbourne, pp. 393–400 (2003)Google Scholar
  8. 8.
    Dastani, M., van Riemsdijk, M.B., Dignum, F., Meyer, J.J.C.: A programming language for cognitive agents: goal directed 3APL. In: Dastani, M.M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2003. LNCS (LNAI), vol. 3067, pp. 111–130. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  9. 9.
    Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS (LNAI), vol. 1038, pp. 42–55. Springer, Heidelberg (1996)CrossRefGoogle Scholar
  10. 10.
    Bellifemine, F., Poggi, A., Rimassa, G., Turci, P.: An object oriented framework to realize agent systems. In: Proceedings of WOA 2000 Workshop, WOA, pp. 52–57 (2000)Google Scholar
  11. 11.
    Winikoff, M., Padgham, L., Harland, J., Thangarajah, J.: Declarative and procedural goals in intelligent agent systems. In: Proceedings of the Eighth International Conference on Principles of Knowledge Respresentation and Reasoning (KR 2002), Toulouse (2002)Google Scholar
  12. 12.
    Moreira, A.F., Vieira, R., Bordini, R.H.: Extending the operational semantics of a BDI agent-oriented programming language for introducing speech-act based communication. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol. 2990, pp. 129–145. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  13. 13.
    Thangarajah, J., Padgham, L., Winikoff, M.: Detecting and exploiting positive goal interaction in intelligent agents. In: Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2003), Melbourne, pp. 401–408 (2003)Google Scholar
  14. 14.
    Fan, X., Yen, J., Miller, M.S., Volz, R.A.: The semantics of MALLET - an agent teamwork encoding language. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 69–91. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  15. 15.
    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, p. 228. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  16. 16.
    Dastani, M., de Boer, F.S., Dignum, F., Meyer, J.J.C.: Programming agent deliberation – an approach illustrated using the 3APL language. In: Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2003), Melbourne, pp. 97–104 (2003)Google Scholar
  17. 17.
    Konolige, K.: What awareness isn’t: A sentential view of implicit and explicit belief. In: Halpern, J.Y. (ed.) Theoretical Aspects of Reasoning about Knowledge (TARK 1986), pp. 241–250 (1986)Google Scholar
  18. 18.
    Plotkin, G.D.: A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, University of Aarhus (1981)Google Scholar
  19. 19.
    Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence 42, 213–261 (1990)MATHCrossRefMathSciNetGoogle Scholar
  20. 20.
    Clarke, E.M., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching-time temporal logic. In: Logic of Programs, Workshop, pp. 52–71. Springer, Heidelberg (1982)Google Scholar
  21. 21.
    Dignum, F., Conte, R.: Intentional agents and goal formation. In: Agent Theories, Architectures, and Languages, pp. 231–243 (1997)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • M. Birna van Riemsdijk
    • 1
  • Mehdi Dastani
    • 1
  • Frank Dignum
    • 1
  • John-Jules Ch. Meyer
    • 1
  1. 1.Institute of Information and Computing SciencesUtrecht UniversityThe Netherlands

Personalised recommendations