Abstract:The existing approaches to formulate the semantics of probabilistic argumentation are based on the notion of possible world. Given a probabilistic argument graph (PrAG) with n nodes, up to 2(n) subgraphs are blindly constructed and their extensions under a given semantics are computed. Then, the probability of a set of arguments E being an extension under a given semantics sigma (denoted as p(E-sigma)) is equal to the sum of the probabilities of all subgraphs each of which has the extension E. Since many irrelevant subgraphs are constructed, and in many cases, computing extensions of subgraphs is computationally intractable, these approaches are fundamentally inefficient or infeasible. In existing literature, while approximate approaches based on the Monte Carlo simulation technique have been proposed to estimate the probability of extensions, how to improve the efficiency of computation without using the simulation technique is still an open problem. In this article, we address this problem from the following two perspectives. First, conceptually, we define specific properties to characterize the subgraphs of a PrAG with respect to a given extension, such that the probability of a set of arguments E being an extension can be defined in terms of these properties, without (or with less) construction of subgraphs. Second, computationally, we take preferred semantics as an example, and develop algorithms to evaluate the efficiency of our approach. The results show that our approach not only dramatically decreases the time for computing p(E-sigma), but also has an attractive property, which is contrary to that of existing approaches: the denser the edges of a PrAG are or the bigger the size of a given extension E is, the more efficient our approach computes p(E-sigma). Meanwhile, it is shown that under complete and preferred semantics, the problems of determining p(E-sigma) are fixed-parameter tractable.

Polynomial Semantics of Tractable Probabilistic Circuits

Probabilistic Circuits for Cumulative Distribution Functions

Restructuring Tractable Probabilistic Circuits

On the Expressive Power of Tree-Structured Probabilistic Circuits

Testing Probabilistic Circuits

On the Relationship Between Monotone and Squared Probabilistic Circuits

Sum of Squares Circuits

Probabilistic Generating Circuits -- Demystified

Probabilistic Circuits with Constraints via Convex Optimization

Tractable Regularization of Probabilistic Circuits

Probabilistic Representation of Commutative Quantum Circuit Models

Sparse Probabilistic Circuits via Pruning and Growing

Formulating Semantics of Probabilistic Argumentation by Characterizing Subgraphs: Theory and Empirical Results

Probabilistic Neural Circuits

Formulating Semantics of Probabilistic Argumentation by Characterizing Subgraphs.

Characteristic Circuits

Causal Inference Using Tractable Circuits

On Hardware-efficient Inference in Probabilistic Circuits

Tractable Circuits in Database Theory

Building Expressive and Tractable Probabilistic Generative Models: A Review