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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
Alchourron, C.E., Bulygin, E.: The expressive conception of norms. In: Hilpinen (ed.) New Studies in Deontic Logic. D. Rediel Publishing Company, Dordrecht (1981)
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)
Boella, G., van der Torre, L.: Institutions with a hieararchy of authorities in distributed dynamic environments. Artificial Intelligence in Law 16(1) (2008)
Boella, G., Pigozzi, G., van der Torre, L.: Normative framework for normative system change. In: AAMAS, vol. (1), pp. 169–176 (2009)
Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)
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)
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)
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)
Makinson, D.C., van der Torre, L.: Input/output logics. Journal of Philosophical Logic 29, 383–408 (2000)
Makinson, D.C., van der Torre, L.: Constraints for input/output logics. Journal of Philosophical Logic 30, 155–185 (2001)
Makinson, D.C., van der Torre, L.: What is input/output logic. Applications of Mathematical Logic in Philosophy and Linguistics 17, 163–174 (2003)
Makinson, D.C., van der Torre, L.: Permission from an input/output perspective. Journal of Philosophical Logic 32(4), 391–416 (2003)
Makinson, D.C.: Friendliness and sympathy in logic. In: Beziau, J.-Y. (ed.) Logica Universalis, 2nd edn., pp. 195–224. Birkhauser Verlag, Basel (2007)
Makinson, D.C., Kourousias, G.: Parallel interpolation, splitting, and relevance in belief change. Journal of Symbolic Logic 72(3), 994–1002 (2007)
Makinson, D.C.: Propositional relevance through letter-sharing. Journal of Applied Logic 7, 377–387 (2009)
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)
Stolpe, A.: Norms and Norm-System Dynamics. PhD thesis. Department of Philosophy, University of Bergen, Norway (2008)
Stolpe, A.: A theory of permission based on the notion of derogation. Journal of Applied Logic 8, 97–113 (2010)
Weitzner, D.J., Abelson, H., Berners-Lee, T., Feigenbaum, J., Hendler, J., Sussman, G.J.: Information accountability. Communications of the ACM 51(6) (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)