Skip to main content
SpringerLink
Log in

GOAL Agents Instantiate Intention Logic

  • Chapter
Logic Programs, Norms and Action

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

Abstract

Various theories of cognitive or rational agents that use formal logic to define such agents have been proposed in the literature. Similarly, a range of more computationally oriented frameworks have been proposed for engineering rational agents. It remains interesting to explore the relation between these logical theories and existing computational agent frameworks that are used to program agents. First of all, by establishing a formal relation between agent logics and computational agent frameworks, agent logics may become a practical tool for reasoning about computational agents. Secondly, a formal relation may provide new insights into the kinds of agents that can be built using a particular computational agent framework. It may in particular highlight some of the assumptions built into logical as well as computational approaches.

In this paper, we explore the relation between Intention Logic and the agent programming language Goal. This is a natural choice because Intention Logic and Goal use the same set of basic concepts to define agents, namely declarative beliefs and goals. We discuss various assumptions and identify some subtle differences between the two systems. We show that agent programs written in Goal can be formally related to specifications written in a fragment of Intention Logic. It follows that a weakened version of Intention Logic can be used to prove properties of Goal agents. In this sense, such agents can be said to instantiate Intention Logic.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bacchus, F., Kabanza, F.: Planning for temporally extended goals. Annals of Mathematics and Artificial Intelligence 22, 5–27 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  2. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press (2001)

    Google Scholar 

  3. de Boer, F.S., Hindriks, K.V., van der Hoek, W., Meyer, J.J.C.: A Verification Framework for Agent Programming with Declarative Goals. Journal of Applied Logic 5(2), 277–302 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  4. Bratman, M.E.: Intention, Plans, and Practical Reason. University of Chicago Press (1987)

    Google Scholar 

  5. Cohen, P.R., Levesque, H.J.: Intention Is Choice with Commitment. Artificial Intelligence 42, 213–261 (1990)

    Article  MathSciNet  MATH  Google Scholar 

  6. Emerson, E.: Temporal and Modal Mogic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol. B. North-Holland Publishing Company, Amsterdam (1990)

    Google Scholar 

  7. Fisher, M.: Temporal representation and reasoning. In: van Harmelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation, ch.2, pp. 513–550. Elsevier (2008)

    Google Scholar 

  8. Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press (2000)

    Google Scholar 

  9. Herzig, A., Longin, D.: C&l intention revisited. In: Proc. of the 9th Int. Conference Principles of Knowledge Representation and Reasoning (KR 2004), pp. 527–535 (2004)

    Google Scholar 

  10. Hindriks, K., van der Hoek, W.: GOAL Agents Instantiate Intention Logic. In: Hölldobler, S., Lutz, C., Wansing, H. (eds.) JELIA 2008. LNCS (LNAI), vol. 5293, pp. 232–244. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  11. 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, pp. 228–243. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  12. Hindriks, K.V., van Riemsdijk, M.B.: Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming. In: Baldoni, M., Son, T.C., van Riemsdijk, M.B., Winikoff, M. (eds.) DALT 2008. LNCS (LNAI), vol. 5397, pp. 215–232. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  13. Hindriks, K.V.: Programming Rational Agents in Goal. In: Multi-Agent Programming, pp. 119–157. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  14. van der Hoek, W., Wooldridge, M.: Towards a Logic of Rational Agency. Logic Journal of the IGPL 11(2), 133–157 (2003)

    Article  Google Scholar 

  15. Meyer, J.-J.C.: Our Quest for the Holy Grail of Agent Verification. In: Olivetti, N. (ed.) TABLEAUX 2007. LNCS (LNAI), vol. 4548, pp. 2–9. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  16. Newell, A.: The Knowledge Level. Artificial Intelligence 18(1), 87–127 (1982)

    Article  Google Scholar 

  17. Rao, A.S., Georgeff, M.P.: Intentions and Rational Commitment. Tech. Rep. 8, Australian Artificial Intelligence Institute (1993)

    Google Scholar 

  18. 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, vol. 1038, pp. 42–55. Springer, Heidelberg (1996)

    Chapter  Google Scholar 

  19. Móra, M.C., Lopes, J.G., Viccari, R.M., Coelho, H.: BDI Models and Systems: Reducing the Gap. In: Papadimitriou, C., Singh, M.P., Müller, J.P. (eds.) ATAL 1998. LNCS (LNAI), vol. 1555, pp. 11–27. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  20. Artikis, A., Sergot, M.J.: Executable specification of open multi-agent systems. Logic Journal of the IGPL 18(1), 31–65 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  21. Craven, R., Sergot, M.J.: Agent strands in the action language nC+. J. Applied Logic 6(2), 172–191 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  22. Lomuscio, A., Raimondi, F., Sergot, M.J.: Towards model checking interpreted systems. In: AAMAS 2003, pp. 1054–1055 (2003)

    Google Scholar 

  23. Lomuscio, A., Sergot, M.J.: On Multi-agent Systems Specification via Deontic Logic. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol. 2333, pp. 86–99. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  24. Farrell, A.D.H., Sergot, M.J., Sallé, M., Bartolini, C.: Using the event calculus for tracking the normative state of contracts. International Journal of Cooperative Information Systems 14(2-3), 99–129 (2005)

    Article  Google Scholar 

  25. Kowalski, R., Sergot, M.: A Logic-Based Calculus of Events. New Generation Computing 4(1), 67–95 (1986)

    Article  Google Scholar 

  26. Dastani, M., Hindriks, K.V., Meyer, J.-J.C. (eds.): Specification and Verification of Multi-agent Systems. Springer, Heidelberg (2010)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Delft University of Technology, The Netherlands

    Koen V. Hindriks

  2. The University of Liverpool, United Kingdom

    Wiebe van der Hoek

  3. Utrecht University, The Netherlands

    John-Jules Ch. Meyer

Authors
  1. Koen V. Hindriks
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Wiebe van der Hoek
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. John-Jules Ch. Meyer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Software and Knowledge Engineering Laboratory, Institute of Informatics and Telecommunications, National Centre for Scientific Research ’Demokritos’, 15310, Athens, Greece

    Alexander Artikis

  2. Department of Computing, Imperial College London, 180 Queen’s Gate, SW7 2AZ, London, UK

    Robert Craven

  3. Department of Computer Engineering, Middle East Technical University, Dumlupınar Bulvarı No. 1, 06800, Çankaya, Ankara, Turkey

    Nihan Kesim Çiçekli

  4. Axiomatics AB, Box 2157, 103 14, Stockholm, Sweden

    Babak Sadighi

  5. Royal Holloway, University of London, UK

    Kostas Stathis

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Hindriks, K.V., van der Hoek, W., Meyer, JJ.C. (2012). GOAL Agents Instantiate Intention Logic. In: Artikis, A., Craven, R., Kesim Çiçekli, N., Sadighi, B., Stathis, K. (eds) Logic Programs, Norms and Action. Lecture Notes in Computer Science(), vol 7360. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29414-3_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-29414-3_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-29413-6

  • Online ISBN: 978-3-642-29414-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation