Prioritized Norms and Defaults in Formal Argumentation

Abstract : Deontic logic sentences define what an agent ought to do when faced with a set of norms. These norms may come into conflict such that a priority ordering over them is necessary to resolve these conflicts. Dung’s seminal paper raises the still open challenge to use formal argumentation to represent non monotonic logics, highlight- ing its value to exchange, communicate and resolve possibly conflicting viewpoints in distributed scenarios. In this paper, we propose a formal framework to study various properties of prioritized non monotonic reasoning in formal argumentation, in line with this idea. More precisely, we show how a version of prioritized default logic and Brewka-Eiter’s construction in answer set programming can be obtained in argumentation via the weakest and last link principles. We also show how to represent Hansen’s recent construction for prioritized normative reasoning by adding arguments using weak contraposition via permissive norms, and their relationship to Caminada’s “hang yourself” arguments.
Type de document :
Communication dans un congrès
Proceedings of the 13th International Conference on Deontic logic and Normative Systems (DEON 2016), Jul 2016, Bayreuth, Germany. College Publications, 2016, Proceedings of the 13th International Conference on Deontic logic and Normative Systems (DEON 2016). <http://www.neu.uni-bayreuth.de/de/Uni_Bayreuth/Fakultaeten/5_Kulturwissenschaft/Philosophie/deon2016/en/index.html>
Liste complète des métadonnées


https://hal.inria.fr/hal-01332209
Contributeur : Serena Villata <>
Soumis le : vendredi 24 juin 2016 - 14:07:23
Dernière modification le : mardi 13 décembre 2016 - 15:40:38
Document(s) archivé(s) le : dimanche 25 septembre 2016 - 10:51:43

Fichier

deon16.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01332209, version 1

Collections

Citation

Beishui Liao, Nir Oren, Leendert Van Der Torre, Serena Villata. Prioritized Norms and Defaults in Formal Argumentation. Proceedings of the 13th International Conference on Deontic logic and Normative Systems (DEON 2016), Jul 2016, Bayreuth, Germany. College Publications, 2016, Proceedings of the 13th International Conference on Deontic logic and Normative Systems (DEON 2016). <http://www.neu.uni-bayreuth.de/de/Uni_Bayreuth/Fakultaeten/5_Kulturwissenschaft/Philosophie/deon2016/en/index.html>. <hal-01332209>

Partager

Métriques

Consultations de
la notice

182

Téléchargements du document

68