INVESTIGADORES
TAMARGO Luciano Hector
artículos
Título:
An Axiomatic Characterization of Temporalised Belief Revision in the Law
Autor/es:
LUCIANO H. TAMARGO; DIEGO C. MARTINEZ
Revista:
Artificial Intelligence and Law
Editorial:
Springer
Referencias:
Año: 2018 vol. 27 p. 347 - 367
ISSN:
0924-8463
Resumen:
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.