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.
Text
kr2021-0033-heyninck-et-al.pdf Download (226kB) |
|
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 |