DeepAI AI Chat
Log In Sign Up

Using ConceptNet to Teach Common Sense to an Automated Theorem Prover

12/30/2019
by   Claudia Schon, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

11/10/2019

Dynamic Knowledge Graph Construction for Zero-shot Commonsense Question Answering

Understanding narratives requires dynamically reasoning about the implic...
06/06/2014

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

This paper reports our initial experiments with using external ATP on so...
09/05/2019

Commonsense Reasoning Using WordNet and SUMO: a Detailed Analysis

We describe a detailed analysis of a sample of large benchmark of common...
02/09/2023

Benchmarks for Automated Commonsense Reasoning: A Survey

More than one hundred benchmarks have been developed to test the commons...
06/10/2020

Consolidating Commonsense Knowledge

Commonsense reasoning is an important aspect of building robust AI syste...
03/14/2016

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

Very large commonsense knowledge bases (KBs) often have thousands to mil...
10/11/2021

CASPR: A Commonsense Reasoning-based Conversational Socialbot

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