Handling Norms in Multi-Agent System by Means of Formal Argumentation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications Year : 2017

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.
Fichier principal
Vignette du fichier
ifcolog4-3039-3073.pdf (391.76 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive
Loading...

Dates and versions

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

Licence

Attribution - NonCommercial - NoDerivatives

Identifiers

  • HAL Id : hal-01672344 , version 1

Cite

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⟩
1056 View
177 Download

Share

Gmail Facebook X LinkedIn More