Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Artificial Intelligence and Law
Published in: Artificial Intelligence and Law 3/2010

01-09-2010

Norm-system revision: theory and application

Author: Audun Stolpe

Published in: Artificial Intelligence and Law | Issue 3/2010

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

This paper generalises classical revision theory of the AGM brand to sets of norms. This is achieved substituting input/output logic for classical logic and tracking the changes. Operations of derogation and amendment—analogues of contraction and revision—are defined and characterised, and the precise relationship between contraction and derogation, on the one hand, and derogation and amendment on the other, is established. It is argued that the notion of derogation, in particular, is a very important analytical tool, and that even core deontic concepts such as that of permission resists a satisfactory analysis without it. By way of illustration the last section of the paper analyses the much debated concept of positive permission, of which there turns out to be more than one kind.
previous article Similarity, precedent and argument from analogy
next article The use of legal software by non-lawyers and the perils of unauthorised practice of law charges in the United States: a review of Jayson Reynoso decision

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
Appendix
Available only for authorised users
Footnotes
1
The inference from (a, f) to \((t, \neg a)\) is not, however, licensed by any of the input/output systems currently on offer.
 
2
Proofs of the lemmas and theorems in this subsection—they are all very easy—can be found in Stolpe (2008a).
 
3
The failure of the global version of recovery for contraction of input/output systems was noted in Boella et al. (2009). The authors do not offer an alternative, however.
 
4
Having said that, I shall resort to the use of D-Relevance in the characterisation of revision of sets of norms in Sect. 6, since a better representation of the revision operation has not been forthcoming.
 
