Answer Set Programming (ASP) is a branch of Logic Programming particularly useful for representing complex domains. Logic abduction, the reasoning strategy that deals with incomplete data, is tightly related to ASP, and encodes incompleteness through abducibles. The goal of logic abduction is to find the minimal set of abducibles (where minimality is usually considered in terms of set inclusion) that explains a query. Recently, abductive reasoning has been introduced in the context of Probabilistic Logic Programming, but no solutions are available for Probabilistic Answer Set Programming (PASP). In this paper, we close this gap and propose an algorithm to perform abduction both in ASP and in PASP.

Abduction in (Probabilistic) Answer Set Programming

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

Abstract

Answer Set Programming (ASP) is a branch of Logic Programming particularly useful for representing complex domains. Logic abduction, the reasoning strategy that deals with incomplete data, is tightly related to ASP, and encodes incompleteness through abducibles. The goal of logic abduction is to find the minimal set of abducibles (where minimality is usually considered in terms of set inclusion) that explains a query. Recently, abductive reasoning has been introduced in the context of Probabilistic Logic Programming, but no solutions are available for Probabilistic Answer Set Programming (PASP). In this paper, we close this gap and propose an algorithm to perform abduction both in ASP and in PASP.
2022
Abduction; Probabilistic Answer Set Programming; Statistical Relational Artificial Intelligence
File in questo prodotto:
File Dimensione Formato  
paper_9.pdf

accesso aperto

Descrizione: Full text editoriale
Tipologia: Full text (versione editoriale)
Licenza: Creative commons
Dimensione 1.15 MB
Formato Adobe PDF
1.15 MB Adobe PDF Visualizza/Apri

I documenti in SFERA 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/2494793
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact