Formalising the fisherman's folly puzzle

Pedro Cabalar, Paulo E. Santos

Research output: Contribution to journalArticlepeer-review

17 Citations (Scopus)

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.

Original languageEnglish
Pages (from-to)346-377
Number of pages32
JournalArtificial Intelligence
Volume175
Issue number1
DOIs
Publication statusPublished - Jan 2011
Externally publishedYes

Keywords

  • Common sense reasoning
  • Qualitative spatial reasoning
  • Reasoning about actions and change

Fingerprint

Dive into the research topics of 'Formalising the fisherman's folly puzzle'. Together they form a unique fingerprint.

Cite this