Skip to main content

Subgoal Semantics in Agent Programming

  • Conference paper
Progress in Artificial Intelligence (EPIA 2005)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 3808))

Included in the following conference series:

  • 1505 Accesses

Abstract

This paper investigates the notion of subgoals as used in plans in cognitive agent programming languages. These subgoals form an abstract representation of more concrete courses of action or plans. Subgoals can have a procedural interpretation (directly linked to a concrete plan) or a declarative one (the state to be reached as represented by the subgoal is taken into account). We propose a formal semantics for subgoals that interprets these declaratively, and study the relation between this semantics and the procedural subgoal semantics of the cognitive agent programming language 3APL. We prove that subgoals of 3APL can be programmed to behave declaratively, although the semantics is defined procedurally.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Bordini, R.H., Moreira, A.F.: Proving the asymmetry thesis principles for a BDI agent-oriented programming language. Electronic Notes in Theoretical Computer Science 70(5) (2002), http://www.elsevier.nl/gej-ng/31/29/23/125/23/29/70.5.008.pdf

  2. Braubach, L., Pokahr, A., Moldt, D., Lamersdorf, W.: Goal representation for BDI agent systems. In: Bordini, R.H., Dastani, M.M., Dix, J., El Fallah Seghrouchni, A. (eds.) PROMAS 2004. LNCS (LNAI), vol. 3346, pp. 44–65. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  3. 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), pp. 706–713 (2004)

    Google Scholar 

  4. 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)

    Chapter  Google Scholar 

  5. d’Inverno, M., Kinny, D., Luck, M., Wooldridge, M.: A formal specification of dmars. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS, vol. 1365, pp. 155–176. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  6. Evertsz, R., Fletcher, M., Jones, R., Jarvis, J., Brusey, J., Dance, S.: Implementing industrial multi-agent systems using JACKTM. In: Dastani, M.M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2003. LNCS (LNAI), vol. 3067, pp. 18–48. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  7. Hindriks, K.V.: Agent programming languages - programming with mental models. PhD thesis (2001)

    Google Scholar 

  8. Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Agent programming in 3APL. Int. J. of Autonomous Agents and Multi-Agent Systems 2(4), 357–401 (1999)

    Article  Google Scholar 

  9. Ingrand, F.F., Georgeff, M.P., Rao, A.S.: An architecture for real-time reasoning and system control. IEEE Expert: Intelligent Systems and Their Applications 7(6), 34–44 (1992)

    Google Scholar 

  10. Plotkin, G.D.: A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, University of Aarhus (1981)

    Google Scholar 

  11. 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)

    Chapter  Google Scholar 

  12. Segerberg, K.: Bringing it about. Journal of Philosophical Logic 18, 327–347 (1989)

    Article  MATH  MathSciNet  Google Scholar 

  13. van Riemsdijk, M.B., Dastani, M., Dignum, F., Meyer, J.-J.C.: Dynamics of declarative goals in agent programming. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 1–18. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  14. van Riemsdijk, M.B., Dastani, M., Meyer, J.-J.C.: Semantics of declarative goals in agent programming. In: Proceedings of the fourth international joint conference on autonomous agents and multiagent systems (AAMAS 2005), Utrecht (2005) (to appear)

    Google Scholar 

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

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

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

van Riemsdijk, M.B., Dastani, M., Meyer, JJ.C. (2005). Subgoal Semantics in Agent Programming. In: Bento, C., Cardoso, A., Dias, G. (eds) Progress in Artificial Intelligence. EPIA 2005. Lecture Notes in Computer Science(), vol 3808. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11595014_54

Download citation

  • DOI: https://doi.org/10.1007/11595014_54

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-30737-2

  • Online ISBN: 978-3-540-31646-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics