Computing Strong and Weak Permissions in Defeasible Logic

Guido Governatori, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco
2013 Journal of Philosophical Logic  
In this paper we propose an extension of Defeasible Logic to represent and compute three concepts of defeasible permission. In particular, we discuss different types of explicit permissive norms that work as exceptions to opposite obligations. Moreover, we show how strong permissions can be represented both with, and without introducing a new consequence relation for inferring conclusions from explicit permissive norms. Finally, we illustrate how a preference operator applicable to
more » ... uty obligations can be combined with a new operator representing ordered sequences of strong permissions which derogate from prohibitions. The logical system is studied from a computational standpoint and is shown to have liner computational complexity.
doi:10.1007/s10992-013-9295-1 fatcat:wgtmrafmyjdwfg4qduufvwqxwy