KR2020Proceedings of the 17th International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning

Rhodes, Greece. September 12-18, 2020.

Edited by

ISSN: 2334-1033
ISBN: 978-0-9992411-7-2

Sponsored by
Published by

Copyright © 2020 International Joint Conferences on Artificial Intelligence Organization

Independence and D-separation in Abstract Argumentation

  1. Tjitze Rienstra(University of Koblenz-Landau)
  2. Matthias Thimm(University of Koblenz-Landau)
  3. Kristian Kersting(TU Darmstadt)
  4. Xiaoting Shao(TU Darmstadt)

Keywords

  1. Argumentation-General
  2. Computational aspects of knowledge representation-General

Abstract

We investigate the notion of independence in abstract argumentation, i.e., the question of whether the evaluation of one set of arguments is independent of the evaluation of another set of arguments, given that we already know the status of a third set of arguments. We provide a semantic definition of this notion and develop a method to discover independencies based on transforming an argumentation framework into a DAG on which we then apply the well-known d-separation criterion. We also introduce the SCC Markov property for argumentation semantics, which generalises the Markov property from the classical acyclic case and guarantees the soundness of our approach.