Reference : Detecting Deontic Conflicts in Dynamic Settings
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
Detecting Deontic Conflicts in Dynamic Settings
Colombo Tosatto, Silvano mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Kelsen, Pierre mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Governatori, Guido [NICTA]
Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings
Cariani, Fabrizio
Grossi, Davide
Meheus, Joke
Parent, Xavier
12th International Conference, DEON 2014, Ghent, Belgium, July 12-15
July 12-15
[en] Normative Reasoning ; Time ; Conflicts
[en] Regulations, through the use of obligations and permissions, are widely used in modern society to define acceptable behaviours. Thus it is indeed important that these regulations do not conflict with each other and contain contradicting obligations. In the present paper we focus on identifying conflicts between obligations in dynamic settings. We first show the need of an alternative semantics rather than the more classic modelled by standard deontic logic. Second we introduce a new semantics for the obligations capable of representing and reasoning about them in these dynamic settings, and lastly we use it to identify the necessary and sufficient conditions to identify conflicting obligations.

File(s) associated to this reference

Fulltext file(s):

Open access
DEON2014.pdfAuthor postprint294.81 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.