Temporalised Belief Revision in the Law

LUCIANO H. TAMARGO; GUIDO GOVERNATORI; DIEGO C. MARTINEZ; ANTONINO ROTOLO

Luxemburgo

Congreso; The 30th international conference on Legal Knowledge and Information Systems (JURIX 2017); 2017

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.