Revision and Conditional Inference for Abstract Dialectical Frameworks

Heyninck, Jesse and Kern-Isberner, Gabriele and Rienstra, Tjitze and Skiba, Kenneth and Thimm, Matthias (2021) Revision and Conditional Inference for Abstract Dialectical Frameworks, Proceedings of 18th International Conference on Principles of Knowledge Representation and Reasoning.

[thumbnail of kr2021-0033-heyninck-et-al.pdf] Text
kr2021-0033-heyninck-et-al.pdf

Download (226kB)
[thumbnail of kr2021-0033-heyninck-et-al.pdf] Text
kr2021-0033-heyninck-et-al.pdf - Published Version

Download (226kB)

Abstract

For propositional beliefs, there are well-established connections between belief revision, defeasible conditionals and nonmonotonic inference. In argumentative contexts, such connections have not yet been investigated. On the one hand, the exact relationship between formal argumentation and nonmonotonic inference relations is a research topic that keeps on eluding researchers despite recently intensified efforts, whereas argumentative revision has been studied in numerous works during recent years. In this paper, we show that similar relationships between belief revision, defeasible conditionals and nonmonotonic inference hold in argumentative contexts as well. We first define revision operators for abstract dialectical frameworks, and use such revision operators to define dynamic conditionals by means of the Ramsey test. We show that such conditionals can be equivalently defined using a total preorder over three-valued interpretations, and study the inferential behaviour of the resulting conditional inference relations.

Item Type: Conference paper
Subjects: Computing methodologies > Artificial intelligence > Knowledge representation and reasoning
Computing methodologies > Artificial intelligence > Knowledge representation and reasoning > Nonmonotonic, default reasoning and belief revision
Date Deposited: 08 Dec 2021 06:18
Last Modified: 08 Dec 2021 06:18
URI: https://pubs.cs.uct.ac.za/id/eprint/1515

Actions (login required)

View Item View Item