Formalising the fisherman's folly puzzle

dc.contributor.authorCabalar P.
dc.contributor.authorSantos P.E.
dc.date.accessioned2019-08-19T23:45:18Z
dc.date.available2019-08-19T23:45:18Z
dc.date.issued2011
dc.description.abstractThis 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.
dc.description.firstpage346
dc.description.issuenumber1
dc.description.lastpage377
dc.description.volume175
dc.identifier.citationCabalar, Pedro; Santos, Paulo E.. Formalising the Fisherman's Folly puzzle. Artificial Intelligence (General ed.), v. 175, p. 346-377, 2011.
dc.identifier.doi10.1016/j.artint.2010.04.004
dc.identifier.issn0004-3702
dc.identifier.urihttps://repositorio.fei.edu.br/handle/FEI/1198
dc.relation.ispartofArtificial Intelligence
dc.rightsAcesso Aberto
dc.subject.otherlanguageCommon sense reasoning
dc.subject.otherlanguageQualitative spatial reasoning
dc.subject.otherlanguageReasoning about actions and change
dc.titleFormalising the fisherman's folly puzzle
dc.typeArtigo
fei.scopus.citations18
fei.scopus.eid2-s2.0-78649729325
fei.scopus.subjectCommonsense knowledge
fei.scopus.subjectCommonsense reasoning
fei.scopus.subjectEquilibrium logic
fei.scopus.subjectQualitative spatial reasoning
fei.scopus.subjectReasoning about actions
fei.scopus.subjectSituation calculus
fei.scopus.subjectSpatial objects
fei.scopus.subjectStable model semantics
fei.scopus.updated2024-02-01
fei.scopus.urlhttps://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=78649729325&origin=inward
Arquivos
Coleções