Permissions and Uncontrollable Propositions in DSDL3: Non-monotonicity and Algorithms.

Kaci, Souhila; van der Torre, Leon

doi:10.1007/11786849_14

Reference : Permissions and Uncontrollable Propositions in DSDL3: Non-monotonicity and Algorithms.


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/25325

Title :	Permissions and Uncontrollable Propositions in DSDL3: Non-monotonicity and Algorithms.
Language :	English
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) >]
Publication date :	2006
Main document 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
Collection and collection volume :	Lecture Notes in Computer Science 4048
Peer reviewed :	Yes
ISBN :	3-540-35842-0
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
Keywords :	[en] 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.
Target :	Researchers ; Professionals ; Students ; General public ; Others
Permalink :	http://hdl.handle.net/10993/25325
DOI :	10.1007/11786849_14
Other URL :	http://link.springer.com/chapter/10.1007/11786849_14
Commentary :	4048

There is no file associated with this reference.

All documents in ORBi^lu are protected by a user license.

University of Luxembourg Library | Feedback | Legal notices