AI Reasoning Systems: PAC and Applied Methods
Jeffrey Cheng

TL;DR
This paper explores integrating machine learning and logical reasoning in AI systems, reviewing PAC learning and deep learning methods, and proposing combined models to improve knowledge transfer and robustness.
Contribution
It synthesizes findings from PAC learning and deep learning to advance AI reasoning systems and suggests integrated models combining these approaches.
Findings
Reproduced proofs of tractability for combined models
Presented algorithms in pseudocode for AI reasoning
Highlighted challenges and unsolved problems in integration
Abstract
Learning and logic are distinct and remarkable approaches to prediction. Machine learning has experienced a surge in popularity because it is robust to noise and achieves high performance; however, ML experiences many issues with knowledge transfer and extrapolation. In contrast, logic is easily intepreted, and logical rules are easy to chain and transfer between systems; however, inductive logic is brittle to noise. We then explore the premise of combining learning with inductive logic into AI Reasoning Systems. Specifically, we summarize findings from PAC learning (conceptual graphs, robust logics, knowledge infusion) and deep learning (DSRL, ILP, DeepLogic) by reproducing proofs of tractability, presenting algorithms in pseudocode, highlighting results, and synthesizing between fields. We conclude with suggestions for integrated models by combining the modules listed above…
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
TopicsMachine Learning and Algorithms · Bayesian Modeling and Causal Inference · Machine Learning and Data Classification
