Using ConceptNet to Teach Common Sense to an Automated Theorem Prover

Claudia Schon, Sophie Siebert, Frieder Stolzenburg

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…