REVIEW 9 cited by
DeepProbLog: Neural Probabilistic Logic Programming
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
Signed reviews
read the original abstract
We introduce DeepProbLog, a probabilistic logic programming language that incorporates deep learning by means of neural predicates. We show how existing inference and learning techniques can be adapted for the new language. Our experiments demonstrate that DeepProbLog supports both symbolic and subsymbolic representations and inference, 1) program induction, 2) probabilistic (logic) programming, and 3) (deep) learning from examples. To the best of our knowledge, this work is the first to propose a framework where general-purpose neural networks and expressive probabilistic-logical modeling and reasoning are integrated in a way that exploits the full expressiveness and strengths of both worlds and can be trained end-to-end based on examples.
Forward citations
Cited by 9 Pith papers
-
The RAIL Principles for Neurosymbolic AI: Reasoning, Assurances, Interfacing and Learning
The RAIL framework classifies AI systems along four qualitative dimensions and promises to guide more principled neurosymbolic design.
-
SoftReason: A Fully Differentiable Neuro-Soft-Symbolic Deductive Reasoning Architecture over High-Dimensional Perceptual Data
SoftReason learns a differentiable soft deductive closure operator over perceptual facts and reports 94.3% Hit@1 on KVQA entity linking.
-
Grounding Investor Views: Neural Predicates in the Black-Litterman Model
Neural predicate stance probabilities are mapped into Black-Litterman views, with Shannon entropy setting view uncertainty, yielding a formal and differentiable view-generation pipeline.
-
Enhancing Symbolic Machine Learning by Subsymbolic Representations
Adding a similar/2 predicate over pretrained embeddings and fine-tuning those embeddings with a Logic Tensor Network improves TILDE F1 on hate speech, spam, and drug response tasks.
-
A Neurosymbolic Prolog Skill for LLM-Driven Service Placement
A Prolog skill enables LLMs to structure placement intent into facts and queries while delegating constraint reasoning to symbolic logic for cloud-edge service placement.
-
A Neuro-Symbolic Framework for Accountability in Public-Sector AI
A framework combining legal ontology, rule extraction, and solver reasoning verifies whether AI explanations for CalFresh eligibility align with statutory constraints.
-
Relational Programming with Foundation Models
Vieira extends the Scallop relational engine with a foreign interface that lets foundation models act as probabilistic relations, enabling neuro-symbolic programs across nine tasks.
-
Semi-Supervised Learning using Differentiable Reasoning
A fuzzy-logic loss over unlabeled images improves object-type classification on PASCAL-Part, and reweighting Modus Ponens versus Modus Tollens gradients gives the best gain.
-
Foundation Models for CPS-IoT: Opportunities and Challenges
Current foundation models fall short on CPS-IoT needs in resource efficiency, spatial generalization, long-term context, and knowledge integration; the paper proposes desiderata and a community roadmap.
Discussion (0). Continue with ORCID to comment.