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.

Abduction with probabilistic logic programming under the distribution semantics

Azzolini D.
Primo
;
Bellodi E.
Secondo
;
Riguzzi F.
Penultimo
;
Zese R.
Ultimo
2022

Abstract

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.
2022
Azzolini, D.; Bellodi, E.; Ferilli, S.; Riguzzi, F.; Zese, R.
File in questo prodotto:
File Dimensione Formato  
full text.pdf

solo gestori archivio

Descrizione: Full text editoriale
Tipologia: Full text (versione editoriale)
Licenza: NON PUBBLICO - Accesso privato/ristretto
Dimensione 664.04 kB
Formato Adobe PDF
664.04 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
abd.pdf

Open Access dal 19/11/2023

Descrizione: Post-Print
Tipologia: Post-print
Licenza: Creative commons
Dimensione 519.2 kB
Formato Adobe PDF
519.2 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11392/2468903
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 12
  • ???jsp.display-item.citation.isi??? 9
social impact