Using conceptnet to teach common sense to an automated theorem prover

3Citations
Citations of this article
13Readers
Mendeley users who have this article in their library.

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.

Cite

CITATION STYLE

APA

Schon, C., Siebert, S., & Stolzenburg, F. (2019). Using conceptnet to teach common sense to an automated theorem prover. In Electronic Proceedings in Theoretical Computer Science, EPTCS (Vol. 311, pp. 19–24). Open Publishing Association. https://doi.org/10.4204/EPTCS.311.3

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free