Framing holes within a loop hierarchy

Autor(es)

Santos, Paulo E. ^[1] ; Cabalar, Pedro ^[2]

Afiliação do(s) autor(es)

^[1] Ctr Univ FEI, Dept Elect Engn, Sao Paulo - Brazil

^[2] Univ A Coruna, Dept Comp Sci, La Coruna - Spain

• Tipo de documento: Artigo Científico
• Fonte: Spatial Cognition and Computation; v. 16, n. 1, p. 54-95, JAN 2 2016.
• Citações Web of Science: 2

Resumo

We investigate the relation between nontrivial spatial concepts such as holes and string loops from a qualitative spatial reasoning perspective. In particular, we concentrate on a family of puzzles dealing with this kind of objects and explain how a loop formed in a string shows a similar behavior to a hole in an object, at least regarding the qualitative constraints it imposes on the solution of the puzzle. Unlike regular holes, however, we describe how string loops can be dynamically created and destroyed depending on the actions on the string. Furthermore, under a Knowledge Representation point of view, we provide a formalization that allows the different puzzle states to be described in terms of string crossings and loops, together with the actions that can be executed for a state transition and the complex effects they cause on the state representation. This implies the consideration of a formal representation of the side effects of actions that create or destroy string loops and the soundness of this representation with respect to the more general representation of string states in knot theory. (AU)

• Processo FAPESP: 12/04089-3 - Raciocínio espacial colaborativo para múltiplos robôs
• Beneficiário: Paulo Eduardo Santos
• Modalidade de apoio: Auxílio à Pesquisa - Regular