Abduction with probabilistic logic programming under the distribution semantics

被引：9

作者：

Azzolini, Damiano ^{[1
]}

Bellodi, Elena ^{[2
]}

Ferilli, Stefano ^{[3
]}

Riguzzi, Fabrizio ^{[1
]}

Zese, Riccardo ^{[4
]}

机构：

[1] Univ Ferrara, Dipartimento Matemat & Informat, Via Saragat 1, I-44122 Ferrara, Italy

[2] Univ Ferrara, Dipartimento Ingn, Via Saragat 1, I-44122 Ferrara, Italy

[3] Univ Bari, Dipartimento Informat, Via Orabona 4, I-70125 Bari, Italy

[4] Univ Ferrara, Dipartimento Sci Chim Farmaceut & Agr, Via Luigi Borsari 46, I-44121 Ferrara, Italy

来源：

INTERNATIONAL JOURNAL OF APPROXIMATE REASONING | 2022年 / 142卷

关键词：

Abduction; Distribution semantics; Probabilistic logic programming; Statistical relational artificial intelligence; INFERENCE; LANGUAGE;

D O I：

10.1016/j.ijar.2021.11.003

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

In Probabilistic Abductive Logic Programming we are given a probabilistic logic program, a set of abducible facts, and a set of constraints. Inference in probabilistic abductive logic programs aims to find a subset of the abducible facts that is compatible with the constraints and that maximizes the joint probability of the query and the constraints. In this paper, we extend the PITA reasoner with an algorithm to perform abduction on probabilistic abductive logic programs exploiting Binary Decision Diagrams. Tests on several synthetic datasets show the effectiveness of our approach. (C) 2021 Elsevier Inc. All rights reserved.

引用

页码：41 / 63

页数：23

共 50 条

[1] A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics
Riguzzi, Fabrizio
Bellodi, Elena
Zese, Riccardo
Cota, Giuseppe
Lamma, Evelina
[J]. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2017, 80 : 313 - 333
[2] Probabilistic Logic Programming under Answer Sets Semantics
王洁
鞠实儿
[J]. 中山大学学报(社会科学版), 2003, (S1) : 90 - 96
[3] Probabilistic Logic Programming under Answer Sets Semantics
王洁
鞠实儿
[J]. 中山大学学报(社会科学版), 2003, (社会科学版) - 96
[4] Well-definedness and efficient inference for probabilistic logic programming under the distribution semantics
Riguzzi, Fabrizio
Swift, Terrance
[J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2013, 13 : 279 - 302
[5] COALGEBRAIC SEMANTICS FOR PROBABILISTIC LOGIC PROGRAMMING
Gu, Tao
Zanasi, Fabio
[J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2021, 17 (02) : 2:1 - 2:35
[6] A new probabilistic constraint logic programming language based on a generalised distribution semantics
Michels, Steffen
Hommersom, Arjen
Lucas, Peter J. F.
Velikova, Marina
[J]. ARTIFICIAL INTELLIGENCE, 2015, 228 : 1 - 44
[7] On the Relationship between Logical Bayesian Networks and Probabilistic Logic Programming Based on the Distribution Semantics
Fierens, Daan
[J]. INDUCTIVE LOGIC PROGRAMMING, 2010, 5989 : 17 - 24
[8] Abduction in logic programming
Denecker, M
Kakas, A
[J]. COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT I: ESSAYS IN HONOUR OF ROBERT A KOWALSKI, 2002, 2407 : 402 - 436
[9] Abduction in Probabilistic Logic Programs
Azzolini, Damiano
Bellodi, Elena
Ferilli, Stefano
Riguzzi, Fabrizio
Zese, Riccardo
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, 364 : 175 - 178
[10] Probabilistic Description Logics under the distribution semantics
Riguzzi, Fabrizio
Bellodi, Elena
Lamma, Evelina
Zese, Riccardo
[J]. SEMANTIC WEB, 2015, 6 (05) : 477 - 501

← 1 2 3 4 5 →