Defeasible deontic logic has shown to be expressive enough to represent a normative system, and therefore compliance to such a system can be automatically checked by means of classical model checking techniques of logical systems. However, normative systems are not static, as they can be actively changed by the legislator over time, directly, by changing one norm. Moreover norms can change passively, either by effect of the change of another piece of the normative system, or by means of the change of meaning that affects terms employed in the norm. Although some efforts have been carried out by scholars in the field of legal reasoning about norm change, there is a lack of uniformity in the representation of these changes, and this is an issue when we aim at deploying the law as an automated platform: we need to introduce changes as effects in the semantics of derivation in a logical system, when the unified viewpoint admits a unified representation as well. We adopt the logical paradigm of agency and provide a classification of changes from an agentive viewpoint that allows a unified representation within the logical language for agents LegalRuleML.

An ontology of changes in normative systems from an agentive viewpoint

Cristani, M.;Tomazzoli, C.;Pasetto, L.
2020

Abstract

Defeasible deontic logic has shown to be expressive enough to represent a normative system, and therefore compliance to such a system can be automatically checked by means of classical model checking techniques of logical systems. However, normative systems are not static, as they can be actively changed by the legislator over time, directly, by changing one norm. Moreover norms can change passively, either by effect of the change of another piece of the normative system, or by means of the change of meaning that affects terms employed in the norm. Although some efforts have been carried out by scholars in the field of legal reasoning about norm change, there is a lack of uniformity in the representation of these changes, and this is an issue when we aim at deploying the law as an automated platform: we need to introduce changes as effects in the semantics of derivation in a logical system, when the unified viewpoint admits a unified representation as well. We adopt the logical paradigm of agency and provide a classification of changes from an agentive viewpoint that allows a unified representation within the logical language for agents LegalRuleML.
978-3-030-51998-8
File in questo prodotto:
File Dimensione Formato  
An-ontology-of-changes-in-normative-systems-from-an-agentive-viewpointCommunications-in-Computer-and-Information-Science.pdf

solo utenti autorizzati

Tipologia: Versione dell'editore
Licenza: Accesso ristretto
Dimensione 476.24 kB
Formato Adobe PDF
476.24 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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: http://hdl.handle.net/11562/1049599
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact