Spatial reasoning about string loops and holes in temporal asp

Página do item simplificado
dc.contributor.authorCABALAR, P.
dc.contributor.authorPaulo Santos
dc.contributor.authorOrcidhttps://orcid.org/0000-0001-8484-0354
dc.date.accessioned2023-08-26T23:47:59Z
dc.date.available2023-08-26T23:47:59Z
dc.date.issued2020-09-12
dc.description.abstract© 2020 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020. All rights reserved.This paper introduces a new formalism for the automated solution of spatial scenarios involving strings and holed objects. In particular, we revisit a previous formalisation that allows string loops to be treated as holes, but make a substantial modification by removing a previous limitation that prevented a string to cross its own loops. The formalisation introduced in the present paper relies on string segments as basic entities and achieves a greater degree of elaboration tolerance by using inertia to describe those parts of the physical scenario that are unaffected by a given action. As a representation language, we have used Temporal Answer Set Programming since it provides a simple and natural way to deal with time and inertia while, at the same time, it is accompanied by the automated tool telingo that allows a systematic testing of the effects of any sequence of actions. As an illustrative example, we have studied the African Ring puzzle, a problem involving loops crossed by a unique string, and provided the first formalisation of its solution, to the best of our knowledge.
dc.description.firstpage181
dc.description.lastpage191
dc.description.volume1
dc.identifier.citationCABALAR, P.; SANTOS, P. Spatial reasoning about string loops and holes in temporal asp. 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, v. 1, p. 181-191, sept. 2020.
dc.identifier.urihttps://repositorio.fei.edu.br/handle/FEI/4882
dc.relation.ispartof17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020
dc.rightsAcesso Restrito
dc.titleSpatial reasoning about string loops and holes in temporal asp
dc.typeArtigo de evento
fei.scopus.citations0
fei.scopus.eid2-s2.0-85104678533
fei.scopus.subjectAnswer set programming
fei.scopus.subjectAutomated solutions
fei.scopus.subjectAutomated tools
fei.scopus.subjectPhysical scenario
fei.scopus.subjectRepresentation languages
fei.scopus.subjectSequence of actions
fei.scopus.subjectSpatial reasoning
fei.scopus.subjectSystematic testing
fei.scopus.updated2024-07-01
fei.scopus.urlhttps://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85104678533&origin=inward
Arquivos
Coleções
Artigos