NAI Journal 2025 Journal Article
Deep deductive reasoning is a hard deep learning problem
- Pascal Hitzler
- Rushrukh Rayan
- Joseph Zalewski
- Sanaz Saki Norouzi
- Aaron Eberhart
- Eugene Y Vasserman
Deep Deductive Reasoning refers to the training and then executing of deep learning systems to perform deductive reasoning in the sense of formal, mathematical logic. We discuss why this is an interesting and relevant problem to study, and explore how hard it is as a deep learning problem. In particular, we present some of the progress made on this topic in recent years, understand some of the theoretical limitations that can be assessed from existing literature, and discuss negative results we have obtained regarding improving on the state of the art.