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.
G. Governatori, S.C.T. (2021). A Defeasible Deontic Logic for Pragmatic Oddity. London : College Publications.
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.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.
