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.
Document type :
Journal articles
Liste complète des métadonnées

Cited literature [62 references]  Display  Hide  Download

https://hal.inria.fr/hal-01672344
Contributor : Andrea G. B. Tettamanzi <>
Submitted on : Sunday, December 24, 2017 - 1:11:48 PM
Last modification on : Monday, November 5, 2018 - 3:52:10 PM

File

ifcolog4-3039-3073.pdf
Publisher files allowed on an open archive

Licence


Distributed under a Creative Commons Attribution - NonCommercial - NoDerivatives 4.0 International License

Identifiers

  • 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⟩

Share

Metrics

Record views

1143

Files downloads

120