Bayesian Abductive Logic Programs: A Probabilistic Logic for Abductive Reasoning
IJCAI'11, 2011. [All Versions]. [Preprint]. This work introduces Bayesian Abductive Logic Programs (BALP), a probabilistic logic that adapts Bayesian Logic Programs (BLPs) for abductive reasoning. Like BLPs, BALPs also combine first-order logic and Bayes nets. However, unlike…
- from
- AGI & CoCoSci
- added
- 2026-10-10
- likes
- 0
similar
-
Abductive Logic Programming academic.oup.com
Journal of Logic Computation, 1992. [All Versions]. This paper is a survey and critical overview of recent work on the extension of logic programming to perform abductive reasoning (abductive logic programming). The authors outline the general framework of abduction and its…
-
ACLP: Abductive Constraint Logic Programming sciencedirect.com
The Journal of Logic Programming, 1999. [All Versions]. This paper presents the framework of Abductive Constraint Logic Programming (ACLP), which integrates Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP). In ACLP, the task of abduction is supported and…
-
Nonparametric Bayesian Logic dl.acm.org
UAI'05, 2005. [All Versions]. [Preprint]. The Bayesian Logic (BLOG) language was recently developed for defining first-order probability models over worlds with unknown numbers of objects. It handles important problems in AI, including data association and population…
-
DeepProbLog: Neural Probabilistic Logic Programming arxiv.org
NeurIPS'18, 2018. [All Versions]. The original paper on neuro-symbolic probabilistic programming.
-
PAL: Program-aided Language Models proceedings.mlr.press
ICML'23, 2023. [All Versions]. Paper presenting an approach that uses the LLM to read natural language problems and generate programs as the intermediate reasoning steps, but offloads the solution step to a runtime such as a Python interpreter. With PAL, decomposing the natural…
-
Bayesian Model-Agnostic Meta-Learning proceedings.neurips.cc
NeurIPS'18, 2018. [All Versions]. A Bayesian account on MAML.
AGI & CoCoSci › Papers > Abduction > Applications in AI: “IJCAI'11, 2011. [All Versions]. [Preprint]. This work introduces Bayesian Abductive Logic Programs (BALP), a probabilistic logic that adapts Bayesian Logic Programs (BLPs) for abductive reasoning. Like BLPs, BALPs also combine first-order logic and Bayes nets. However, unlike…”