The use of meta-rules in logic, i.e., rules whose content includes other rules, has recently gained attention in the setting of non-monotonic reasoning: a first logical formalisation and efficient algorithms to compute the (meta)-extensions of such theories were proposed in Olivieri et al. (2021, Computing defeasible meta-logic. In JELIA 2021, LNCS, vol. 12678, pp. 69–84. Springer.). This work extends such a logical framework by considering the deontic aspect. The resulting logic will not just be able to model policies but also tackle well-known aspects that occur in numerous legal systems. The use of Defeasible Logic to model meta-rules in the application area we just alluded to has been investigated. Within this line of research, the study mentioned above was not focusing on the general computational properties of meta-rules. This study fills this gap with two major contributions. First, we introduce and formalise two variants of Defeasible Deontic Logic (DDL) with meta-rules to represent (i) defeasible meta-theories with deontic modalities and (ii) two different types of conf licts among rules: Simple Conf lict DDL and Cautious Conf lict DDL. Second, we advance efficient algorithms to compute the extensions for both variants.

Olivieri, F., Governatori, G., Cristani, M., Rotolo, A., Sattar, A. (2023). Deontic meta-rules. JOURNAL OF LOGIC AND COMPUTATION, 34(2), 216-314 [10.1093/logcom/exac081].

Deontic meta-rules

Rotolo, Antonino;
2023

Abstract

The use of meta-rules in logic, i.e., rules whose content includes other rules, has recently gained attention in the setting of non-monotonic reasoning: a first logical formalisation and efficient algorithms to compute the (meta)-extensions of such theories were proposed in Olivieri et al. (2021, Computing defeasible meta-logic. In JELIA 2021, LNCS, vol. 12678, pp. 69–84. Springer.). This work extends such a logical framework by considering the deontic aspect. The resulting logic will not just be able to model policies but also tackle well-known aspects that occur in numerous legal systems. The use of Defeasible Logic to model meta-rules in the application area we just alluded to has been investigated. Within this line of research, the study mentioned above was not focusing on the general computational properties of meta-rules. This study fills this gap with two major contributions. First, we introduce and formalise two variants of Defeasible Deontic Logic (DDL) with meta-rules to represent (i) defeasible meta-theories with deontic modalities and (ii) two different types of conf licts among rules: Simple Conf lict DDL and Cautious Conf lict DDL. Second, we advance efficient algorithms to compute the extensions for both variants.
2023
Olivieri, F., Governatori, G., Cristani, M., Rotolo, A., Sattar, A. (2023). Deontic meta-rules. JOURNAL OF LOGIC AND COMPUTATION, 34(2), 216-314 [10.1093/logcom/exac081].
Olivieri, Francesco; Governatori, Guido; Cristani, Matteo; Rotolo, Antonino; Sattar, Abdul
File in questo prodotto:
File Dimensione Formato  
Deontic meta-rules.pdf

embargo fino al 31/03/2025

Tipo: Postprint
Licenza: Licenza per accesso libero gratuito
Dimensione 529.73 kB
Formato Adobe PDF
529.73 kB Adobe PDF   Visualizza/Apri   Contatta l'autore

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