Skip to main content
Erschienen in: Artificial Intelligence and Law 3/2010

01.09.2010

Norm-system revision: theory and application

verfasst von: Audun Stolpe

Erschienen in: Artificial Intelligence and Law | Ausgabe 3/2010

Einloggen

Aktivieren Sie unsere intelligente Suche um passende Fachinhalte oder Patente zu finden.

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

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!

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!

Anhänge
Nur mit Berechtigung zugänglich
Fußnoten
1
The inference from (af) 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.
 
Literatur
Zurück zum Zitat Alchourrón CE, Bulygin E (1971) Normative systems. Volume 5 of Library of exact philosophy. Springer Alchourrón CE, Bulygin E (1971) Normative systems. Volume 5 of Library of exact philosophy. Springer
Zurück zum Zitat 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 CE, Bulygin E (1981) The expressive conception of norms. In: Hilpinen R (ed) New studies in deontic logic. D. Reidel Publishing Company, Dordrecht
Zurück zum Zitat 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 C, Makinson D (1981) Hierarchies of regulations and their logic. In: Hilpinen R (ed) New studies in deontic logic. D Reidel Publishing Company, Dordrecht
Zurück zum Zitat Alchourron CE, Makinson D (1982) On the logic of theory change: contraction functions and their associated revision functions. Theoria 48:14–37CrossRefMathSciNet Alchourron CE, Makinson D (1982) On the logic of theory change: contraction functions and their associated revision functions. Theoria 48:14–37CrossRefMathSciNet
Zurück zum Zitat 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 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
Zurück zum Zitat Bochman A (2001) A logical theory of nonmonotonic inference and belief change. Springer, BerlinMATH Bochman A (2001) A logical theory of nonmonotonic inference and belief change. Springer, BerlinMATH
Zurück zum Zitat Boella G, van der Torre L, Verhagen H (2006) Introduction to normative multiagent systems. Comput Math Organ Theory 12:71–79CrossRef Boella G, van der Torre L, Verhagen H (2006) Introduction to normative multiagent systems. Comput Math Organ Theory 12:71–79CrossRef
Zurück zum Zitat 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 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
Zurück zum Zitat 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 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
Zurück zum Zitat Davey BA, Priestley HA (2002) Introduction to lattices and order. Cambridge University Press, CambridgeMATH Davey BA, Priestley HA (2002) Introduction to lattices and order. Cambridge University Press, CambridgeMATH
Zurück zum Zitat Dubislav W (1937) Zur Unbegründbarkeit der Forederungsätze. Theoria 3:330–342 Dubislav W (1937) Zur Unbegründbarkeit der Forederungsätze. Theoria 3:330–342
Zurück zum Zitat Fuhrmann A (1997) An essay on contraction. CSLI Publications, CA Fuhrmann A (1997) An essay on contraction. CSLI Publications, CA
Zurück zum Zitat 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, Sartor G (2005) Temporalised normative positions in defeasible logic. In: Proceedings of the 10th international conference on artificial intelligence and law, pp. 25–34
Zurück zum Zitat 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, 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
Zurück zum Zitat Governatori G, Rotolo A (2008) Changing legal systems: legal abrogations and annulments in defeasible logic. Log J IGPL 18(1):157–194CrossRefMathSciNet Governatori G, Rotolo A (2008) Changing legal systems: legal abrogations and annulments in defeasible logic. Log J IGPL 18(1):157–194CrossRefMathSciNet
Zurück zum Zitat Gärdenfors P (1988) Knowledge in flux. MIT Press, Cambridge Gärdenfors P (1988) Knowledge in flux. MIT Press, Cambridge
Zurück zum Zitat 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 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
Zurück zum Zitat Hansen J (2004) Conflicting imperatives and dyadic deontic logic. In: 7th international workshop on deontic logic in computer science, Springer Hansen J (2004) Conflicting imperatives and dyadic deontic logic. In: 7th international workshop on deontic logic in computer science, Springer
Zurück zum Zitat Hansson SO (1999) A Textbook of Belief Dynamics: Theory Change and Database Updating. Kluwer Academic Publishers, NetherlandsMATH Hansson SO (1999) A Textbook of Belief Dynamics: Theory Change and Database Updating. Kluwer Academic Publishers, NetherlandsMATH
Zurück zum Zitat 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 (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
Zurück zum Zitat Harper WL (1976b) Rational conceptual change. PSA 2:462–494 Harper WL (1976b) Rational conceptual change. PSA 2:462–494
Zurück zum Zitat Hilpinen R (2001) Deontic logc. In: Lou G (eds) The Blackwell guide to philosophical logic. Blackwell, Oxford Hilpinen R (2001) Deontic logc. In: Lou G (eds) The Blackwell guide to philosophical logic. Blackwell, Oxford
Zurück zum Zitat Jørgensen J (1937) Imperatives and logic. Erkenntnis 7:288–296 Jørgensen J (1937) Imperatives and logic. Erkenntnis 7:288–296
Zurück zum Zitat 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 (1967) Pure theory of law. Translation from the second (revised and enlarged edition) by Max Knight. University of California press, CA
Zurück zum Zitat Kelsen H (1991) General theory of norms. Clarendon press, op. post, Oxford Kelsen H (1991) General theory of norms. Clarendon press, op. post, Oxford
Zurück zum Zitat Shafer-Landau R (2003) Moral realism: a defence. Clarendon press, OxfordCrossRef Shafer-Landau R (2003) Moral realism: a defence. Clarendon press, OxfordCrossRef
Zurück zum Zitat Levi I (1991) The fixation of belief and its undoing. Cambridge University Press, CambridgeCrossRef Levi I (1991) The fixation of belief and its undoing. Cambridge University Press, CambridgeCrossRef
Zurück zum Zitat 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 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
Zurück zum Zitat Makinson DC (2003) Bridges from classical to nonmonotonic Logic. Texts in computing vol 5. King’s college press 2005 Makinson DC (2003) Bridges from classical to nonmonotonic Logic. Texts in computing vol 5. King’s college press 2005
Zurück zum Zitat 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 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
Zurück zum Zitat 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 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
Zurück zum Zitat Makinson D, van der Torre L (2001) Constraints for input/output logics. J Philos Log 30:155–185MATHCrossRef Makinson D, van der Torre L (2001) Constraints for input/output logics. J Philos Log 30:155–185MATHCrossRef
Zurück zum Zitat 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) What is input/output logic. Foundations of the formal sciences II: Applications of mathematical logic in philosophy and linguistics 17:163–174
Zurück zum Zitat Makinson D, van der Torre L (2003) Permission from an input/output perspective. J Philos Log 32:391–416MATHCrossRef Makinson D, van der Torre L (2003) Permission from an input/output perspective. J Philos Log 32:391–416MATHCrossRef
Zurück zum Zitat Nebel B (1992) Syntax-based approaches to belief -revision. In: Gärdenfors P (eds) Belief revisison. Cambridge University Press, Cambridge, pp 52–88CrossRef Nebel B (1992) Syntax-based approaches to belief -revision. In: Gärdenfors P (eds) Belief revisison. Cambridge University Press, Cambridge, pp 52–88CrossRef
Zurück zum Zitat Prakken H (1997) Logical tools for modelling legal argument: a study of defeasible reasoning in law. Kluwer, Dodrecht Prakken H (1997) Logical tools for modelling legal argument: a study of defeasible reasoning in law. Kluwer, Dodrecht
Zurück zum Zitat Prakken H, Sartor G (1997) Argument-based logic programming with defeasible priorities. J Appl Non-classical Log 7:25–75MATHMathSciNet Prakken H, Sartor G (1997) Argument-based logic programming with defeasible priorities. J Appl Non-classical Log 7:25–75MATHMathSciNet
Zurück zum Zitat Ross A (1968) Directives and norms. Routledge and Kegan Paul, London Ross A (1968) Directives and norms. Routledge and Kegan Paul, London
Zurück zum Zitat Rott H (1992) Preferential belief change using generalized epistemic entrenchment. J Log Lang Inform 1:45–78MATHMathSciNet Rott H (1992) Preferential belief change using generalized epistemic entrenchment. J Log Lang Inform 1:45–78MATHMathSciNet
Zurück zum Zitat Segerberg K (2009) Blueprint for a dynamic deontic logic. J Appl Log 7(4) Segerberg K (2009) Blueprint for a dynamic deontic logic. J Appl Log 7(4)
Zurück zum Zitat Stolpe A (2008a) Norms and norm-system dynamics. Ph.D. thesis, Department of Philosophy, University of Bergen, Norway Stolpe A (2008a) Norms and norm-system dynamics. Ph.D. thesis, Department of Philosophy, University of Bergen, Norway
Zurück zum Zitat Stolpe A (2008b) Normative consequence: the problem of keeping it whilst giving it up. In: Proceedings of DEON08, Springer Stolpe A (2008b) Normative consequence: the problem of keeping it whilst giving it up. In: Proceedings of DEON08, Springer
Zurück zum Zitat Stolpe A (2010) Relevance, derogation and permission. In: Proceedings of DEON 2010. Springer Stolpe A (2010) Relevance, derogation and permission. In: Proceedings of DEON 2010. Springer
Zurück zum Zitat Vranas PBM (2008) New foundations for imperative logic II. Nôus 42(4):529–572MathSciNet Vranas PBM (2008) New foundations for imperative logic II. Nôus 42(4):529–572MathSciNet
Zurück zum Zitat Vranes E (2006) The definition of ‘norm conflict’ in international law and legal theory. J Int Law 17(2) Vranes E (2006) The definition of ‘norm conflict’ in international law and legal theory. J Int Law 17(2)
Zurück zum Zitat Weinberger O (1985) The expressive conception of norms—an impasse for the logic of norms. Law Philos 4(2):165–198CrossRefMathSciNet Weinberger O (1985) The expressive conception of norms—an impasse for the logic of norms. Law Philos 4(2):165–198CrossRefMathSciNet
Zurück zum Zitat Weitzner DJ, Abelson H, Berners-Lee T, Feigenbaum J, Hendler J, Sussman GJ (2008) Information accountability. Commun ACM 51(6) Weitzner DJ, Abelson H, Berners-Lee T, Feigenbaum J, Hendler J, Sussman GJ (2008) Information accountability. Commun ACM 51(6)
Zurück zum Zitat Williams M-A, Rott H (eds) (2001) Frontiers in belief revision, vol 22 of Applied logic series. Kluwer Academic Publishers Williams M-A, Rott H (eds) (2001) Frontiers in belief revision, vol 22 of Applied logic series. Kluwer Academic Publishers
Zurück zum Zitat von Wright GH (1963) Norm and action. Routledge & Kegan Paul, London von Wright GH (1963) Norm and action. Routledge & Kegan Paul, London
Zurück zum Zitat von Wright GH (1998) Is and ought. In: Normativity and norms. Clarendon press, Oxford von Wright GH (1998) Is and ought. In: Normativity and norms. Clarendon press, Oxford
Zurück zum Zitat von Wright GH (1999) Deontic logic—as I see it. In: McNamara P, Prakken H (eds) Norms, logics and information systems. IOS, Amsterdam von Wright GH (1999) Deontic logic—as I see it. In: McNamara P, Prakken H (eds) Norms, logics and information systems. IOS, Amsterdam
Metadaten
Titel
Norm-system revision: theory and application
verfasst von
Audun Stolpe
Publikationsdatum
01.09.2010
Verlag
Springer Netherlands
Erschienen in
Artificial Intelligence and Law / Ausgabe 3/2010
Print ISSN: 0924-8463
Elektronische ISSN: 1572-8382
DOI
https://doi.org/10.1007/s10506-010-9097-5