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.
An axiomatic characterization of temporalised belief revision in the law / Tamargo, Luciano H.; Martinez, Diego C.; Rotolo, Antonino; Governatori, Guido. - In: ARTIFICIAL INTELLIGENCE AND LAW. - ISSN 0924-8463. - ELETTRONICO. - 27:4(2019), pp. 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.| 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.
