Repositório do Conhecimento Institucional do Centro Universitário FEI
 

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

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

Coleções

Avaliação

Revisão

Suplementado Por

Referenciado Por