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.
Colombo Tosatto S., Governatori G., Rotolo A. (2021). Principles and Semantics: Modelling Violations for Normative Reasoning. Berlin : Springer Science and Business Media Deutschland GmbH [10.1007/978-3-030-89811-3_6].
Principles and Semantics: Modelling Violations for Normative Reasoning
Rotolo A.
2021
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
