Back to Search
Start Over
Prioritized Norms in Formal Argumentation
- Source :
- Journal of Logic and Computation, Journal of Logic and Computation, Oxford University Press (OUP), 2019, 29 (2), pp.215-240. ⟨10.1093/logcom/exy009⟩, Journal of Logic and Computation, 2019, 29 (2), pp.215-240. ⟨10.1093/logcom/exy009⟩
- Publication Year :
- 2017
- Publisher :
- HAL CCSD, 2017.
-
Abstract
- 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.<br />Accepted by the Journal of Logic and Computation on November 2nd, 2017
- Subjects :
- FOS: Computer and information sciences
Logic
Computer Science - Artificial Intelligence
Big data
[SCCO.COMP]Cognitive science/Computer science
0102 computer and information sciences
normative multiagent systems
01 natural sciences
ComputingMethodologies_ARTIFICIALINTELLIGENCE
Theoretical Computer Science
Argumentation theory
[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Arts and Humanities (miscellaneous)
normative systems
media_common.cataloged_instance
European commission
European union
China
Mathematics
media_common
deontic logic
Computer science [C05] [Engineering, computing & technology]
business.industry
Deontic logic
Public relations
Sciences informatiques [C05] [Ingénierie, informatique & technologie]
16. Peace & justice
TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES
Artificial Intelligence (cs.AI)
010201 computation theory & mathematics
Hardware and Architecture
Normative systems
business
formal argumentation
Social psychology
norms
Software
Subjects
Details
- Language :
- English
- ISSN :
- 0955792X and 1465363X
- Database :
- OpenAIRE
- Journal :
- Journal of Logic and Computation, Journal of Logic and Computation, Oxford University Press (OUP), 2019, 29 (2), pp.215-240. ⟨10.1093/logcom/exy009⟩, Journal of Logic and Computation, 2019, 29 (2), pp.215-240. ⟨10.1093/logcom/exy009⟩
- Accession number :
- edsair.doi.dedup.....89bdcff45e4fc2274b91b8c2c0f7c431