Reference : Prioritized norms in formal argumentation
Scientific journals : Article
Engineering, computing & technology : Computer science
Prioritized norms in formal argumentation
Liao, Beishui [Zhejiang University > Center for the study of Language and Cognition]
Oren, Nir [University of Aberdeen > Departement of Computing Science]
van der Torre, Leon mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Villata, Serena [Université Côte d'Azur > Laboratoire I3S]
Journal of Logic and Computation
[en] deontic logic ; formal argumentation ; norms ; normative systems ; normative multiagent systems
[en] To resolve conflicts amongst norms, various non-monotonic formalisms can be used to perform prioritized normative reasoning. Meanwhile, formal argumentation provides a way to represent non-monotonic logics. In this paper we propose a representation of prioritized normative reasoning by argumentation. Using hierarchical abstract normative systems (HANS), we define three kinds of prioritized normative reasoning approaches called Greedy, Reduction and Optimization. Then, after formulating an argumentation theory for a HANS, we show that for a totally ordered HANS, 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 the idea that for each argument that contains a norm not belonging to the maximal obeyable set then this argument should be rejected.

File(s) associated to this reference

Fulltext file(s):

Open access
Prioritized norms in formal argumentation.pdfAuthor preprint1.12 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.