Using ConceptNet to Teach Common Sense to an Automated Theorem Prover

TL;DR

This paper explores integrating knowledge graphs like ConceptNet into automated theorem proving systems to enhance commonsense reasoning capabilities, addressing challenges in knowledge representation and utilization.

Contribution

It introduces methods for incorporating knowledge graphs into theorem provers and discusses associated challenges, advancing commonsense reasoning in AI.

Findings

Effective methods for integrating knowledge graphs into theorem provers.

Identification of key challenges in using background knowledge.

Potential improvements in solving commonsense reasoning problems.

Abstract

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.