Weak Completion Semantics and its Applications in Human Reasoning.
Steffen Hölldobler · 2015
I present a logic programming approach based on the weak completions semantics to model human reasoning tasks, and apply the approach to model the suppression task, the selection task as well as the belief-bias e↵ect, to compute preferred mental models of spatial reasoning tasks and to evaluate indicative as well as counterfactual conditionals.