International Workshop on Deontic Logic in Computer Science

DEON 2004: Deontic Logic in Computer Science pp 114-128

Defeasible Logic: Agency, Intention and Obligation

  • Guido Governatori
  • Antonino Rotolo
Conference paper

DOI: 10.1007/978-3-540-25927-5_8

Volume 3065 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
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

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Guido Governatori
    • 1
  • Antonino Rotolo
    • 2
  1. 1.School of ITEEThe University of QueenslandAustralia
  2. 2.CIRSFIDUniversity of BolognaItaly