Advancing Algorithmic Approaches to Probabilistic Argumentation under the Constellation Approach
Andrei Popescu, Johannes P. Wallner

TL;DR
This paper develops a dynamic programming algorithm to efficiently compute probabilities in probabilistic argumentation under the constellation approach, addressing high computational complexity issues.
Contribution
It refines complexity results and introduces a novel dynamic programming method for probabilistic reasoning in argumentation frameworks.
Findings
The probability of a set being an extension is #P-complete.
The probability of an argument being acceptable is #-dot-NP-complete.
Experimental results show the effectiveness of the proposed algorithm.
Abstract
Reasoning with defeasible and conflicting knowledge in an argumentative form is a key research field in computational argumentation. Reasoning under various forms of uncertainty is both a key feature and a challenging barrier for automated argumentative reasoning. It was shown that argumentative reasoning using probabilities faces in general high computational complexity, in particular for the so-called constellation approach. In this paper, we develop an algorithmic approach to overcome this obstacle. We refine existing complexity results and show that two main reasoning tasks, that of computing the probability of a given set being an extension and an argument being acceptable, diverge in their complexity: the former is #P-complete and the latter is #-dot-NP-complete when considering their underlying counting problems. We present an algorithm for the complex task of computing the…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSoftware Engineering Techniques and Practices · Systems Engineering Methodologies and Applications · Complex Systems and Decision Making
MethodsSparse Evolutionary Training
