Artículo

An axiomatic characterization of temporalised belief revision in the law

Tamargo, Luciano HéctorIcon ; Martínez, Diego CésarIcon ; Rotolo, Antonino; Governatori, Guido
Fecha de publicación: 10/01/2019
Editorial: Springer
Revista: Artificial Intelligence and Law
ISSN: 0924-8463
e-ISSN: 1572-8382
Idioma: Inglés
Tipo de recurso: Artículo publicado
Clasificación temática:

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.
Palabras clave: BELIEF REVISION , NORM CHANGE , TEMPORAL REASONING
 
Archivos asociados
Tamaño: 1.806Mb
Formato: PDF
.
Licencia
info:eu-repo/semantics/restrictedAccess Excepto donde se diga explícitamente, este item se publica bajo la siguiente descripción: Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Unported (CC BY-NC-SA 2.5)
Identificadores
URI: http://hdl.handle.net/11336/117432
URL: https://link.springer.com/article/10.1007/s10506-019-09241-4
DOI: http://dx.doi.org/10.1007/s10506-019-09241-4
Colecciones
Articulos (ICIC)
Articulos de INSTITUTO DE CS. E INGENIERIA DE LA COMPUTACION
Citación
Tamargo, Luciano Héctor; Martínez, Diego César; Rotolo, Antonino; Governatori, Guido; An axiomatic characterization of temporalised belief revision in the law; Springer; Artificial Intelligence and Law; 27; 4; 10-1-2019; 347-367
Compartir
Altmétricas