Reference : Cumulative Aggregation
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/30218
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
Deontic Logic and Normative Systems
Yes
International
[en] 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/30218

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
Cumulative_Aggregation.pdfPublisher postprint429.09 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.