Article thumbnail

A Representation Theorem for Abstract Cumulative Aggregation

By Diego Agustin Ambrossio, Xavier Parent and Leon van der Torre


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

Topics: simple aggregation, cumulative aggregation, abstract normative systems, input/output logic, Engineering, computing & technology :: Computer science [C05], Ingénierie, informatique & technologie :: Sciences informatiques [C05]
Publisher: 978-2-87971-152-2/TR-SNT-2016-5
Year: 2016
OAI identifier:

Suggested articles

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.