Monadic Reasoning with Weak Completion Semantics
From International Center for Computational Logic
Monadic Reasoning with Weak Completion Semantics
project thesis by Ana Costa
- Supervisor Steffen Hölldobler, Emmanuelle Dietz
- Wissensverarbeitung
- 2017 – 2017
A recent meta-analysis carried out by Khemlani and Johnson-Laird showed that the conclusions drawn by humans in psychological experiments about syllogistic reasoning deviate from the conclusions drawn by classical logic. Moreover, none of the current cognitive theories predictions fit the empirical data. In this paper a Computational Logic analysis clarifies seven principles necessary to draw the inferences. We propose a modular approach towards these principles and show how human syllogistic reasoning can be modeled under a new cognitive theory, the Weak Completion Semantics.