Detecting deontic conflicts in dynamic settings

Loading...
Thumbnail Image
File version

Accepted Manuscript (AM)

Author(s)
Colombo Tosatto, S
Governatori, G
Kelsen, P
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Date
2014
Size
File type(s)
Location

Ghent, Belgium

License
Abstract

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.

Journal Title
Conference Title

Lecture Notes in Computer Science

Book Title
Edition
Volume

8554

Issue
Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement

© Springer International Publishing Switzerland 2014. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher.The original publication is available at www.springerlink.com

Item Access Status
Note
Access the data
Related item(s)
Subject

Theory of computation

Persistent link to this record
Citation

Colombo Tosatto, S; Governatori, G; Kelsen, P, Detecting deontic conflicts in dynamic settings, Lecture Notes in Computer Science, 2014, 8554, pp. 65-80