Formalising the fisherman's folly puzzle
N/D
Tipo de produção
Artigo
Data de publicação
2011
Texto completo (DOI)
Periódico
Artificial Intelligence
Editor
Texto completo na Scopus
Citações na Scopus
19
Autores
Cabalar P.
Santos P.E.
Orientadores
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.
Citação
Cabalar, Pedro; Santos, Paulo E.. Formalising the Fisherman's Folly puzzle. Artificial Intelligence (General ed.), v. 175, p. 346-377, 2011.
Palavras-chave
Keywords
Common sense reasoning; Qualitative spatial reasoning; Reasoning about actions and change
Assuntos Scopus
Commonsense knowledge; Commonsense reasoning; Equilibrium logic; Qualitative spatial reasoning; Reasoning about actions; Situation calculus; Spatial objects; Stable model semantics