Temporalised Belief Revision in the Law

LUCIANO TAMARGO; DIEGO CÉSAR MARTÍNEZ; ANTONINO ROTOLO; GUIDO GOVERNATORI

Luxemburgo

Conferencia; 30th International Conference on Legal Knowledge and Information Systems JURIX 2017; 2017

University of Luxemburg, The JURIX Foundation for Legal Knowledge Systems

This paper presents a belief revision operator for legal systems that considers time intervals. This model relates techniques about 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.