Prioritized Norms in Formal Argumentation

Beishui Liao 1 Nir Oren 2 Leendert Van Der Torre 3 Serena Villata 4
4 WIMMICS - Web-Instrumented Man-Machine Interactions, Communities and Semantics
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - SPARKS - Scalable and Pervasive softwARe and Knowledge Systems
Abstract : 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.
Type de document :
Pré-publication, Document de travail
24 pages,7 figures, Revised version submitted to DEON2016 special issue for the Journal of Logic .. 2017
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01643737
Contributeur : Serena Villata <>
Soumis le : mardi 21 novembre 2017 - 15:55:22
Dernière modification le : lundi 5 novembre 2018 - 15:52:09

Lien texte intégral

Identifiants

  • HAL Id : hal-01643737, version 1
  • ARXIV : 1709.08034

Collections

Citation

Beishui Liao, Nir Oren, Leendert Van Der Torre, Serena Villata. Prioritized Norms in Formal Argumentation. 24 pages,7 figures, Revised version submitted to DEON2016 special issue for the Journal of Logic .. 2017. 〈hal-01643737〉

Partager

Métriques

Consultations de la notice

238