nach oben

Artificial Intelligence and Law

Erschienen in:

10.01.2019 | Original Research

An axiomatic characterization of temporalised belief revision in the law

verfasst von: Luciano H. Tamargo, Diego C. Martinez, Antonino Rotolo, Guido Governatori

Erschienen in: Artificial Intelligence and Law | Ausgabe 4/2019

Einloggen

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

search-config

KI-gestützte Suche

Aus

Abstract

This paper presents a belief revision operator that considers time intervals for modelling norm change in the law. This approach relates techniques from belief revision formalisms and time intervals with temporalised rules for legal systems. Our goal is to formalise a temporalised belief base and corresponding timed derivation, together with a proper revision operator. This operator may remove rules when needed or adapt intervals of time when contradictory norms are added in the system. For the operator, both constructive definition and an axiomatic characterisation by representation theorems are given.

Nächster Artikel When expert opinion evidence goes wrong

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren

Nur mit Berechtigung zugänglich

Alchourrón CE, Bulygin E (1981) The expressive conception of norms. In: Hilpinen R (ed), New studies in deontic logic, pp 95–125. D. Reidel, DordrechtCrossRef

Alchourrón Carlos E, Gärdenfors Peter, Makinson David C (1985) On the logic of theory change: partial meet contraction and revision functions. J Symb Logic 50:510–530MathSciNetCrossRef

Alchourrón CE, Makinson DC (1981) Hierarchies of regulations and their logic. In: Risto H (ed) New studies in deontic logic, pp 125–148. D. Reidel, DordrechtCrossRef

Alchourrón CE, Makinson David C (1982) The logic of theory change: contraction functions and their associated revision functions. Theoria 48:14–37MathSciNetCrossRef

Alchourrón CE, Makinson David C (1985) On the logic of theory change: safe contraction. Studia Logica 44:405–422MathSciNetCrossRef

Allen James F (1983) Maintaining knowledge about temporal intervals. Commun ACM 26(11):832–843CrossRef

Allen James F (1984) Towards a general theory of action and time. Artif Intell 23(2):123–154CrossRef

Augusto JC, Simari Guillermo R (2001) Temporal defeasible reasoning. Knowl Inf Syst 3(3):287–318CrossRef

Boella G, Pigozzi G, Van Der Torre L (2009) A normative framework for norm change. In: Proc. AAMAS 2009, pp 169–176. ACM

Bonanno Giacomo (2007) Axiomatic characterization of the AGM theory of belief revision in a temporal logic. Artif Intell 171(2–3):144–160MathSciNetCrossRef

Bonanno G (2009) Belief revision in a temporal framework. In: New perspectives on games and interaction, volume 4 of texts in logic and games, pp 45–80. University Press, Amsterdam

Budán MC, Cobo ML, Marténez DC, Simari Guillermo R (2017) Bipolarity in temporal argumentation frameworks. Int J Approx Reason 84:1–22MathSciNetCrossRef

Fuhrmann André (1991) Theory contraction through base contraction. J Philos Logic 20(2):175–203MathSciNetCrossRef

Gabbay Dov M, Pigozzi Gabriella, Woods John (2003) Controlled revision—an algorithmic approach for belief revision. J Log Comput 13(1):3–22MathSciNetCrossRef

Governatori G, Palmirani M, Riveret R, Rotolo A, Sartor G (2005) Norm modifications in defeasible logic. In: Legal knowledge and information systems—JURIX 2005: the eighteenth annual conference on legal knowledge and information systems, Brussels, Belgium, 8–10 December 2005, pp 13–22

Governatori G, Palmirani M, Riveret R, Rotolo A, Sartor G (2005) Norm modifications in defeasible logic. In: JURIX 2005, pp 13–22. IOS Press, Amsterdam

Governatori G, Rotolo Antonino (2010) Changing legal systems: legal abrogations and annulments in defeasible logic. Logic J IGPL 18(1):157–194MathSciNetCrossRef

Governatori Guido, Rotolo Antonino (2015) Logics for legal dynamics. In: Logic in the theory and practice of lawmaking, pp 323–356CrossRef

Governatori G, Rotolo A, Olivieri F, Scannapieco S (2013) Legal contractions: a logical analysis. In: Proc. ICAIL 2013

Governatori G, Rotolo A, Riveret R, Palmirani M, Sartor G (2007) Variants of temporal defeasible logic for modelling norm modifications. In: Proc. ICAIL’07, pp 155–159

Governatori G, Rotolo A, Sartor G (2005) Temporalised normative positions in defeasible logic. In: Proc. ICAIL 2005

Governatori G, Terenziani P (2007) Temporal extensions to defeasible logic. In: Mehmet AO, John T (eds) AI 2007, Lecture notes in computer science, vol 4830. Springer, Berlin, pp 476–485

Halpern Joseph, Shoham Yoav (1991) A propositional modal logic of time intervals. J ACM 38(4):935–962MathSciNetCrossRef

Hansson Sven O (1992) In defense of base contraction. Syntheses 91(3):239–245MathSciNetCrossRef

Hansson Sven O (1994) Kernel contraction. J Symb Logic 59:845–859MathSciNetCrossRef

Hansson Sven O (1999) A textbook of belief dynamics: theory change and database updating. Kluwer Academic Publishers, DordrechtCrossRef

Hart HLA (1994) The concept of law. Clarendon Press, Oxford

Kelsen Hans (1991) General theory of norms. Clarendon, OxfordCrossRef

Monica Della D, Goranko V, Montanari A, Sciavicco G (2011) Interval temporal logics: a journey. Bull Eur Assoc Theor Comput Sci EATCS 105:01MathSciNetMATH

Rotolo A (2010) Retroactive legal changes and revision theory in defeasible logic. In: Governatori G, Sartor G (eds) DEON 2010, volume 6181 of LNAI. LNAI. Springer, Berlin, pp 116–131

Shapiro S, Pagnucco M, Lesprance Y, Levesque HJ (2011) Iterated belief change in the situation calculus. Artif Intell 175(1):165–192. John McCarthy’s LegacyMathSciNetCrossRef

Stolpe Audun (2010) Norm-system revision: theory and application. Artif Intell Law 18(3):247–283CrossRef

Tamargo LH, Martinez DC, Rotolo A, Governatori G (2017) Temporalised belief revision in the law. In: Wyner AZ, Casini G (eds) Legal knowledge and information systems - JURIX 2017: the thirtieth annual conference, Frontiers in artifcial intelligence and applications, vol. 302, Luxembourg, IOS Press, pp 49–58

Wassermann R (2000) Resource bounded belief revision. Ph.D. Thesis, Institute for Logic, Language and Computation (ILLC). University of Amsterdam

Wheeler GR, Alberti M (2011) No revision and no contraction. Minds Mach 21(3):411–430CrossRef

Titel: An axiomatic characterization of temporalised belief revision in the law
verfasst von: Luciano H. Tamargo
Diego C. Martinez
Antonino Rotolo
Guido Governatori
Publikationsdatum: 10.01.2019
Verlag: Springer Netherlands
Erschienen in: Artificial Intelligence and Law / Ausgabe 4/2019
Print ISSN: 0924-8463
Elektronische ISSN: 1572-8382
DOI: https://doi.org/10.1007/s10506-019-09241-4

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

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

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"