Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Deontic Logic in Computer Science

DEON 2004: Deontic Logic in Computer Science pp 114–128Cite as

Defeasible Logic: Agency, Intention and Obligation

  • Conference paper

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

Abstract

We propose a computationally oriented non-monotonic multi-modal logic arising from the combination of agency, intention and obligation. We argue about the defeasible nature of these notions and then we show how to represent and reason with them in the setting of defeasible logic.

This is a preview of subscription content, 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

Learn about 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.J.: A flexible framework for defeasible logics. In: AAAI 2000, AAAI/MIT Press (2000)

    Google Scholar 

  2. Bratman, M., Israel, D., Pollack, M.: Plans and resource-bounded practical reasoning. Computational Intelligence 4 (1988)

    Google Scholar 

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

    Google Scholar 

  4. Broersen, J., Dastani, M., Hulstijn, J., Huang, Z., van der Torre, L.: The BOID architecture. In: Agents 2001 (2001)

    Google Scholar 

  5. Broersen, J., Dastani, M., van der Torre, L.: Resolving Conflicts between Beliefs, Obligations, Intentions, and Desires. In: Benferhat, S., Besnard, P. (eds.) ECSQARU 2001. LNCS (LNAI), vol. 2143, p. 568. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  6. Broersen, J., Dastani, M., van der Torre, L.: BDIOCTL: Obligations and the specification of agent behavior. In: IJCAI 2003 (2003)

    Google Scholar 

  7. Carmo, J., Jones, A.J.: Deontic logic and contrary-to-duties. In: Gabbay, D., Guentner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol. 8, Kluwer, Dordrecht (2000)

    Google Scholar 

  8. Dastani, M., van der Torre, L.: A classification of cognitive agents. In: Cogsci 2002 (2002)

    Google Scholar 

  9. Elgesem, D.: The modal logic of agency. Nordic Journal of Philosophical Logic 2 (1997)

    Google Scholar 

  10. Gelati, J., Governatori, G., Rotolo, A., Sartor, G.: Declarative power, representation, and mandate: A formal analysis. In: Bench-Capon, T., Deskalopulu, A., Winkels, R. (eds.) JURIX 2002, IOS Press, Amsterdam (2002)

    Google Scholar 

  11. Governatori, G., Padmanabhan, V.: A defeasible logic of policy-based intention. In: Gedeon, T(T.) D., Fung, L.C.C. (eds.) AI 2003. LNCS (LNAI), vol. 2903, pp. 414–426. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  12. Governatori, G., Rotolo, A.: A defeasible logic of institutional agency. In: Brewka, G., Peppas, P. (eds.) NRAC 2003 (2003)

    Google Scholar 

  13. Halpern, J.Y., Moses, Y.: A guide to completeness and complexity for modal logic of knowledge and belief. Artificial Intelligence 54 (1992)

    Google Scholar 

  14. Hilpinen, R.: On action and agency. In: Ejerhed, E., Lindström, S. (eds.) Logic, Action and Cognition: Essays in Philosophical Logic, Kluwer, Dordrecht (1997)

    Google Scholar 

  15. Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 44 (1990)

    Google Scholar 

  16. Maher, M.: Propositional defeasible logic has linear complexity. Theory and Practice of Logic Programming (6) (2001)

    Google Scholar 

  17. Maher, M.J., Governatori, G.: A semantic decomposition of defeasible logic. In: AAAI 1999, AAAI Press, Menlo Park (1999)

    Google Scholar 

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

    Google Scholar 

  19. Meyer, J.-J.C., van der Hoek, W.: Epistemic Logic for AI and Computer Science. Cambridge University Press, Cambridge (1995)

    Book  MATH  Google Scholar 

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

    Google Scholar 

  21. Nute, D.: Norms, priorities, and defeasible logic. In: McNamara, P., Prakken, H. (eds.) Norms, Logics and Information Systems, IOS Press, Amsterdam (1998)

    Google Scholar 

  22. Pitt, J. (ed.): Open Agent Societies. Wiley, Chichester (2004)

    Google Scholar 

  23. Rao, A., Georgeff, M.: Modelling rational agents within a BDI-architecture. In: Fikes, A.J., Sandewall, R.E. (eds.) KR 1991, Morgan Kaufmann, San Francisco (1991)

    Google Scholar 

  24. Rao, A., Georgeff, M.: BDI agents: From theory to practice. In: ICMAS 1995 (1995)

    Google Scholar 

  25. Santos, F., Carmo, J.: Indirect action: Influence and responsibility. In: Brown, M., Carmo, J. (eds.) Deontic Logic, Agency and Normative Systems, Springer, Heidelberg (1996)

    Google Scholar 

  26. Sergot, M., Richards, F.: On the representation of action and agency in the theory of normative positions. Fundamenta Informaticae 48 (2001)

    Google Scholar 

  27. Thomason, R.H.: Desires and defaults: A framework for planning with inferred goals. In: Cohn, A.G., Giunchiglia, F., Selman, B. (eds.) KR 2000, Morgan Kaufmann, San Francisco (2000)

    Google Scholar 

  28. van der Torre, L., Tan, Y.: The many faces of defeasibility. In: Nute, D. (ed.) Defeasible Deontic Logic, Kluwer, Dordrecht (1997)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of ITEE, The University of Queensland, Australia

    Guido Governatori

  2. CIRSFID, University of Bologna, Italy

    Antonino Rotolo

Authors
  1. Guido Governatori
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Antonino Rotolo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computing, Imperial College, London, UK

    Alessio Lomuscio

  2. Department of Computer Science and Artificial Intelligence Center, The University of Georgia, 30602, Athens, GA,  

    Donald Nute

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Governatori, G., Rotolo, A. (2004). Defeasible Logic: Agency, Intention and Obligation. In: Lomuscio, A., Nute, D. (eds) Deontic Logic in Computer Science. DEON 2004. Lecture Notes in Computer Science(), vol 3065. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25927-5_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-25927-5_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-22111-1

  • Online ISBN: 978-3-540-25927-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation