KR2021Proceedings of the 18th International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning

Online event. November 3-12, 2021.

Edited by

ISSN: 2334-1033
ISBN: 978-1-956792-99-7

Sponsored by
Published by

Copyright © 2021 International Joint Conferences on Artificial Intelligence Organization

Revision and Conditional Inference for Abstract Dialectical Frameworks

  1. Jesse Heyninck(Technische Universität Dortmund, Dortmund, Germany, University of Cape Town, Cape Town, South Africa, CAIR, South Africa)
  2. Gabriele Kern-Isberner(Technische Universität Dortmund, Dortmund, Germany)
  3. Tjitze Rienstra(Universität Koblenz-Landau, Koblenz, Germany)
  4. Kenneth Skiba(Institute for Web Science and Technologies, University of Koblenz-Landau, Koblenz, Germany)
  5. Matthias Thimm(Universität Koblenz-Landau, Koblenz, Germany)

Keywords

  1. Argumentation
  2. Belief revision and update, belief merging, information fusion
  3. Nonmonotonic logics, default logics, conditional logics

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.