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.

Tamargo, L.H., Martinez, D.C., Rotolo, A., Governatori, G. (2019). An axiomatic characterization of temporalised belief revision in the law. ARTIFICIAL INTELLIGENCE AND LAW, 27(4), 347-367 [10.1007/s10506-019-09241-4].

An axiomatic characterization of temporalised belief revision in the law

TAMARGO, LUCIANO HECTOR
;
Martinez, Diego C.;Rotolo, Antonino;Governatori, Guido
2019

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.
2019
Tamargo, L.H., Martinez, D.C., Rotolo, A., Governatori, G. (2019). An axiomatic characterization of temporalised belief revision in the law. ARTIFICIAL INTELLIGENCE AND LAW, 27(4), 347-367 [10.1007/s10506-019-09241-4].
Tamargo, Luciano H.; Martinez, Diego C.; Rotolo, Antonino; Governatori, Guido
File in questo prodotto:
File Dimensione Formato  
PDF EDITORIALE_Tamargo2019_Article_AnAxiomaticCharacterizationOfT.pdf

accesso riservato

Tipo: Versione (PDF) editoriale
Licenza: Licenza per accesso riservato
Dimensione 1.69 MB
Formato Adobe PDF
1.69 MB Adobe PDF   Visualizza/Apri   Contatta l'autore
postprint_con disclaimer_springer.pdf

Open Access dal 11/01/2020

Tipo: Postprint
Licenza: Licenza per accesso libero gratuito
Dimensione 565.13 kB
Formato Adobe PDF
565.13 kB Adobe PDF Visualizza/Apri
PREPRINT con disclaimer_Legal-BR-Journal_Resubmission.pdf

accesso aperto

Tipo: Preprint
Licenza: Licenza per Accesso Aperto. Creative Commons Attribuzione - Condividi allo stesso modo (CCBYSA)
Dimensione 543.09 kB
Formato Adobe PDF
543.09 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/683225
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? 2
social impact