Formalising the fisherman's folly puzzle
Nenhuma Miniatura disponível
Citações na Scopus
19
Tipo de produção
Artigo
Data
2011
Autores
Cabalar P.
Santos P.E.
Santos P.E.
Orientador
Periódico
Artificial Intelligence
Título da Revista
ISSN da Revista
Título de Volume
Citação
Cabalar, Pedro; Santos, Paulo E.. Formalising the Fisherman's Folly puzzle. Artificial Intelligence (General ed.), v. 175, p. 346-377, 2011.
Texto completo (DOI)
Palavras-chave
Resumo
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. © 2010 Elsevier B.V. All rights reserved.