Using ConceptNet to Teach Common Sense to an Automated Theorem Prover
This work addresses commonsense reasoning for automated theorem provers, but it appears incremental as it focuses on using existing knowledge graphs rather than introducing a new method.
The paper tackles the problem of solving commonsense reasoning by integrating knowledge graphs like ConceptNet as background knowledge into an automated theorem prover, resulting in the CoRg system that addresses challenges in this integration.
The CoRg system is a system to solve commonsense reasoning problems. The core of the CoRg system is the automated theorem prover Hyper that is fed with large amounts of background knowledge. This background knowledge plays a crucial role in solving commonsense reasoning problems. In this paper we present different ways to use knowledge graphs as background knowledge and discuss challenges that arise.