Understanding ProbLog as probabilistic argumentation
File(s)ICLP2023.18.pdf (131.1 KB)
Published version
Author(s)
Toni, Francesca
Potyka, N
Ulbricht, Markus
Totis, Pietro
Type
Conference Paper
Abstract
ProbLog is a popular probabilistic logic programming language and tool, widely used for applications requiring to deal with inherent uncertainties in structured domains. In this paper we study some
connections between ProbLog and a variant of another well-known formalism combining symbolic
reasoning and reasoning under uncertainty, namely probabilistic argumentation. Specifically, we
show that ProbLog is an instance of a form of Probabilistic Abstract Argumentation (PAA) under
the constellation approach, which builds upon Assumption-Based Argumentation (ABA). The connections pave the way towards equipping ProbLog with a variety of alternative semantics, inherited
from PAA/PABA, as well as obtaining novel argumentation semantics for PAA/PABA, leveraging on
existing connections between ProbLog and argumentation. Moreover, the connections pave the way
towards novel forms of argumentative explanations for ProbLog’s outputs.
connections between ProbLog and a variant of another well-known formalism combining symbolic
reasoning and reasoning under uncertainty, namely probabilistic argumentation. Specifically, we
show that ProbLog is an instance of a form of Probabilistic Abstract Argumentation (PAA) under
the constellation approach, which builds upon Assumption-Based Argumentation (ABA). The connections pave the way towards equipping ProbLog with a variety of alternative semantics, inherited
from PAA/PABA, as well as obtaining novel argumentation semantics for PAA/PABA, leveraging on
existing connections between ProbLog and argumentation. Moreover, the connections pave the way
towards novel forms of argumentative explanations for ProbLog’s outputs.
Date Issued
2023-07-09
Date Acceptance
2023-05-17
Citation
Electronic Proceedings in Theoretical Computer Science, 2023, 385, pp.183-189
ISSN
2075-2180
Publisher
Open Publishing Association
Start Page
183
End Page
189
Journal / Book Title
Electronic Proceedings in Theoretical Computer Science
Volume
385
Copyright Statement
© Toni, Potyka, Ulbricht & Totis. This work is licensed under the
Creative Commons Attribution License (https://creativecommons.org/licenses/by/4.0/)
Creative Commons Attribution License (https://creativecommons.org/licenses/by/4.0/)
Source
ICLP 2023
Publication Status
Published
Start Date
2023-07-09
Finish Date
2023-07-15
Coverage Spatial
London, UK