An axiomatic characterization of temporalised belief revision in the law

  • Luciano H. TamargoEmail author
  • Diego C. Martinez
  • Antonino Rotolo
  • Guido Governatori
Original Research


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.


Norm change Belief revision Temporal reasoning 



A preliminary version of this work was published in the proceedings of JURIX 2017 (Tamargo et al. 2017). We would like to thank the anonymous reviewers of JURIX 2017 and the conference audience for their useful comments. This work was partially supported by PGI-UNS (Grants 24/ZN30, 24/ZN32) and EU H2020 research and innovation programme under the Marie Sklodowska-Curie grant agreement No. 690974 for the project MIREL: MIning and REasoning with Legal texts.


  1. 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, DordrechtGoogle Scholar
  2. 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–530MathSciNetCrossRefzbMATHGoogle Scholar
  3. 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, DordrechtGoogle Scholar
  4. Alchourrón CE, Makinson David C (1982) The logic of theory change: contraction functions and their associated revision functions. Theoria 48:14–37MathSciNetCrossRefzbMATHGoogle Scholar
  5. Alchourrón CE, Makinson David C (1985) On the logic of theory change: safe contraction. Studia Logica 44:405–422MathSciNetCrossRefzbMATHGoogle Scholar
  6. Allen James F (1983) Maintaining knowledge about temporal intervals. Commun ACM 26(11):832–843CrossRefzbMATHGoogle Scholar
  7. Allen James F (1984) Towards a general theory of action and time. Artif Intell 23(2):123–154CrossRefzbMATHGoogle Scholar
  8. Augusto JC, Simari Guillermo R (2001) Temporal defeasible reasoning. Knowl Inf Syst 3(3):287–318CrossRefzbMATHGoogle Scholar
  9. Boella G, Pigozzi G, Van Der Torre L (2009) A normative framework for norm change. In: Proc. AAMAS 2009, pp 169–176. ACMGoogle Scholar
  10. Bonanno Giacomo (2007) Axiomatic characterization of the AGM theory of belief revision in a temporal logic. Artif Intell 171(2–3):144–160MathSciNetCrossRefzbMATHGoogle Scholar
  11. 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, AmsterdamGoogle Scholar
  12. Budán MC, Cobo ML, Marténez DC, Simari Guillermo R (2017) Bipolarity in temporal argumentation frameworks. Int J Approx Reason 84:1–22MathSciNetCrossRefzbMATHGoogle Scholar
  13. Fuhrmann André (1991) Theory contraction through base contraction. J Philos Logic 20(2):175–203MathSciNetCrossRefzbMATHGoogle Scholar
  14. Gabbay Dov M, Pigozzi Gabriella, Woods John (2003) Controlled revision—an algorithmic approach for belief revision. J Log Comput 13(1):3–22MathSciNetCrossRefzbMATHGoogle Scholar
  15. 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–22Google Scholar
  16. Governatori G, Palmirani M, Riveret R, Rotolo A, Sartor G (2005) Norm modifications in defeasible logic. In: JURIX 2005, pp 13–22. IOS Press, AmsterdamGoogle Scholar
  17. Governatori G, Rotolo Antonino (2010) Changing legal systems: legal abrogations and annulments in defeasible logic. Logic J IGPL 18(1):157–194MathSciNetCrossRefzbMATHGoogle Scholar
  18. Governatori Guido, Rotolo Antonino (2015) Logics for legal dynamics. In: Logic in the theory and practice of lawmaking, pp 323–356Google Scholar
  19. Governatori G, Rotolo A, Olivieri F, Scannapieco S (2013) Legal contractions: a logical analysis. In: Proc. ICAIL 2013Google Scholar
  20. 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–159Google Scholar
  21. Governatori G, Rotolo A, Sartor G (2005) Temporalised normative positions in defeasible logic. In: Proc. ICAIL 2005Google Scholar
  22. 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–485Google Scholar
  23. Halpern Joseph, Shoham Yoav (1991) A propositional modal logic of time intervals. J ACM 38(4):935–962MathSciNetCrossRefzbMATHGoogle Scholar
  24. Hansson Sven O (1992) In defense of base contraction. Syntheses 91(3):239–245MathSciNetCrossRefzbMATHGoogle Scholar
  25. Hansson Sven O (1994) Kernel contraction. J Symb Logic 59:845–859MathSciNetCrossRefzbMATHGoogle Scholar
  26. Hansson Sven O (1999) A textbook of belief dynamics: theory change and database updating. Kluwer Academic Publishers, DordrechtCrossRefzbMATHGoogle Scholar
  27. Hart HLA (1994) The concept of law. Clarendon Press, OxfordGoogle Scholar
  28. Kelsen Hans (1991) General theory of norms. Clarendon, OxfordCrossRefGoogle Scholar
  29. Monica Della D, Goranko V, Montanari A, Sciavicco G (2011) Interval temporal logics: a journey. Bull Eur Assoc Theor Comput Sci EATCS 105:01MathSciNetzbMATHGoogle Scholar
  30. 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–131Google Scholar
  31. 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 LegacyGoogle Scholar
  32. Stolpe Audun (2010) Norm-system revision: theory and application. Artif Intell Law 18(3):247–283CrossRefGoogle Scholar
  33. 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–58Google Scholar
  34. Wassermann R (2000) Resource bounded belief revision. Ph.D. Thesis, Institute for Logic, Language and Computation (ILLC). University of AmsterdamGoogle Scholar
  35. Wheeler GR, Alberti M (2011) No revision and no contraction. Minds Mach 21(3):411–430CrossRefGoogle Scholar

Copyright information

© Springer Nature B.V. 2019

Authors and Affiliations

  1. 1.Institute for Computer Science and Engineering (UNS–CONICET), Department of Computer Science and EngineeringUniversidad Nacional del SurBahia BlancaArgentina
  2. 2.CIRSFIDUniversity of BolognaBolognaItaly
  3. 3.Data61CSIROCanberraAustralia

Personalised recommendations