Monadic Reasoning with Weak Completion Semantics
Aus International Center for Computational Logic
Monadic Reasoning with Weak Completion Semantics
Studienarbeit von Ana Costa
- Betreuer Steffen Hölldobler, Emmanuelle-Anna Dietz Saldanha
- Wissensverarbeitung
- 13. November 2017 – 13. November 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.