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.
Temporalised belief revision in the law / Tamargo, Luciano H.*; Martinez, Diego C.; Rotolo, Antonino; Governatori, Guido. - STAMPA. - 302:(2017), pp. 49-58. (Intervento presentato al convegno JURIX 2017: The 30th international conference on Legal Knowledge and Information Systems tenutosi a Luxembourg City nel 13-15 December 2017) [10.3233/978-1-61499-838-9-49].
Temporalised belief revision in the law
Tamargo, Luciano H.
;MARTINEZ, DIEGO CESAR;Rotolo, Antonino;Governatori, Guido
2017
Abstract
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.| File | Dimensione | Formato | |
|---|---|---|---|
|
FAIA302-0049.pdf
accesso aperto
Tipo:
Versione (PDF) editoriale
Licenza:
Licenza per Accesso Aperto. Creative Commons Attribuzione - Non commerciale (CCBYNC)
Dimensione
221.63 kB
Formato
Adobe PDF
|
221.63 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
