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 mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
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.

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.