Paper published in a book (Scientific congresses, symposiums and conference proceedings)
On the Interplay Between Entailments Among Obligations and their Violations
ROBALDO, Livio; LIGA, Davide
2025 • In Nakano, Yukiko (Ed.) New Frontiers in Artificial Intelligence - JSAI International Symposium on Artificial Intelligence, JSAI-isAI 2025, Proceedings
[en] In Standard Deontic Logic (SDL), it is established that if a statement p is obligatory, then any other statement q entailed by p is also obligatory. This principle is commonly referred to as OB-RM. However, the appropriateness of OB-RM in deontic and normative reasoning has been widely criticized, leading to the proposal of various (restricted) versions of the rule. This paper argues that OB-RM is also unsuitable when considering the violations associated with obligations, particularly the penalties that must be imposed when these violations occur. To address this issue, the paper introduces an extension of the RDF-based framework recently proposed in [20], which integrates violations, penalties, and entailments among obligations. The extended framework is available at https://github.com/liviorobaldo/jurisin2025.
Disciplines :
Computer science
Author, co-author :
ROBALDO, Livio ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust > PI VDT > Team Leon VAN DER TORRE ; School of Law, Swansea University, Swansea, United Kingdom
LIGA, Davide ; University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)
External co-authors :
yes
Language :
English
Title :
On the Interplay Between Entailments Among Obligations and their Violations
Publication date :
2025
Event name :
Jurisin 2025
Event place :
Osaka, Japan
Event date :
26-05-2025 => 27-05-2025
Audience :
International
Main work title :
New Frontiers in Artificial Intelligence - JSAI International Symposium on Artificial Intelligence, JSAI-isAI 2025, Proceedings
Editor :
Nakano, Yukiko
Publisher :
Springer Science and Business Media Deutschland GmbH
The Japanese Society for Artificial Intelligence (JSAI)
Funding text :
We are deeply grateful to Guido Governatori for our discussions on the preliminary formalizations shown in this paper, which greatly enriched the research presented. This research was supported by Innovate UK project 10106412: \u201COdyssey-Opening the National Archives Legal Data to AI for Access to Justice (A2J)\u201D.
Boella, G., Di Caro, L., Rispoli, D., Robaldo, L.: A system for classifying multi-label text into eurovoc. In: Francesconi, E., Verheij, B. (eds.) Proceedings of International Conference on Artificial Intelligence and Law, ICAIL. ACM (2013)
Goble, L.: Prima facie norms, normative conflicts, and dilemmas. In: Gabbay, D., Horty, J., Parent, X., van der Meyden, R., van der Torre, L. (eds.) Handbook of Deontic Logic and Normative Systems. College Publications (2013)
Gordon, A., Hobbs, J.: A Formal Theory of Commonsense Psychology-How People Think People Think. Cambridge University Press, Cambridge (2017)
Governatori, G.: Burden of compliance and burden of violation. In: Proceedings of 28th Annual Conference in Legal Knowledge and Information Systems (JURIX 2015). Frontiers in Artificial Intelligence and Applications, vol. 279. IOS Press (2015)
Governatori, G.: An ASP implementation of defeasible deontic logic. Künstliche Intelligenz 38(1) (2024)
Governatori, G., Olivieri, F., Rotolo, A., Scannapieco, S.: Computing strong and weak permissions in defeasible logic. J. Phil. Logic 6(42) (2013)
Governatori, G., Rotolo, A.: Deontic ambiguities in legal reasoning. In: Grabmair, M., Andrade, F., Novais, P. (eds.) Proceedings of the 19th International Conference on Artificial Intelligence and Law, ICAIL. ACM (2023)
Grossi, D., Meyer, J., Dignum, F.: The many faces of counts-as: a formal analysis of constitutive rules. J. Appl. Logic 6(2) (2008)
Hansen, J.: Imperative logic and its problems. In: Gabbay, D., Horty, J., Parent, X., van der Meyden, R., van der Torre, L. (eds.) Handbook of Deontic Logic and Normative Systems. College Publications (2013)
Humphreys, L., et al.: Populating legal ontologies using semantic role labeling. Artif. Intell. Law 29(2) (2021)
Jörgensen, J.: Imperatives and logic. Erkenntnis 7(1) (1937)
Kelsen, H.: Conflicts of norms. In: General Theory of Norms. Oxford University Press (1991)
Robaldo, L., Bartolini, C., Palmirani, M., Rossi, A., Martoni, M., Lenzini, G.: Formalizing gdpr provisions in reified i/o logic: the dapreco knowledge base. J. Logic Lang. Inf. 29 (2020)
Robaldo, L., et al.: Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies. Artif. Intell. Law 32(2) (2024)
Robaldo, L., Pacenza, F., Zangari, J., Calegari, R., Calimeri, F., Siragusa, G.: Efficient compliance checking of RDF data. J. Logic Comput. 33(8) (2023)
Robaldo, L., Pozzato, G.: Handling irresolvable conflicts in the semantic web: an RDF-based conflict-tolerant version of the Deontic Traditional Scheme. arXiv:2411.19918 (2024)
Sun, X., Robaldo, L.: On the complexity of input/output logic. J. Appl. Logic 25 (2017)
Vranes, E.: The definition of ‘Norm Conflict’ in international law and legal theory. Eur. J. Int. Law 17(2) (2006)
