arXiv Open Access 2019

Using ConceptNet to Teach Common Sense to an Automated Theorem Prover

Claudia Schon Sophie Siebert Frieder Stolzenburg

Lihat Sumber

Abstrak

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.

Topik & Kata Kunci

cs.AI

Penulis (3)

Claudia Schon

Sophie Siebert

Frieder Stolzenburg

Format Sitasi

APA MLA BibTeX

Schon, C., Siebert, S., Stolzenburg, F. (2019). Using ConceptNet to Teach Common Sense to an Automated Theorem Prover. https://arxiv.org/abs/1912.12957

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2019
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