Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Detecting Deontic Conflicts in Dynamic Settings
Colombo Tosatto, Silvano; Kelsen, Pierre; Governatori, Guido
2014In Cariani, Fabrizio; Grossi, Davide; Meheus, Joke et al. (Eds.) Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings
Peer reviewed
 

Files


Full Text
DEON2014.pdf
Author postprint (301.89 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Normative Reasoning; Time; Conflicts
Abstract :
[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.
Disciplines :
Computer science
Author, co-author :
Colombo Tosatto, Silvano ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Kelsen, Pierre ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Governatori, Guido;  NICTA
Language :
English
Title :
Detecting Deontic Conflicts in Dynamic Settings
Publication date :
2014
Event name :
12th International Conference, DEON 2014, Ghent, Belgium, July 12-15
Event place :
Ghent, Belgium
Event date :
July 12-15
Audience :
International
Main work title :
Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings
Editor :
Cariani, Fabrizio
Grossi, Davide
Meheus, Joke
Parent, Xavier
ISBN/EAN :
978-3-319-08614-9
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 20 January 2015

Statistics


Number of views
77 (2 by Unilu)
Number of downloads
136 (0 by Unilu)

Scopus citations®
 
2
Scopus citations®
without self-citations
2

Bibliography


Similar publications



Contact ORBilu