A Computational Logic Approach to Human Spatial Reasoning

We present a new approach with respect to spatial reasoning problems by using logic programs. Because the weak completion of a logic program admits a least model under the three-valued Lukasiewicz semantics and this semantics has been successfully applied to other human reasoning tasks, conditionals are evaluated under these least L-models. We show that the weak completion semantics can also handle spatial relations in a way humans do. In particular, we develop a computational logic approach to spatial reasoning and show that the weak completion semantics computes preferred mental models.