Skip to Main content Skip to Navigation
Conference papers

Commonsense Reasoning Using Theorem Proving and Machine Learning

Abstract : Commonsense reasoning is a difficult task for a computer to handle. Current algorithms score around 80% on benchmarks. Usually these approaches use machine learning which lacks explainability, however. Therefore, we propose a combination with automated theorem proving here. Automated theorem proving allows us to derive new knowledge in an explainable way, but suffers from the inevitable incompleteness of existing background knowledge. We alleviate this problem by using machine learning. In this paper, we present our approach which uses an automatic theorem prover, large existing ontologies with background knowledge, and machine learning. We present first experimental results and identify an insufficient amount of training data and lack of background knowledge as causes for our system not to stand out much from the baseline.
Document type :
Conference papers
Complete list of metadata

Cited literature [32 references]  Display  Hide  Download
Contributor : Hal Ifip <>
Submitted on : Thursday, March 26, 2020 - 1:49:39 PM
Last modification on : Tuesday, March 31, 2020 - 3:50:36 PM
Long-term archiving on: : Saturday, June 27, 2020 - 2:49:42 PM


 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2022-01-01

Please log in to resquest access to the document


Distributed under a Creative Commons Attribution 4.0 International License



Sophie Siebert, Claudia Schon, Frieder Stolzenburg. Commonsense Reasoning Using Theorem Proving and Machine Learning. 3rd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2019, Canterbury, United Kingdom. pp.395-413, ⟨10.1007/978-3-030-29726-8_25⟩. ⟨hal-02520044⟩



Record views