Formalising the fisherman's folly puzzle

Pedro Cabalar; Paulo E. Santos

doi:10.1016/j.artint.2010.04.004

Formalising the fisherman's folly puzzle

Pedro Cabalar, Paulo E. Santos

Research output: Contribution to journal › Article › peer-review

18 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 language	English
Pages (from-to)	346-377
Number of pages	32
Journal	Artificial Intelligence
Volume	175
Issue number	1
DOIs	https://doi.org/10.1016/j.artint.2010.04.004
Publication status	Published - Jan 2011
Externally published	Yes

Keywords

Common sense reasoning
Qualitative spatial reasoning
Reasoning about actions and change

Access to Document

10.1016/j.artint.2010.04.004Licence: In Copyright

Cite this

@article{126355267d9345d795ad27f51e29df1d,

title = "Formalising the fisherman's folly puzzle",

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.",

keywords = "Common sense reasoning, Qualitative spatial reasoning, Reasoning about actions and change",

author = "Pedro Cabalar and Santos, {Paulo E.}",

year = "2011",

month = jan,

doi = "10.1016/j.artint.2010.04.004",

language = "English",

volume = "175",

pages = "346--377",

journal = "Artificial Intelligence",

issn = "0004-3702",

publisher = "Springer Netherlands",

number = "1",

}

TY - JOUR

T1 - Formalising the fisherman's folly puzzle

AU - Cabalar, Pedro

AU - Santos, Paulo E.

PY - 2011/1

Y1 - 2011/1

N2 - 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.

AB - 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.

KW - Common sense reasoning

KW - Qualitative spatial reasoning

KW - Reasoning about actions and change

UR - http://www.scopus.com/inward/record.url?scp=78649729325&partnerID=8YFLogxK

U2 - 10.1016/j.artint.2010.04.004

DO - 10.1016/j.artint.2010.04.004

M3 - Article

SN - 0004-3702

VL - 175

SP - 346

EP - 377

JO - Artificial Intelligence

JF - Artificial Intelligence

IS - 1

ER -

Formalising the fisherman's folly puzzle

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this