Handling Norms in Multi-Agent System by Means of Formal Argumentation - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications Année : 2017

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

Résumé

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.
Fichier principal
Vignette du fichier
ifcolog4-3039-3073.pdf (391.76 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-01672344 , version 1 (24-12-2017)

Licence

Paternité - Pas d'utilisation commerciale - Pas de modification

Identifiants

  • HAL Id : hal-01672344 , version 1

Citer

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. Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications, 2017, 4 (9), pp.1-35. ⟨hal-01672344⟩
1058 Consultations
179 Téléchargements

Partager

Gmail Facebook X LinkedIn More