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

https://hal.inria.fr/hal-02520044
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

File

 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

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

88