Computing Strong and Weak Permissions in Defeasible Logic |
| |
Authors: | Guido Governatori Francesco Olivieri Antonino Rotolo Simone Scannapieco |
| |
Affiliation: | 1. NICTA, Queensland Research Laboratory, Brisbane, Australia 2. Department of Computer Science, University of Verona, Verona, Italy 3. Institute for Integrated and Intelligent Systems, Griffith University, Nathan, Queensland, Australia 4. CIRSFID, University of Bologna, Bologna, Italy
|
| |
Abstract: | In this paper we propose an extension of Defeasible Logic to represent and compute different concepts of defeasible permission. In particular, we discuss some types of explicit permissive norms that work as exceptions to opposite obligations or encode permissive rights. 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 contrary-to-duty obligations can be combined with a new operator representing ordered sequences of strong permissions. The logical system is studied from a computational standpoint and is shown to have linear computational complexity. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|