Prioritized Norms in Formal Argumentation - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2017

Prioritized Norms in Formal Argumentation

Résumé

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.

Dates et versions

hal-01643737 , version 1 (21-11-2017)

Identifiants

Citer

Beishui Liao, Nir Oren, Leendert van Der Torre, Serena Villata. Prioritized Norms in Formal Argumentation. 2017. ⟨hal-01643737⟩
167 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More