Detecting Deontic Conflicts in Dynamic Settings

Autor:	Guido Governatori, Pierre Kelsen, Silvano Colombo Tosatto
Rok vydání:	2014
Předmět:	TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES Management science Computer science TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS Deontic logic Normative reasoning ComputingMilieux_LEGALASPECTSOFCOMPUTING Semantics Algorithm Focus (linguistics)
Zdroj:	Deontic Logic and Normative Systems ISBN: 9783319086149 DEON
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::63c883dc2b7b0df7d72029848a00389a https://doi.org/10.1007/978-3-319-08615-6_6 Zobrazit plný text záznamu