Literature
Alchourrón CE, Bulygin E (1971) Normative systems. Volume 5 of Library of exact philosophy. Springer
Alchourron CE, Bulygin E (1981) The expressive conception of norms. In: Hilpinen R (ed) New studies in deontic logic. D. Reidel Publishing Company, Dordrecht
Alchourron C, Makinson D (1981) Hierarchies of regulations and their logic. In: Hilpinen R (ed) New studies in deontic logic. D Reidel Publishing Company, Dordrecht
Alchourron CE, Makinson D (1982) On the logic of theory change: contraction functions and their associated revision functions. Theoria 48:14–37CrossRefMathSciNet
Alchourron CE, Gärdenfors P, Makinson D (1985) On the logic of theory change: partial meet contraction and revision functions. J Symbolic Log 50(2):510–530MATHCrossRef
Bochman A (2001) A logical theory of nonmonotonic inference and belief change. Springer, BerlinMATH
Boella G, van der Torre L, Verhagen H (2006) Introduction to normative multiagent systems. Comput Math Organ Theory 12:71–79CrossRef
Boella G, Pigozzi G, van der Torre L (2009) Normative framework for normative system change. In: Proceedings of the 8th international conference on autonomous agents and multiagent systems 1:169–176
Carmo J, Jones AJI (2002) Deontic logic and contrary-to-duties. In: Gabbay D, Guenthner F (eds) Handbook of philosophical logic, vol 8. Kluwer, Netherlands
Davey BA, Priestley HA (2002) Introduction to lattices and order. Cambridge University Press, CambridgeMATH
Dubislav W (1937) Zur Unbegründbarkeit der Forederungsätze. Theoria 3:330–342
Fuhrmann A (1997) An essay on contraction. CSLI Publications, CA
Governatori G, Rotolo A, Sartor G (2005) Temporalised normative positions in defeasible logic. In: Proceedings of the 10th international conference on artificial intelligence and law, pp. 25–34
Governatori G, Rotolo A, Riveret R, Palmirani M, Sartor G (2007) Variants of temporal defeasible logic for modelling norm modifications. In: Proceedings of the 11th international conference on artificial intelligence and law, pp. 155–159
Governatori G, Rotolo A (2008) Changing legal systems: legal abrogations and annulments in defeasible logic. Log J IGPL 18(1):157–194CrossRefMathSciNet
Gärdenfors P (1988) Knowledge in flux. MIT Press, Cambridge
Gärdenfors P, Rott H (1995) Belief revision. In: Gabbay DM, Hogger CJ, Robinson JA (eds) Handbook of logic in artifcial intelligence and logic programming, volume IV. Oxford University Press, Oxford, pp 35–132
Hansen J (2004) Conflicting imperatives and dyadic deontic logic. In: 7th international workshop on deontic logic in computer science, Springer
Hansson SO (1999) A Textbook of Belief Dynamics: Theory Change and Database Updating. Kluwer Academic Publishers, NetherlandsMATH
Harper WL (1976a) Ramsey test conditionals and iterated belief change. In: Harper WL, Hooker CA (eds) Foundations of probability theory, statistical inference, and statistical theories of sciences. D. Reidel, Dordrecht, pp 117–135
Harper WL (1976b) Rational conceptual change. PSA 2:462–494
Hilpinen R (2001) Deontic logc. In: Lou G (eds) The Blackwell guide to philosophical logic. Blackwell, Oxford
Jørgensen J (1937) Imperatives and logic. Erkenntnis 7:288–296
Kelsen H (1967) Pure theory of law. Translation from the second (revised and enlarged edition) by Max Knight. University of California press, CA
Kelsen H (1991) General theory of norms. Clarendon press, op. post, Oxford
Levi I (1991) The fixation of belief and its undoing. Cambridge University Press, CambridgeCrossRef
Makinson D (1999) On a fundamental problem of deontic logic. In: McNamara P, Prakken H (eds) Norms, logics and information systems. New studies in deontic logic and computer science. IOS Press, Amsterdam, pp 29–53
Makinson DC (2003) Bridges from classical to nonmonotonic Logic. Texts in computing vol 5. King’s college press 2005
Makinson D, Gärdenfors P (1988) Revision of knowledge systems and epistemic entrenchment. In: Vardi M (ed) Proceedings of the second conference on theoretical aspects of reasoning about knowledge, Morgan Kaufmann, lk, pp 83–95
Makinson DC, Gärdenfors P (1991) Relations between the logic of theory change and nonmonotonic logic. In: Fuhrmann, Morreu (eds) The logic of theory change, Springer, pp 185–205
Makinson D, van der Torre L (2001) Constraints for input/output logics. J Philos Log 30:155–185MATHCrossRef
Makinson D, van der Torre L (2003) What is input/output logic. Foundations of the formal sciences II: Applications of mathematical logic in philosophy and linguistics 17:163–174
Makinson D, van der Torre L (2003) Permission from an input/output perspective. J Philos Log 32:391–416MATHCrossRef
Nebel B (1992) Syntax-based approaches to belief -revision. In: Gärdenfors P (eds) Belief revisison. Cambridge University Press, Cambridge, pp 52–88CrossRef
Prakken H (1997) Logical tools for modelling legal argument: a study of defeasible reasoning in law. Kluwer, Dodrecht
Prakken H, Sartor G (1997) Argument-based logic programming with defeasible priorities. J Appl Non-classical Log 7:25–75MATHMathSciNet
Ross A (1968) Directives and norms. Routledge and Kegan Paul, London
Rott H (1992) Preferential belief change using generalized epistemic entrenchment. J Log Lang Inform 1:45–78MATHMathSciNet
Segerberg K (2009) Blueprint for a dynamic deontic logic. J Appl Log 7(4)
Stolpe A (2008a) Norms and norm-system dynamics. Ph.D. thesis, Department of Philosophy, University of Bergen, Norway
Stolpe A (2008b) Normative consequence: the problem of keeping it whilst giving it up. In: Proceedings of DEON08, Springer
Stolpe A (2010) Relevance, derogation and permission. In: Proceedings of DEON 2010. Springer
Vranes E (2006) The definition of ‘norm conflict’ in international law and legal theory. J Int Law 17(2)
Weinberger O (1985) The expressive conception of norms—an impasse for the logic of norms. Law Philos 4(2):165–198CrossRefMathSciNet
Weitzner DJ, Abelson H, Berners-Lee T, Feigenbaum J, Hendler J, Sussman GJ (2008) Information accountability. Commun ACM 51(6)
Williams M-A, Rott H (eds) (2001) Frontiers in belief revision, vol 22 of Applied logic series. Kluwer Academic Publishers
von Wright GH (1963) Norm and action. Routledge & Kegan Paul, London
von Wright GH (1998) Is and ought. In: Normativity and norms. Clarendon press, Oxford
von Wright GH (1999) Deontic logic—as I see it. In: McNamara P, Prakken H (eds) Norms, logics and information systems. IOS, Amsterdam
Metadata
Title
Norm-system revision: theory and application
Author
Audun Stolpe
Publication date
01-09-2010
Publisher
Springer Netherlands
Published in
Artificial Intelligence and Law / Issue 3/2010
Print ISSN: 0924-8463
Electronic ISSN: 1572-8382
DOI
https://doi.org/10.1007/s10506-010-9097-5

Premium Partner

    Image Credits