Formalising the Fisherman's Folly puzzle |
| |
Authors: | Pedro Cabalar Paulo E Santos |
| |
Affiliation: | aDept. Computación, University of Corunna, Spain;bAI and Automation Group (IAAA), Centro Universitário da FEI, São Paulo, Brazil |
| |
Abstract: | This paper investigates the challenging problem of encoding the common sense knowledge involved in the manipulation of spatial objects from a reasoning about actions and change perspective. In particular, we propose a formal solution to a puzzle composed of non-trivial objects (such as holes and strings) assuming a version of the Situation Calculus written over first-order Equilibrium Logic, whose models generalise the stable model semantics. |
| |
Keywords: | Common sense reasoning Qualitative spatial reasoning Reasoning about actions and change |
本文献已被 ScienceDirect 等数据库收录! |