Skip to main content
SpringerLink
Log in

Relevance, Derogation and Permission

A Case for a Normal Form for Codes of Norms

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

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

Included in the following conference series:

Abstract

We show that a recently developed theory of positive permission based on the notion of derogation is hampered by a triviality result that indicates a problem with the underlying full-meet contraction operation. We suggest a solution that presupposes a particular normal form for codes of norms, adapted from the theory of relevance through propositional letter sharing. We then establish a correspondence between contractions on sets of norms in input/output logic (derogations), and AGM-style contractions on sets of formulae, and use it as a bridge to migrate results on propositional relevance from the latter to the former idiom. Changing the concept accordingly we show that positive permission now incorporates a relevance requirement that wards off triviality.

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.

References

  1. Abadi, M.: Variations in access control logic. In: van der Meyden, R., van der Torre, L. (eds.) DEON 2008. LNCS (LNAI), vol. 5076, pp. 96–109. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  2. Alchourron, C.E., Bulygin, E.: The expressive conception of norms. In: Hilpinen (ed.) New Studies in Deontic Logic. D. Rediel Publishing Company, Dordrecht (1981)

    Google Scholar 

  3. Alchourron, C.E., Gärdenfors, P., Makinson, D.C.: On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic 50(2), 510–530 (1985)

    Article  MATH  MathSciNet  Google Scholar 

  4. Boella, G., van der Torre, L.: Institutions with a hieararchy of authorities in distributed dynamic environments. Artificial Intelligence in Law 16(1) (2008)

    Google Scholar 

  5. Boella, G., Pigozzi, G., van der Torre, L.: Normative framework for normative system change. In: AAMAS, vol. (1), pp. 169–176 (2009)

    Google Scholar 

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

    MATH  Google Scholar 

  7. Governatori, G., Rotolo, A., Sartor, G.: Temporalised Normative Positions In Defeasible Logic. In: Proceedings of the International Conference on Artificial Intelligence and Law, pp. 25–34 (2005)

    Google Scholar 

  8. Governatori, G., Rotolo, A., Riveret, R., Palmirani, M., Sartor, G.: Variants Of Temporal Defeasible Logic For Modelling Norm Modifications. In: ICAIL 2007, pp. 155–159 (2007)

    Google Scholar 

  9. Governatori, G., Rotolo, A.: Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories. In: van der Meyden, R., van der Torre, L. (eds.) DEON 2008. LNCS (LNAI), vol. 5076, pp. 3–18. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  10. Makinson, D.C., van der Torre, L.: Input/output logics. Journal of Philosophical Logic 29, 383–408 (2000)

    Article  MATH  MathSciNet  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  12. Makinson, D.C., van der Torre, L.: What is input/output logic. Applications of Mathematical Logic in Philosophy and Linguistics 17, 163–174 (2003)

    Google Scholar 

  13. Makinson, D.C., van der Torre, L.: Permission from an input/output perspective. Journal of Philosophical Logic 32(4), 391–416 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  14. Makinson, D.C.: Friendliness and sympathy in logic. In: Beziau, J.-Y. (ed.) Logica Universalis, 2nd edn., pp. 195–224. Birkhauser Verlag, Basel (2007)

    Google Scholar 

  15. Makinson, D.C., Kourousias, G.: Parallel interpolation, splitting, and relevance in belief change. Journal of Symbolic Logic 72(3), 994–1002 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  16. Makinson, D.C.: Propositional relevance through letter-sharing. Journal of Applied Logic 7, 377–387 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  17. Parikh, R.: Beliefs, belief revision, and splitting languages. In: Moss, L., Ginzburg, J., de Rijke, M. (eds.) Logic, Language, and Computation, vol. 96, pp. 266–278. CSLI Publications, Stanford (1999)

    Google Scholar 

  18. Stolpe, A.: Norms and Norm-System Dynamics. PhD thesis. Department of Philosophy, University of Bergen, Norway (2008)

    Google Scholar 

  19. Stolpe, A.: A theory of permission based on the notion of derogation. Journal of Applied Logic 8, 97–113 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  20. Weitzner, D.J., Abelson, H., Berners-Lee, T., Feigenbaum, J., Hendler, J., Sussman, G.J.: Information accountability. Communications of the ACM 51(6) (2008)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Informatics, University of Oslo, Norway

    Audun Stolpe

Authors
  1. Audun Stolpe
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Queensland Research Laboratory, National ICT Australia, 4067, St Lucia, QLD, Australia

    Guido Governatori

  2. European University Institute, Badia Fiesolana, 50016 San Domenico di Fiesole, Florence, Italy, and University of Bologna, Via Zamboni, 33, 40126, Bologna, Italy

    Giovanni Sartor

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Stolpe, A. (2010). Relevance, Derogation and Permission . In: Governatori, G., Sartor, G. (eds) Deontic Logic in Computer Science. DEON 2010. Lecture Notes in Computer Science(), vol 6181. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14183-6_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-14183-6_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-14182-9

  • Online ISBN: 978-3-642-14183-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation