# Understanding ProbLog as Probabilistic Argumentation

arXiv: https://arxiv.org/abs/2308.15891 · HTML: https://mlsanity.com/paper/2308.15891/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- Builds on 3 of its 24 references that are in the map.
- First posted on arXiv 30 Aug 2023.

## Builds on (most cited first, 3 of 3)

- [Neural Probabilistic Logic Programming in DeepProbLog](https://mlsanity.com/paper/1907.08194/) (2019)
- [Argumentative XAI: A Survey](https://mlsanity.com/paper/2105.11266/) (2021)
- [smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation](https://mlsanity.com/paper/2304.00879/) (2023)

## Built on by (most cited first, 1 of 1)

- [On the Correspondence of Non-flat Assumption-based Argumentation and Logic Programming with Negation as Failure in the Head](https://mlsanity.com/paper/2405.09415/) (2024)

## Abstract (arXiv)

ProbLog is a popular probabilistic logic programming language/tool, widely used for applications requiring to deal with inherent uncertainties in structured domains. In this paper we study connections between ProbLog and a variant of another well-known formalism combining symbolic reasoning and reasoning under uncertainty, i.e. probabilistic argumentation. Specifically, we show that ProbLog is an instance of a form of Probabilistic Abstract Argumentation (PAA) that builds upon Assumption-Based Argumentation (ABA). The connections pave the way towards equipping ProbLog with alternative semantics, inherited from PAA/PABA, as well as obtaining novel argumentation semantics for PAA/PABA, leveraging on prior connections between ProbLog and argumentation. Further, the connections pave the way towards novel forms of argumentative explanations for ProbLog's outputs.