DeepPSL: End-to-end perception and reasoning
Sridhar Dasaratha, Sai Akhil Puranam, Karmvir Singh Phogat, Sunil, Reddy Tiyyagura, Nigel P. Duffy

TL;DR
DeepPSL combines deep neural networks with probabilistic soft logic to create an end-to-end trainable system that enhances reasoning and perception tasks, demonstrating superior scalability and competitive accuracy.
Contribution
It introduces a novel deep neural network integration with PSL via HL-MRFs, enabling end-to-end training for scalable neuro-symbolic reasoning.
Findings
Outperforms state-of-the-art neuro-symbolic methods in scalability
Achieves comparable or better accuracy on three tasks
Demonstrates effective integration of perception and reasoning
Abstract
We introduce DeepPSL a variant of probabilistic soft logic (PSL) to produce an end-to-end trainable system that integrates reasoning and perception. PSL represents first-order logic in terms of a convex graphical model -- hinge-loss Markov random fields (HL-MRFs). PSL stands out among probabilistic logic frameworks due to its tractability having been applied to systems of more than 1 billion ground rules. The key to our approach is to represent predicates in first-order logic using deep neural networks and then to approximately back-propagate through the HL-MRF and thus train every aspect of the first-order system being represented. We believe that this approach represents an interesting direction for the integration of deep learning and reasoning techniques with applications to knowledge base learning, multi-task learning, and explainability. Evaluation on three different tasks…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsBayesian Modeling and Causal Inference · Neural Networks and Applications · Explainable Artificial Intelligence (XAI)
