Principles and Semantics: Modelling Violations for Normative Reasoning

No Thumbnail Available
File version
Author(s)
Colombo Tosatto, S
Governatori, G
Rotolo, A
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Date
2021
Size
File type(s)
Location

Virtual

License
Abstract

The present paper proposes a structural operational semantics and the related semantics for normative systems. The proposed approach focuses on explicitly representing in force obligations and violations as events in a temporal framework, determining the state of a normative system. In the paper we use a set of core principles, defining some of the properties required when reasoning about norms, to motivate the semantics of the approach. Finally, we show that the proposed approach is capable of reasoning about more complex legal scenarios.

Journal Title
Conference Title

Lecture Notes in Computer Science

Book Title
Edition
Volume

13048

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

Artificial intelligence

Persistent link to this record
Citation

Colombo Tosatto, S; Governatori, G; Rotolo, A, Principles and Semantics: Modelling Violations for Normative Reasoning, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2021, 13048, pp. 75-89