Reference : Prioritized Norms in Formal Argumentation
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/33988
Prioritized Norms in Formal Argumentation
English
Liao, Beishui [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
Oren, Nir [> >]
van der Torre, Leon mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
Villata, Serena [> >]
2017
Journal of Logic & Computation
abs/1709.08034
Yes
[en] To resolve conflicts among norms,various nonmonotonic formalisms can be used to perform prioritized normative reasoning. Meanwhile, formal argumentation provides a way to represent nonmonotonic logics. In this paper, we propose a representation of prioritized normative reasoning by argumentation. Using hierarchical abstract normative systems, we define three kinds of prioritized normative reasoning approaches, called Greedy, Reduction, and Optimization. Then, after formulating an argumentation theory for a hierarchical abstract normative system, we show that for a totally ordered hierarchical abstract normative system, Greedy and Reduction can be represented in argumentation by applying the weakest link and the last link principles respectively, and Optimization can be represented by introducing additional defeats capturing implicit conflicts between arguments.
http://hdl.handle.net/10993/33988
http://arxiv.org/abs/1709.08034

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
1709.08034.pdfAuthor preprint518.15 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.