Prioritized norms in formal argumentation

Beishui Liao, Nir Oren, Leendert van der Torre (Corresponding Author), Serena Villata

Research output: Contribution to journalArticle

1 Citation (Scopus)
6 Downloads (Pure)

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 languageEnglish
Pages (from-to)215-240
Number of pages26
JournalJournal of Logic and Computation
Volume29
Issue number2
Early online date20 Mar 2018
DOIs
Publication statusPublished - Mar 2019

Fingerprint

Argumentation
Norm
Reasoning
Nonmonotonic Logic
Optimization
Resolve

Keywords

  • Deontic logic
  • formal argumentation
  • norms
  • normative systems
  • normative multiagent systems

Cite this

Prioritized norms in formal argumentation. / Liao, Beishui; Oren, Nir; Torre, Leendert van der (Corresponding Author); Villata, Serena.

In: Journal of Logic and Computation, Vol. 29, No. 2, 03.2019, p. 215-240.

Research output: Contribution to journalArticle

Liao, Beishui ; Oren, Nir ; Torre, Leendert van der ; Villata, Serena. / Prioritized norms in formal argumentation. In: Journal of Logic and Computation. 2019 ; Vol. 29, No. 2. pp. 215-240.
@article{9e134f8ba5a641cbb718155fb8c6bc02,
title = "Prioritized norms in formal argumentation",
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.",
keywords = "Deontic logic, formal argumentation, norms, normative systems, normative multiagent systems",
author = "Beishui Liao and Nir Oren and Torre, {Leendert van der} and Serena Villata",
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.",
year = "2019",
month = "3",
doi = "10.1093/logcom/exy009",
language = "English",
volume = "29",
pages = "215--240",
journal = "Journal of Logic and Computation",
issn = "0955-792X",
publisher = "Oxford University Press",
number = "2",

}

TY - JOUR

T1 - Prioritized norms in formal argumentation

AU - Liao, Beishui

AU - Oren, Nir

AU - Torre, Leendert van der

AU - Villata, Serena

N1 - 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.

PY - 2019/3

Y1 - 2019/3

N2 - 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.

AB - 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.

KW - Deontic logic

KW - formal argumentation

KW - norms

KW - normative systems

KW - normative multiagent systems

UR - http://arxiv.org/abs/1709.08034 http://dx.doi.org/10.1093/logcom/exy009

UR - http://www.mendeley.com/research/prioritized-norms-formal-argumentation

UR - http://pure.abdn.ac.uk:8080/portal/en/researchoutput/prioritized-norms-in-formal-argumentation(9e134f8b-a5a6-41cb-b718-155fb8c6bc02).html

U2 - 10.1093/logcom/exy009

DO - 10.1093/logcom/exy009

M3 - Article

VL - 29

SP - 215

EP - 240

JO - Journal of Logic and Computation

JF - Journal of Logic and Computation

SN - 0955-792X

IS - 2

ER -