Cabalar P.Santos P.E.2019-08-192019-08-192011Cabalar, Pedro; Santos, Paulo E.. Formalising the Fisherman's Folly puzzle. Artificial Intelligence (General ed.), v. 175, p. 346-377, 2011.0004-3702https://repositorio.fei.edu.br/handle/FEI/1198This 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. © 2010 Elsevier B.V. All rights reserved.Acesso AbertoArtigo10.1016/j.artint.2010.04.004Common sense reasoningQualitative spatial reasoningReasoning about actions and change