On the Correspondence between Abstract Dialectical Frameworks and Nonmonotonic Conditional Logics
Heyninck, Jesse (Technical University Dortmund ) | Kern-Isberner, Gabriele (Technical University Dortmund) | Thimm, Matthias (University of Koblenz-Landau)
The exact relationship between formal argumentation and nonmonotonic logics is a research topic that keeps on eluding researchers despite recent intensified efforts. We contribute to a deeper understanding of this relation by investigating characterizations of abstract dialectical frameworks in conditional logics for nonmonotonic reasoning. We first show that in general, there is a gap between argumentation and conditional semantics when applying several intuitive translations, but then prove that this gap can be closed when focusing on specific classes of translations.
artificial intelligence, framework and nonmonotonic conditional logic, nonmonotonic reasoning, (2 more...)
May-16-2020
- Technology: