We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.AI

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Artificial Intelligence

Title: Nonground Abductive Logic Programming with Probabilistic Integrity Constraints

Abstract: Uncertain information is being taken into account in an increasing number of application fields. In the meantime, abduction has been proved a powerful tool for handling hypothetical reasoning and incomplete knowledge. Probabilistic logical models are a suitable framework to handle uncertain information, and in the last decade many probabilistic logical languages have been proposed, as well as inference and learning systems for them. In the realm of Abductive Logic Programming (ALP), a variety of proof procedures have been defined as well. In this paper, we consider a richer logic language, coping with probabilistic abduction with variables. In particular, we consider an ALP program enriched with integrity constraints `a la IFF, possibly annotated with a probability value. We first present the overall abductive language, and its semantics according to the Distribution Semantics. We then introduce a proof procedure, obtained by extending one previously presented, and prove its soundness and completeness.
Comments: Paper presented at the 37th International Conference on Logic Programming (ICLP 2021), 16 pages
Subjects: Artificial Intelligence (cs.AI)
Journal reference: Theory and Practice of Logic Programming, 21(5), 557-574, 2021
DOI: 10.1017/S1471068421000417
Cite as: arXiv:2108.03033 [cs.AI]
  (or arXiv:2108.03033v2 [cs.AI] for this version)

Submission history

From: Riccardo Zese [view email]
[v1] Fri, 6 Aug 2021 10:22:12 GMT (55kb)
[v2] Thu, 3 Feb 2022 14:22:05 GMT (55kb)

Link back to: arXiv, form interface, contact.