Detecting Deontic Conflicts in Dynamic Settings

Colombo Tosatto, Silvano; Kelsen, Pierre; Governatori, Guido

Reference : Detecting Deontic Conflicts in Dynamic Settings


	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/19587

Title :	Detecting Deontic Conflicts in Dynamic Settings
Language :	English
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]
Publication date :	2014
Main document 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
Peer reviewed :	Yes
Audience :	International
ISBN :	978-3-319-08614-9
Event name :	12th International Conference, DEON 2014, Ghent, Belgium, July 12-15
Event date :	July 12-15
Event place (city) :	Ghent
Event country :	Belgium
Keywords :	[en] 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.
Permalink :	http://hdl.handle.net/10993/19587

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	DEON2014.pdf		Author postprint	294.81 kB	View/Open

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

University of Luxembourg Library | Feedback | Legal notices