An ontology of changes in normative systems from an agentive viewpoint
File version
Author(s)
Tomazzoli, C
Olivieri, F
Pasetto, L
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Date
Size
File type(s)
Location
L'Aquila, Italy
License
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.
Journal Title
Conference Title
Communications in Computer and Information Science
Book Title
Edition
Volume
1233
Issue
Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
Item Access Status
Note
Access the data
Related item(s)
Subject
Applied computing
Persistent link to this record
Citation
Cristani, M; Tomazzoli, C; Olivieri, F; Pasetto, L, An ontology of changes in normative systems from an agentive viewpoint, Communications in Computer and Information Science, 2020, 1233, pp. 131-142