Article (Scientific journals)
Cumulative Aggregation
AMBROSSIO, Diego Agustin; PARENT, Xavier; VAN DER TORRE, Leon
2016In Deontic Logic and Normative Systems
Peer reviewed
 

Files


Full Text
Cumulative_Aggregation.pdf
Publisher postprint (439.38 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Cumulative aggregation; abstract normative systems; input/output logic
Abstract :
[en] From any two conditional obligations “X if A” and “Y if B”, cumulative aggregation derives the combined obligation “X ∪ Y if A ∪ (B\X)”, whereas simple aggregation derives the obligation “X ∪ Y if A ∪ B”. We propose FC systems consisting of cumulative aggregation together with factual detachment, and we give a representation result for FC systems, as well as for FA systems consisting of simple aggregation together with factual detachment. We relate FC and FA systems to each other and to input/output logics recently introduced by Parent and van der Torre.
Disciplines :
Computer science
Author, co-author :
AMBROSSIO, Diego Agustin ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
PARENT, Xavier ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
VAN DER TORRE, Leon ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
no
Language :
English
Title :
Cumulative Aggregation
Publication date :
2016
Journal title :
Deontic Logic and Normative Systems
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 17 March 2017

Statistics


Number of views
107 (13 by Unilu)
Number of downloads
104 (13 by Unilu)

WoS citations
 
3

Bibliography


Similar publications



Contact ORBilu