| Grant number: | 10/02080-3 |
| Support type: | Research Grants - Visiting Researcher Grant - International |
| Duration: | June 25, 2010 - July 09, 2010 |
| Field of knowledge: | Physical Sciences and Mathematics - Computer Science - Computer Systems |
| Principal Investigator: | Paulo Eduardo Santos |
| Grantee: | Paulo Eduardo Santos |
| Visiting researcher: | Pedro Cabalar |
| Visiting researcher institution: | Universidade da Coruña (UDC), Spain |
| Home Institution: | Campus de São Bernardo do Campo. Centro Universitário da FEI (UNIFEI). Fundação Educacional Inaciana Padre Sabóia de Medeiros (FEI). São Bernardo do Campo , SP, Brazil |
Abstract
The goal of this proposal is to bring to S. Paulo, as a visiting researcher, Prof. Pedro Cabalar (Coruña University, Espanha) so that we are able to continue our joint project whose aim is to develop a spatial reasoning system capable to infer facts about domains containing non-trivial objects (such as strings, knots and holes). In 2009 we have accepted a paper in the well-known Artificial Intelligence Journal (Elsevier) where we proposed a framework whose implementation was capable of solving a number of puzzles involving strings, rigid objects and holes. However, we could only conjecture that the proposed formalism could solve any kind of domains composed of similar objects. During Prof. Cabalar's visit we intend to prove this conjecture and to investigate a possible application of our formalism in a robotic needle steering domain. (AU)