A legal procedure in court proceedings is a sequence of actions in which the last action is (the creation of) a(n individual) norm, where the court settles that it is obligatory in the interest of some agents that other agents bring about a certain state of affairs. This paper models legal procedures by using a variant of Propositional Dynamic Logic (PDL) enriched with a preference operator for prioritising procedural actions. The key reason towards the usage of PDL is that, in procedural law, claims and resolutions resemble programs to be executed. Requests are organised in a preference order and resolutions have their own dynamics of execution (either spontaneously by the one obliged and/or by force of law).

Rotolo A., Smith C. (2021). Modelling legal procedures. New York : Association for Computing Machinery, Inc [10.1145/3462757.3466089].

Modelling legal procedures

Rotolo A.
;
2021

Abstract

A legal procedure in court proceedings is a sequence of actions in which the last action is (the creation of) a(n individual) norm, where the court settles that it is obligatory in the interest of some agents that other agents bring about a certain state of affairs. This paper models legal procedures by using a variant of Propositional Dynamic Logic (PDL) enriched with a preference operator for prioritising procedural actions. The key reason towards the usage of PDL is that, in procedural law, claims and resolutions resemble programs to be executed. Requests are organised in a preference order and resolutions have their own dynamics of execution (either spontaneously by the one obliged and/or by force of law).
2021
Proceedings of the 18th International Conference on Artificial Intelligence and Law, ICAIL 2021
220
224
Rotolo A., Smith C. (2021). Modelling legal procedures. New York : Association for Computing Machinery, Inc [10.1145/3462757.3466089].
Rotolo A.; Smith C.
File in questo prodotto:
File Dimensione Formato  
ICAIL_Modelling Legal Procedures.pdf

accesso riservato

Tipo: Versione (PDF) editoriale
Licenza: Licenza per accesso riservato
Dimensione 822.93 kB
Formato Adobe PDF
822.93 kB Adobe PDF   Visualizza/Apri   Contatta l'autore

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/845532
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact