Raciocínio espacial qualitativo sobre cordas e nós

• Processo: 10/02080-3
• Modalidade de apoio: Auxílio à Pesquisa - Pesquisador Visitante - Internacional
• Data de Início da vigência: 25 de junho de 2010
• Data de Término da vigência: 09 de julho de 2010
• Área do conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Sistemas de Computação
• Pesquisador responsável: Paulo Eduardo Santos
• Beneficiário: Paulo Eduardo Santos
• Pesquisador visitante: Pedro Cabalar
• Instituição do Pesquisador Visitante: Universidade da Coruña (UDC), Espanha
• Instituição Sede: Centro Universitário FEI (UNIFEI). Campus de São Bernardo do Campo. São Bernardo do Campo , SP, Brasil
• Assunto(s): Inteligência artificial
• Palavra(s)-Chave do Pesquisador: lógicas não monotônicas | Raciocínio Automático | raciocínio espacial | Inteligência Artificial

Resumo

O objetivo desta proposta e trazer a São Paulo, como pesquisador visitante, o Prof. Pedro Cabalar (Coruña University, Espanha) a fim de darmos prosseguimento ao nosso projeto conjunto para o desenvolvimento de um sistema de raciocínio espacial que seja capaz de inferir fatos (e planejar sequências de ações) em domínios complexos envolvendo cordas, nós e buracos. Ao final de 2009 tivemos aceito um artigo no bem conceituado Articial Intelligence Journal (Elsevier) em que propomos um arcabouço lógico, cuja implementação é capaz de resolver diversos jogos (quebra-cabeças) envolvendo cordas, objetos rígidos e orifícios. Entretanto, neste artigo conjecturamos que o formalismo proposto seria capaz de resolver quaisquer quebra-cabeças contendo o mesmo tipo de objetos (e conexões similares entre eles), mas com arranjos diversos. Com a visita do Prof. Cabalar, pretendemos provar esta conjectura formalmente, além de investigar a possibilidade da aplicação deste arcabouço para a manipulação automática de agulhas cirúrgicas. (AU)