Skip to main content
SpringerLink
Log in

A Preference-Based Semantics for CTD Reasoning

  • Conference paper
Deontic Logic and Normative Systems (DEON 2014)

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

Included in the following conference series:

Abstract

In [8] the authors developed a logical system based on the definition of a new non-classical connective ⊗ capturing the notion of reparative obligation. The system proved to be appropriate for handling well-known contrary-to-duty paradoxes but no model-theoretic semantics was presented. In this paper we fill the gap and define a suitable possible-world semantics for the system for which we can prove soundness and completeness. The semantics is a preference-based non-normal one extending and generalizing semantics for classical modal logics.

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.

Similar content being viewed by others

References

  1. Alchourrón, C.E.: Philosophical foundations of deontic logic and the logic of defeasible conditionals. In: Meyer, J.-J., Wieringa, R.J. (eds.) Deontic Logic in Computer Science. Wiley, New York (1993)

    Google Scholar 

  2. Calardo, E.: Non-normal Modal Logics, Quantification, and Deontic Dilemmas, PhD thesis, University of Bologna (2013)

    Google Scholar 

  3. Carmo, J., Jones, A.J.I.: Deontic logic and contrary to duties. In: Gabbay, D.M., Guenther, F. (eds.) Handbook of Philosophical Logic, 2nd edn. Kluwer Academic Publishers, Dordrecht (2002)

    Google Scholar 

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

    Google Scholar 

  5. Dastani, M., Governatori, G., Rotolo, A., van der Torre, L.W.N.: Programming cognitive agents in defeasible logic. In: Sutcliffe, G., Voronkov, A. (eds.) LPAR 2005. LNCS (LNAI), vol. 3835, pp. 621–636. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  6. Goble, L.: Preference semantics for deontic logic — Part II: Multiplex models. Logique et Analyse 47, 113–134 (2004)

    MathSciNet  Google Scholar 

  7. Goble, L.: Preference semantics for deontic logic part I–Simple models. Logique et Analyse 46, 383–418 (2003)

    MATH  MathSciNet  Google Scholar 

  8. Governatori, G., Rotolo, A.: Logic of violations: A Gentzen system for reasoning with contrary-to-duty obligations. Australasian Journal of Logic 4, 193–215 (2006)

    MATH  MathSciNet  Google Scholar 

  9. Governatori, G.: Thou shalt is not you will. Technical Report 8026, NICTA (2014)

    Google Scholar 

  10. Governatori, G., Olivieri, F., Rotolo, A., Scannapieco, S.: Computing strong and weak permissions in defeasible logic. J. Philosophical Logic 42(6), 799–829 (2013)

    Article  MATH  MathSciNet  Google Scholar 

  11. Governatori, G., Rotolo, A.: Justice delayed is justice denied: Logics for a temporal account of reparations and legal compliance. In: Leite, J., Torroni, P., Ågotnes, T., Boella, G., van der Torre, L. (eds.) CLIMA XII 2011. LNCS, vol. 6814, pp. 364–382. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  12. Governatori, G., Sadiq, S.: The journey to business process compliance. In: Handbook of Research on Business Process Modeling, ch. 20, pp. 426–454. IGI Global (2009)

    Google Scholar 

  13. Hansen, J.: Conflicting imperatives and dyadic deontic logic. J. Applied Logic 3(3-4), 484–511 (2005)

    Article  MATH  Google Scholar 

  14. Hansson, B.: An analysis of some deontic logics. Nous (3), 373–398 (1969)

    Google Scholar 

  15. Makinson, D.: On a fundamental problem of deontic logic. In: McNamara, P., Prakken, H. (eds.) Norms, Logics, and Information Systems. IOS (1999)

    Google Scholar 

  16. Makinson, D., van der Torre, L.: Input/output logics. J. Philosophical Logic 29(4), 383–408 (2000)

    Article  MATH  Google Scholar 

  17. Makinson, D., van der Torre, L.: Constraints for input/output logics. J. Philosophical Logic 30(2), 155–185 (2001)

    Article  MATH  Google Scholar 

  18. Prakken, H., Sergot, M.J.: Contrary-to-duty obligations. Studia Logica 57(1), 91–115 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  19. Stenius, E.: Principles of a logic of normative systems. Acta Philosophica Fennica 16, 247–260 (1963)

    MATH  MathSciNet  Google Scholar 

  20. van Benthem, J., Grossi, D., Liu, F.: Priority structures in deontic logic. Theoria (2013)

    Google Scholar 

  21. van der Torre, L.: Reasoning about obligations: defeasibility in preference-based deontic logic. PhD thesis, Erasmus University Rotterdam (1997)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CIRSFID, University of Bologna, Italy

    Erica Calardo & Antonino Rotolo

  2. NICTA, Software Systems Research Group, Australia

    Guido Governatori

  3. Queensland University of Technology, Brisbane, Australia

    Guido Governatori

Authors
  1. Erica Calardo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Guido Governatori
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Antonino Rotolo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Philosophy, Northwestern University, Campus Drive, 1880, 60208, Evanston, IL, USA

    Fabrizio Cariani

  2. Department of Computer Science, University of Liverpool, Ashton Building, Ashton Street, L69 3BX, Liverpool, UK

    Davide Grossi

  3. Centre for Logic and Philosophy of Science, Universiteit Gent, Blandijnberg 2, 9000, Gent, Belgium

    Joke Meheus

  4. University of Luxembourg,  6, rue Richard Coudenhove-Kalergi, 1359, Luxembourg, Luxembourg

    Xavier Parent

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Calardo, E., Governatori, G., Rotolo, A. (2014). A Preference-Based Semantics for CTD Reasoning. In: Cariani, F., Grossi, D., Meheus, J., Parent, X. (eds) Deontic Logic and Normative Systems. DEON 2014. Lecture Notes in Computer Science(), vol 8554. Springer, Cham. https://doi.org/10.1007/978-3-319-08615-6_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-08615-6_5

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-08614-9

  • Online ISBN: 978-3-319-08615-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation