Reference : A Representation Theorem for Abstract Cumulative Aggregation
Reports : Internal report
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/27364
A Representation Theorem for Abstract Cumulative Aggregation
English
Ambrossio, Diego Agustin mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Parent, Xavier mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
van der Torre, Leon mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2016
978-2-87971-152-2/TR-SNT-2016-5
978-2-87971-152-2/TR-SNT-2016-5
[en] simple aggregation ; cumulative aggregation ; abstract normative systems ; input/output logic
[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.
http://hdl.handle.net/10993/27364

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
ans2.pdfAuthor postprint412.48 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.