Reference : Permissions and Uncontrollable Propositions in DSDL3: Non-monotonicity and Algorithms. |
Scientific congresses, symposiums and conference proceedings : Paper published in a book | |||
Engineering, computing & technology : Computer science | |||
http://hdl.handle.net/10993/25325 | |||
Permissions and Uncontrollable Propositions in DSDL3: Non-monotonicity and Algorithms. | |
English | |
Kaci, Souhila [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >] | |
van der Torre, Leon ![]() | |
2006 | |
Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings | |
Springer | |
Lecture Notes in Computer Science 4048 | |
Yes | |
3-540-35842-0 | |
Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings | |
2006 | |
[en] non-monotonic extensions of Bengt Hansson’s standard | |
[en] In this paper we are interested in non-monotonic extensions of Bengt Hansson’s standard dyadic deontic logic 3, known as DSDL3. We study specificity principles for DSDL3 with both controllable and uncontrollable propositions. We introduce an algorithm for minimal specificity which not only covers obligations but also permissions, and we discuss the distinction between weak and strong permissions. Moreover, we introduce ways to combine algorithms for minimal and maximal specificity for DSDL3 with controllable and uncontrollable propositions, based on ‘optimistic’ and ‘pessimistic’ reasoning respectively. | |
Researchers ; Professionals ; Students ; General public ; Others | |
http://hdl.handle.net/10993/25325 | |
10.1007/11786849_14 | |
http://link.springer.com/chapter/10.1007/11786849_14 | |
4048 |
There is no file associated with this reference.
All documents in ORBilu are protected by a user license.