arrow
Return

Abduction with probabilistic logic programming under the distribution semantics

delete2022-03-01
delete9
PRE
AI
D
Damiano Azzolini *
E
Elena Bellodi
S
Stefano Ferilli
F
Fabrizio Riguzzi
R
Riccardo Zese
DOI:10.1016/j.ijar.2021.11.003delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
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.
Keywords:
Abduction
Distribution semantics
Probabilistic logic programming
Statistical relational artificial intelligence

Journal

International Journal of Approximate Reasoning cover
International Journal of Approximate Reasoning
IF:
3
Papers:
3.0K
Citations:
5.1K

Organization

U
universita degli studi di bari aldo moro
Scholars:
2.1W
Papers: 1.6W
Citations: 9
U
University of Ferrara
Scholars:
1.4W
Papers: 1.1W
Citations: 12
Cited Papers

Cited Papers

Identification and Characterization of Latex-Specific Proteins in Opium Poppy
err1985-10-01
err0
errOAAI
errCraig L. Nessler; Randy D. Allen; Samuel Galewsky
errShare
errSave
Markov logic networks
err2006-01-27
err1.6K
errOAAI
errRichardson, M; Domingos, P
errShare
errSave
errShare
errSave
Ring expansion and equilibration in organophosphazenes and the relationship to polymerization
err2002-05-01
err0
PREAI
errHarry R. Allcock; Gayann S. McDonnell; James L. Desorcie
errShare
errSave
Imaging X-ray spectrophotometric observation of SN 1006
err1985-01-01
err0
errOAAI
errM. H. Vartanian; K. S. K. Lum; W. H.-M. Ku
errShare
errSave
PROBABILISTIC LOGIC
err1986-02-01
err761
PREAI
errNILSSON, NJ
errShare
errSave
Answer Set Programming at a Glance
err2011-12-01
err582
PREAI
errBrewka, Gerhard; Eiter, Thomas; Truszczynski, Miroslaw
errShare
errSave
researcher View more