DeepAI AI Chat
Log In Sign Up

Using ConceptNet to Teach Common Sense to an Automated Theorem Prover

by   Claudia Schon, et al.

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.


page 1

page 2

page 3

page 4


Dynamic Knowledge Graph Construction for Zero-shot Commonsense Question Answering

Understanding narratives requires dynamically reasoning about the implic...

Initial Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems

This paper reports our initial experiments with using external ATP on so...

Commonsense Reasoning Using WordNet and SUMO: a Detailed Analysis

We describe a detailed analysis of a sample of large benchmark of common...

Benchmarks for Automated Commonsense Reasoning: A Survey

More than one hundred benchmarks have been developed to test the commons...

Consolidating Commonsense Knowledge

Commonsense reasoning is an important aspect of building robust AI syste...

Controlling Search in Very large Commonsense Knowledge Bases: A Machine Learning Approach

Very large commonsense knowledge bases (KBs) often have thousands to mil...

CASPR: A Commonsense Reasoning-based Conversational Socialbot

We report on the design and development of the CASPR system, a socialbot...