Formalising the fisherman's folly puzzle

Detalhes bibliográficos
Autor(a) principal: Cabalar P.
Data de Publicação: 2011
Outros Autores: Santos P.E.
Tipo de documento: Artigo
Título da fonte: Biblioteca Digital de Teses e Dissertações da FEI
Texto Completo: https://repositorio.fei.edu.br/handle/FEI/1198
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.
id FEI_7638bdcdfcdaedadaf943a283c6d6cd4
oai_identifier_str oai:repositorio.fei.edu.br:FEI/1198
network_acronym_str FEI
network_name_str Biblioteca Digital de Teses e Dissertações da FEI
repository_id_str
spelling Cabalar P.Santos P.E.2019-08-19T23:45:18Z2019-08-19T23:45:18Z2011Cabalar, Pedro; Santos, Paulo E.. Formalising the Fisherman's Folly puzzle. Artificial Intelligence (General ed.), v. 175, p. 346-377, 2011.0004-3702https://repositorio.fei.edu.br/handle/FEI/119810.1016/j.artint.2010.04.004This 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.1751346377Artificial IntelligenceFormalising the fisherman's folly puzzleinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleCommon sense reasoningQualitative spatial reasoningReasoning about actions and changeinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da FEIinstname:Centro Universitário da Fundação Educacional Inaciana (FEI)instacron:FEI172-s2.0-78649729325Commonsense knowledgeCommonsense reasoningEquilibrium logicQualitative spatial reasoningReasoning about actionsSituation calculusSpatial objectsStable model semanticshttps://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=78649729325&origin=inward2022-06-01FEI/11982022-06-01 03:08:51.26Biblioteca Digital de Teses e Dissertaçõeshttp://sofia.fei.edu.br/pergamum/biblioteca/PRI
dc.title.none.fl_str_mv Formalising the fisherman's folly puzzle
title Formalising the fisherman's folly puzzle
spellingShingle Formalising the fisherman's folly puzzle
Cabalar P.
Common sense reasoning
Qualitative spatial reasoning
Reasoning about actions and change
title_short Formalising the fisherman's folly puzzle
title_full Formalising the fisherman's folly puzzle
title_fullStr Formalising the fisherman's folly puzzle
title_full_unstemmed Formalising the fisherman's folly puzzle
title_sort Formalising the fisherman's folly puzzle
author Cabalar P.
author_facet Cabalar P.
Santos P.E.
author_role author
author2 Santos P.E.
author2_role author
dc.contributor.author.fl_str_mv Cabalar P.
Santos P.E.
dc.subject.eng.fl_str_mv Common sense reasoning
Qualitative spatial reasoning
Reasoning about actions and change
topic Common sense reasoning
Qualitative spatial reasoning
Reasoning about actions and change
description 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.
publishDate 2011
dc.date.issued.fl_str_mv 2011
dc.date.accessioned.fl_str_mv 2019-08-19T23:45:18Z
dc.date.available.fl_str_mv 2019-08-19T23:45:18Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.citation.fl_str_mv Cabalar, Pedro; Santos, Paulo E.. Formalising the Fisherman's Folly puzzle. Artificial Intelligence (General ed.), v. 175, p. 346-377, 2011.
dc.identifier.uri.fl_str_mv https://repositorio.fei.edu.br/handle/FEI/1198
dc.identifier.issn.none.fl_str_mv 0004-3702
dc.identifier.doi.none.fl_str_mv 10.1016/j.artint.2010.04.004
identifier_str_mv Cabalar, Pedro; Santos, Paulo E.. Formalising the Fisherman's Folly puzzle. Artificial Intelligence (General ed.), v. 175, p. 346-377, 2011.
0004-3702
10.1016/j.artint.2010.04.004
url https://repositorio.fei.edu.br/handle/FEI/1198
dc.relation.ispartof.none.fl_str_mv Artificial Intelligence
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da FEI
instname:Centro Universitário da Fundação Educacional Inaciana (FEI)
instacron:FEI
instname_str Centro Universitário da Fundação Educacional Inaciana (FEI)
instacron_str FEI
institution FEI
reponame_str Biblioteca Digital de Teses e Dissertações da FEI
collection Biblioteca Digital de Teses e Dissertações da FEI
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1734750993296392192

Registros relacionados