We introduce a variant of Deontic Defeasible Logic to handle the issue of Pragmatic Oddity. The key idea is that a conjunctive obligation is allowed only when each individual obligation is independent from the violation of the other obligations. The solution makes essential use of the constructive proof theory of the logic while maintaining a feasible computational complexity.

A Defeasible Deontic Logic for Pragmatic Oddity / G. Governatori, S. Colombo Tosatto, A. Rotolo. - STAMPA. - (2021), pp. 239-254.

A Defeasible Deontic Logic for Pragmatic Oddity

A. Rotolo
2021

Abstract

We introduce a variant of Deontic Defeasible Logic to handle the issue of Pragmatic Oddity. The key idea is that a conjunctive obligation is allowed only when each individual obligation is independent from the violation of the other obligations. The solution makes essential use of the constructive proof theory of the logic while maintaining a feasible computational complexity.
2021
Deontic Logic and Normative Systems
239
254
A Defeasible Deontic Logic for Pragmatic Oddity / G. Governatori, S. Colombo Tosatto, A. Rotolo. - STAMPA. - (2021), pp. 239-254.
G. Governatori, S. Colombo Tosatto, A. Rotolo
File in questo prodotto:
Eventuali allegati, non sono esposti

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/845524
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact