Skip to main content
SpringerLink
Log in

A Defeasible Logic of Policy-Based Intention

  • Conference paper
AI 2003: Advances in Artificial Intelligence (AI 2003)

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

Included in the following conference series:

Abstract

Most of the theories on formalising intention interpret it as a unary modal operator in Kripkean semantics, which gives it a monotonic look. We argue that policy-based intentions exhibit non-monotonic behaviour which could be captured through a non-monotonic system like defeasible logic. To this end we outline a defeasible logic of intention. The proposed technique alleviates most of the problems related to logical omniscience. The proof theory given shows how our approach helps in the maintenance of intention-consistency in agent systems like BDI.

This research was partially supported by the University of Queensland under the grant UQRSF ITEE-03/2002001335.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. Antoniou, G., Billington, D., Governatori, G., Maher, M.: A flexible framework for defeasible logics. In: AAAI 2000, pp. 401–405. AAAI/MIT Press (2000)

    Google Scholar 

  2. Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Transactions on Computational Logic 2(2), 255–287 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  3. Billington, D.: Defeasible logic is stable. Journal of Logic and Computation 3, 370–400 (1993)

    Article  MathSciNet  Google Scholar 

  4. Chellas, B.F.: Modal Logic, An Introduction. Cambridge University Press, Cambridge (1980)

    MATH  Google Scholar 

  5. Chen, X., Liu, G.: A logic of intention. In: ICJAI 1999 (1999)

    Google Scholar 

  6. Cohen, P.R., Levesque, H.J.: Persistence, intention and commitment. In: Proceedings Timberline workshop on Reasoning about plans and actions, pp. 297–338 (1986)

    Google Scholar 

  7. Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence 42(3) (1990)

    Google Scholar 

  8. Bratman, M.E.: Intentions, Plans and Practical Reason. Harvard University Press, Cambridge (1987)

    Google Scholar 

  9. Governatori, G., Maher, M.J.: An argumentation-theoretic characterisation of defeasible logic. In: ECAI 2000, pp. 469–473 (2000)

    Google Scholar 

  10. Hintikka, J.: Knowledge and Belief. Cornell University Press, Ithica (1962)

    Google Scholar 

  11. Pollock, M.E., Konolige, K.: A representationalist theory of intention. In: IJCAI 1993, pp. 390–395 (1993)

    Google Scholar 

  12. Lobo, J., Bhatia, R., Naqvi, S.: A policy description language. In: AAAI 1999. AAAI/MIT Press (1999)

    Google Scholar 

  13. Maher, M.J.: Propositional defeasible logic has linear complexity. Theory and. Practice of Logic Programming 1(6), 691–711 (2001)

    MATH  MathSciNet  Google Scholar 

  14. Maher, M.J., Governatori, G.: A semantic decomposition of defeasible logic. In: AAAI 1999 (1999)

    Google Scholar 

  15. Maher, M.J., Rock, A., Antoniou, G., Billignton, D., Miller, T.: Efficient defeasible reasoning systems. International Journal of Artificial Intelligence Tools 10(4) (2001)

    Google Scholar 

  16. Nute, D.: Defeasible logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3, pp. 353–395. Oxford University Press, Oxford (1987)

    Google Scholar 

  17. Rao, A.S., Georgeff, M.P.: Modelling rational agents within a BDIarchitecture. In: KR 1991, pp. 473–484. Morgan Kaufmann, San Francisco (1991)

    Google Scholar 

  18. Singh, M.P.: Semantical considerations on intention dynamics for BDI agents. Journal of Experimental and Theoretical Artificial Intelligence (1998)

    Google Scholar 

  19. Son, T.C., Lobo, J.: Reasoning about policies using logic programa. In: AAAIspring symposium on answer set programming, March 26-28 (2001)

    Google Scholar 

  20. Sugimoto, T.: A preference-based theory of intention. In: Mizoguchi, R., Slaney, J.K. (eds.) PRICAI 2000. LNCS, vol. 1886, Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  21. Thanagrajah, J., Padgham, L., Harland, J.: Representation and reasoning for goals in BDI agents. In: Australasian Conference on Computer Science (2002)

    Google Scholar 

  22. Van Linder, B.: Modal Logic for Rational Agents. PhD thesis, Department of Computer Science, Utrecht University June 19 (1996)

    Google Scholar 

  23. Zamparelli, R.: Intentions are plans plus wishes (and more). In: AAAI Spring symposium 1993 (1993)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Information Technology & Electrical Engineering, The University of Queensland, Brisbane, QLD, Australia

    Guido Governatori & Vineet Padmanabhan

Authors
  1. Guido Governatori
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Vineet Padmanabhan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Australian National University, ACT 0200, Acton, Australia

    Tamás (Tom) Domonkos Gedeon

  2. Murdoch University,  

    Lance Chun Che Fung

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Governatori, G., Padmanabhan, V. (2003). A Defeasible Logic of Policy-Based Intention. In: Gedeon, T.(.D., Fung, L.C.C. (eds) AI 2003: Advances in Artificial Intelligence. AI 2003. Lecture Notes in Computer Science(), vol 2903. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24581-0_35

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-24581-0_35

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-20646-0

  • Online ISBN: 978-3-540-24581-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation