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.

翻译：ProbLog是一种流行的概率逻辑编程语言/工具，广泛应用于需要在结构化领域处理固有不确定性的应用中。本文研究了ProbLog与另一种结合符号推理和不确定性推理的著名形式体系（即概率论证）变体之间的联系。具体而言，我们证明ProbLog是基于假设论证（ABA）的概率抽象论证（PAA）的一种实例。这些联系为利用PAA/PABA继承的替代语义来装备ProbLog，以及通过利用ProbLog与论证之间的既有联系来为PAA/PABA获取新颖的论证语义铺平了道路。此外，这些联系还为ProbLog的输出探索新型论证性解释提供了途径。