Poster
0

Understanding ProbLog as Probabilistic Argumentation

Avatar
Voices Powered byElevenlabs logo

Authors

Francesca Toni Department of Computing, Imperial College London, UK, Nico Potyka Department of Computing, Imperial College London, UK, Markus Ulbricht Department of Computer Science, Leipzig University, Germany, Pietro Totis Department of Computer Science, KU Leuven, Belgium

Abstract

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.

Follow Us on

0 comments

Add comment
Recommended SciCasts