Handling Norms in Multi-Agent System by Means of Formal Argumentation

Abstract : Formal argumentation is used to enrich and analyse normative multi-agent systems in various ways. In this chapter, we discuss three examples from the literature of handling norms by means of formal argumentation. First, we discuss how existing ways to resolve conflicts among norms using priorities can be represented in formal argumentation, by showing that the so-called Greedy and Reduction approaches can be represented using the weakest and the last link principles respectively. Based on such representation results, formal argumentation can be used to explain the detachment of obligations and permissions from hierarchical normative systems in a new way. Second, we discuss how formal argumentation can be used as a general theory for developing new approaches for normative reasoning, using a dynamic ASPIC-based legal argumentation theory. We show how existing logics of normative systems can be used to analyse such new argumentation systems. Third, we show how argumentation can be used to reason about other challenges in the area of normative multiagent systems as well, by discussing a model for arguing about legal interpretation. In particular, we show how fuzzy logic combined with formal argumentation can be used to reason about the adoption of graded categories and thus address the problem of open texture in normative interpretation. Our aim to discuss these three examples is to inspire new applications of formal argumentation to the challenges of normative reasoning in multiagent systems.
Type de document :
Article dans une revue
IFCoLog Journal of Logic and its Applications, 2017, 4 (9), pp.1-35. 〈http://www.collegepublications.co.uk/journals/ifcolog/?00018〉
Liste complète des métadonnées

Littérature citée [67 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01672344
Contributeur : Andrea G. B. Tettamanzi <>
Soumis le : dimanche 24 décembre 2017 - 13:11:48
Dernière modification le : mercredi 31 janvier 2018 - 10:24:06

Fichier

ifcolog4-3039-3073.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Licence


Distributed under a Creative Commons Paternité - Pas d'utilisation commerciale - Pas de modification 4.0 International License

Identifiants

  • HAL Id : hal-01672344, version 1

Collections

Citation

Célia Da Costa Pereira, Andrea G. B. Tettamanzi, Serena Villata, Beishui Liao, Alessandra Malerba, et al.. Handling Norms in Multi-Agent System by Means of Formal Argumentation. IFCoLog Journal of Logic and its Applications, 2017, 4 (9), pp.1-35. 〈http://www.collegepublications.co.uk/journals/ifcolog/?00018〉. 〈hal-01672344〉

Partager

Métriques

Consultations de la notice

321

Téléchargements de fichiers

75