No full text
Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Permissions and Uncontrollable Propositions in DSDL3: Non-monotonicity and Algorithms.
Kaci, Souhila; van der Torre, Leon
2006In 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
Peer reviewed
 

Files


Full Text
No document available.

Send to



Details



Keywords :
non-monotonic extensions of Bengt Hansson’s standard
Abstract :
[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.
Disciplines :
Computer science
Identifiers :
UNILU:UL-CONFERENCE-2010-321
Author, co-author :
Kaci, Souhila ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
van der Torre, Leon ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
yes
Language :
English
Title :
Permissions and Uncontrollable Propositions in DSDL3: Non-monotonicity and Algorithms.
Publication date :
2006
Event name :
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
Event date :
2006
Main work title :
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
Publisher :
Springer
ISBN/EAN :
3-540-35842-0
Collection name :
Lecture Notes in Computer Science 4048
Peer reviewed :
Peer reviewed
Commentary :
4048
Available on ORBilu :
since 07 March 2016

Statistics


Number of views
66 (0 by Unilu)
Number of downloads
0 (0 by Unilu)

Scopus citations®
 
1
Scopus citations®
without self-citations
1
OpenCitations
 
0
WoS citations
 
1

Bibliography


Similar publications



Contact ORBilu