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.
May-16-2020
- Technology: