Abstract
To resolve conflicts amongst norms, various non-monotonic formalisms can be used to perform prioritized normative reasoning. Meanwhile, formal argumentation provides a way to represent non-monotonic logics. In this paper we propose a representation of prioritized normative reasoning by argumentation. Using hierarchical abstract normative systems (HANS), we define three kinds of prioritized normative reasoning approaches called Greedy, Reduction and Optimization. Then, after formulating an argumentation theory for a HANS, we show that for a totally ordered HANS, Greedy and Reduction can be represented in argumentation by applying the weakest link and the last link principles, respectively, and Optimization can be represented by introducing additional defeats capturing the idea that for each argument that contains a norm not belonging to the maximal obeyable set then this argument should be rejected.
Original language | English |
---|---|
Pages (from-to) | 215-240 |
Number of pages | 26 |
Journal | Journal of Logic and Computation |
Volume | 29 |
Issue number | 2 |
Early online date | 20 Mar 2018 |
DOIs | |
Publication status | Published - Mar 2019 |
Bibliographical note
The authors are grateful to the anonymous reviewers for their helpful comments. The research reported in this paper was partially supported by the Fundamental Research Funds for the Central Universities of China for the project Big Data, Reasoning and Decision Making, the National Research Fund Luxembourg (FNR) under grant INTER/MOBILITY/14/8813732 for the project FMUAT: Formal Models for Uncertain Argumentation from Text, and the European Union’s Horizon 2020 research and innovation programme under the Marie Sklodowska-Curie grant agreement No 690974 for the project MIREL: MIning and REasoning with Legal texts.Keywords
- Deontic logic
- formal argumentation
- norms
- normative systems
- normative multiagent systems
Fingerprint
Dive into the research topics of 'Prioritized norms in formal argumentation'. Together they form a unique fingerprint.Profiles
-
Nir Oren
- Coastal Communities
- Agents at Aberdeen
- School of Natural & Computing Sciences, Computing Science - Personal Chair
- Human-Centred Computing
Person: Academic