Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

An axiomatic characterization of temporalised belief revision in the law

An axiomatic characterization of temporalised belief revision in the law 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. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Artificial Intelligence and Law Springer Journals

An axiomatic characterization of temporalised belief revision in the law

Download PDF
21 pages

Loading next page...
 
/lp/springer-journals/an-axiomatic-characterization-of-temporalised-belief-revision-in-the-PuYT0puU7B
Publisher
Springer Journals
Copyright
Copyright © 2019 by Springer Nature B.V.
Subject
Computer Science; Artificial Intelligence; IT Law, Media Law, Intellectual Property; Philosophy of Law; Legal Aspects of Computing; Information Storage and Retrieval
ISSN
0924-8463
eISSN
1572-8382
DOI
10.1007/s10506-019-09241-4
Publisher site
See Article on Publisher Site

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.

Journal

Artificial Intelligence and Law – Springer Journals

Published: Jan 10, 2019

References

  • New Studies in Deontic Logic
    Alchourrón, Carlos E.; Bulygin, Eugenio
  • On the logic of theory change: partial meet contraction and revision functions
    Alchourrón, Carlos E; Gärdenfors, Peter; Makinson, David C
  • New Studies in Deontic Logic
    Alchourrón, Carlos E.; Makinson, David
  • The logic of theory change: contraction functions and their associated revision functions
    Alchourrón, CE; Makinson, David C
  • On the logic of theory change: safe contraction
    Alchourrón, CE; Makinson, David C
  • Maintaining knowledge about temporal intervals
    Allen, James F
  • Towards a general theory of action and time
    Allen, James F
  • Temporal defeasible reasoning
    Augusto, JC; Simari, Guillermo R
  • Axiomatic characterization of the AGM theory of belief revision in a temporal logic
    Bonanno, Giacomo
  • Bipolarity in temporal argumentation frameworks
    Budán, MC; Cobo, ML; Marténez, DC; Simari, Guillermo R
  • Theory contraction through base contraction
    Fuhrmann, André
  • Controlled revision—an algorithmic approach for belief revision
    Gabbay, Dov M; Pigozzi, Gabriella; Woods, John
  • Changing legal systems: legal abrogations and annulments in defeasible logic
    Governatori, G; Rotolo, Antonino
  • Logic in the Theory and Practice of Lawmaking
    Governatori, Guido; Rotolo, Antonino
  • AI 2007, Lecture notes in computer science
    Governatori, G; Terenziani, P
  • A propositional modal logic of time intervals
    Halpern, Joseph; Shoham, Yoav
  • In defense of base contraction
    Hansson, Sven O
  • Kernel contraction
    Hansson, Sven O
  • A textbook of belief dynamics: theory change and database updating
    Hansson, Sven O
  • The concept of law
    Hart, HLA
  • General theory of norms
    Kelsen, Hans
  • Interval temporal logics: a journey
    Monica Della, D; Goranko, V; Montanari, A; Sciavicco, G
  • DEON 2010, volume 6181 of LNAI
    Rotolo, A
  • Iterated belief change in the situation calculus
    Shapiro, Steven; Pagnucco, Maurice; Lespérance, Yves; Levesque, Hector J.
  • Norm-system revision: theory and application
    Stolpe, Audun
  • No revision and no contraction
    Wheeler, GR; Alberti, M