Internal report (Reports)
A Representation Theorem for Abstract Cumulative Aggregation
Ambrossio, Diego Agustin; Parent, Xavier; van der Torre, Leon
2016
 

Files


Full Text
ans2.pdf
Author postprint (422.38 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
simple aggregation; 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)
Language :
English
Title :
A Representation Theorem for Abstract Cumulative Aggregation
Publication date :
2016
Publisher :
978-2-87971-152-2/TR-SNT-2016-5
ISBN/EAN :
978-2-87971-152-2/TR-SNT-2016-5
Available on ORBilu :
since 20 May 2016

Statistics


Number of views
188 (42 by Unilu)
Number of downloads
106 (16 by Unilu)

Bibliography


Similar publications



Contact ORBilu