On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics

Abstract

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.

Description

Table of contents

Keywords

Abstract argumentation, Abstract dialectical frameworks, Non-monotonic logics, Non-monotonic conditionals, Conditional logics, Non-monotonic reasoning, Defeasible reasoning

Citation