
To resolve conflicts among norms, various nonmonotonic formalisms can be used to perform prioritized normative reasoning. Meanwhile, formal argumentation provides a way to represent nonmonotonic logics. In this paper, we propose a representation of prioritized normative reasoning by argumentation. Using hierarchical abstract normative systems, we define three kinds of prioritized normative reasoning approaches, called Greedy, Reduction, and Optimization. Then, after formulating an argumentation theory for a hierarchical abstract normative system, we show that for a totally ordered hierarchical abstract normative system, 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.
Accepted by the Journal of Logic and Computation on November 2nd, 2017
QA75, [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], Sciences informatiques, FOS: Computer and information sciences, 330, 690974, Computer Science - Artificial Intelligence, QA75 Electronic computers. Computer science, normative multiagent systems, Ingénierie, informatique & technologie, [SCCO.COMP] Cognitive science/Computer science, normative systems, European Commission, deontic logic, Deontic logic, Logic in computer science, Logic in artificial intelligence, Computer science, Engineering, computing & technology, Artificial Intelligence (cs.AI), Modal logic (including the logic of norms), formal argumentation, norms
QA75, [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], Sciences informatiques, FOS: Computer and information sciences, 330, 690974, Computer Science - Artificial Intelligence, QA75 Electronic computers. Computer science, normative multiagent systems, Ingénierie, informatique & technologie, [SCCO.COMP] Cognitive science/Computer science, normative systems, European Commission, deontic logic, Deontic logic, Logic in computer science, Logic in artificial intelligence, Computer science, Engineering, computing & technology, Artificial Intelligence (cs.AI), Modal logic (including the logic of norms), formal argumentation, norms
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 10 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Top 10% |
