Prioritized norms in formal argumentation

Abstract : 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.
Document type :
Journal articles
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02381116
Contributor : Serena Villata <>
Submitted on : Tuesday, November 26, 2019 - 2:55:02 PM
Last modification on : Thursday, November 28, 2019 - 1:14:44 AM

Identifiers

Collections

Citation

Beishui Liao, Nir Oren, Leendert van der Torre, Serena Villata. Prioritized norms in formal argumentation. Journal of Logic and Computation, Oxford University Press (OUP), 2019, 29 (2), pp.215-240. ⟨10.1093/logcom/exy009⟩. ⟨hal-02381116⟩

Share

Metrics

Record views

28