Skip to main content
SpringerLink
Log in

Discussion Paper: Changing Norms Is Changing Obligation Change

  • Conference paper
Deontic Logic in Computer Science (DEON 2012)

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

Included in the following conference series:

Abstract

Norm change is one of the main challenges for normative reasoning. This discussion paper presents some novel informal and semi-formal ideas regarding the nature and formalization of norm change. First, we contrast the second-order nature of norm change with the first-order nature of obligation change. Second, we discuss how to change the normative system to avoid future obligations in the input/output logic framework, which explicitly distinguishes norms from obligations. Third, we present a semantical two dimensional view on change. Fourth, we illustrate norm change using automata changing automata. Fifth, we compare norm change with analogous mechanisms in non-normative contexts.

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 49.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. Baltag, A., Smets, S.: Group belief dynamics under iterated revision: fixed points and cycles of joint upgrades. In: TARK 2009: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge, pp. 41–50. ACM, New York (2009)

    Chapter  Google Scholar 

  2. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science, vol. 53. Cambridge University Press (2001)

    Google Scholar 

  3. Broersen, J., van der Torre, L.: Reasoning about Norms, Obligations, Time and Agents. In: Ghose, A., Governatori, G., Sadananda, R. (eds.) PRIMA 2007. LNCS, vol. 5044, pp. 171–182. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  4. Broersen, J., Brunel, J.: ‘What I Fail to Do Today, I Have to Do Tomorrow’: A Logical Study of the Propagation of Obligations. In: Sadri, F., Satoh, K. (eds.) CLIMA VIII 2007. LNCS (LNAI), vol. 5056, pp. 82–99. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  5. Broersen, J.: Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm’s Scenario. In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS (LNAI), vol. 4048, pp. 53–68. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  6. Broersen, J.: Issues in Designing Logical Models for Norm Change. In: Vouros, G., Artikis, A., Stathis, K., Pitt, J. (eds.) OAMAS 2008. LNCS, vol. 5368, pp. 1–17. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  7. Broersen, J., Dignum, F.P.M., Dignum, V., Meyer, J.-J.C.: Designing a Deontic Logic of Deadlines. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol. 3065, pp. 43–56. Springer, Heidelberg (2004), doi:10.1007/b98159

    Chapter  Google Scholar 

  8. Broersen, J., van der Torre, L.: Reasoning about Norms, Obligations, Time and Agents. In: Ghose, A., Governatori, G., Sadananda, R. (eds.) PRIMA 2007. LNCS, vol. 5044, pp. 171–182. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  9. Chisholm, R.M.: Contrary-to-duty imperatives and deontic logic. Analysis 24, 33–36 (1963)

    Article  Google Scholar 

  10. Crochemore, M., Gabbay, D.: Reactive automata. Information and Computation 209(4), 692–704 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  11. Elster, J.: Ulysses and the Sirens (1979)

    Google Scholar 

  12. van Fraassen, B.: Belief and the problem of Ulysses and the Sirens. Philosophical Studies 77, 7–37 (1995)

    Article  Google Scholar 

  13. Pigozzi, G., Boella, G., van der Torre, L.: A normative framework for norm change. In: AAMAS 2009: Proceedings of the Eighth International Joint Conference on Autonomous Agents and Multiagent Systems. ACM, New York (2009)

    Google Scholar 

  14. Governatori, G., Rotolo, A.: Changing legal systems: Legal abrogations and annulments in defeasible logic. Journal of Logic and Computation (2010)

    Google Scholar 

  15. Hansson, B.: An analysis of some deontic logic. In: Hilpinen, R. (ed.) Deontic Logic: Introductory and Systematic Readings, pp. 121–147. Reidel (1971); reprinted from Nous 3, 373-398 (1969)

    Google Scholar 

  16. Hansson, S.O.: A Textbook of Belief Dynamics. Kluwer Academic Publishers, Dordrecht (1999)

    Book  MATH  Google Scholar 

  17. Horty, J.F.: Agency and Deontic Logic. Oxford University Press (2001)

    Google Scholar 

  18. Makinson, D., van der Torre, L.: Input-output logics. Journal of Philosphical Logic 29, 383–408 (2000)

    Article  MATH  Google Scholar 

  19. Makinson, D., van der Torre, L.: Permission from an input-output perspective. Journal of Philosophical Logic 32(26), 391–416 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  20. Makinson, D., van der Torre, L.: Input-output logics. Journal of Philosophical Logic 29(4), 383–408 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  21. Makinson, D., van der Torre, L.: Constraints for input-output logics. Journal of Philosophical Logic 30(2), 155–185 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  22. Parfit, D.: Reasons and Persons (1984)

    Google Scholar 

  23. Smith, M.: The Humean theory of motivation. Mind 96, 36–61 (1987)

    Article  Google Scholar 

  24. Tinnemeier, N., Dastani, M., Meyer, J.-J.: Programming norm change. In: AAMAS 2010: Proceedings of the Ninth International Joint Conference on Autonomous Agents and Multiagent Systems. ACM, New York (2010)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Utrecht University, The Netherlands

    Jan Broersen

  2. Bar Ilan University, Israel

    Dov Gabbay

  3. King’s College London, UK

    Dov Gabbay

  4. University of Luxembourg, Luxembourg

    Dov Gabbay & Leendert van der Torre

Authors
  1. Jan Broersen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dov Gabbay
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Leendert van der Torre
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Information Science and Media Studies, University of Bergen, 7802, 5020, Bergen, Norway

    Thomas Ågotnes  & Dag Elgesem  & 

  2. Department of Information and Computing Sciences, Utrecht University, 80.089, 3508 TB, Utrecht, The Netherlands

    Jan Broersen

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Broersen, J., Gabbay, D., van der Torre, L. (2012). Discussion Paper: Changing Norms Is Changing Obligation Change. In: Ågotnes, T., Broersen, J., Elgesem, D. (eds) Deontic Logic in Computer Science. DEON 2012. Lecture Notes in Computer Science(), vol 7393. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31570-1_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-31570-1_14

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-31569-5

  • Online ISBN: 978-3-642-31570-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation