Affiliation:
1. Kansas State University, USA
Abstract
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.
Reference38 articles.
1. Reason-able embeddings: Learning concept embeddings with a transferable neural reasoner
2. Queries and concept learning;Angluin;Machine Learning,1988
3. F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi and P.F. Patel-Schneider (eds), The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn, Cambridge University Press, 2007.
4. S. Bader, P. Hitzler, S. Hölldobler and A. Witzel, A fully connectionist model generator for covered first-order logic programs, in: IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6–12, 2007, M.M. Veloso, ed., 2007, pp. 666–671, http://ijcai.org/Proceedings/07/Papers/106.pdf.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献