Descrição, representação e solução de jogos espaciais

Resumo

Compreender os processos de raciocínio envolvidos no conhecimento espacial é uma das questões-chave na investigação da cognição humana, como o espaço molda não só nossas ações no mundo do senso comum, mas também serve como o cenário em que nossas experiências cotidianas ter lugar. A presente proposta visa a investigação de métodos de representação de conhecimento relacionadas com a solução de uma família de puzzles espaciais compostas por objetos rígidos, cordas flexíveis e buracos. Os aspectos desafiadores deste domínio, não só reside na formalização de bom senso adequado de características espaciais não-padrão, tais como as cordas flexibilidade e a imaterialidade buracos, mas também sobre a aplicação eficiente dos solucionadores de problemas automatizados capazes de lidar com estas características. Uma restrição que impomos a nosso espaço solução é que a formalização construída deve ser capaz de produzir planos legíveis para resolver os quebra-cabeças (como a descrição da solução normalmente encontrados nos folíolos dos quebra-cabeças). Este projeto é esperado para impulsionar a state-of-the-art no tratamento de problemas não-trivial espaço-temporais que constituem o substrato do mecanismo básico de compreensão (e resolver) problemas matemáticos. A nossa metodologia, aplicada ao longo de uma série de documentos consistiu em uma estratégia de baixo para cima, a partir de um conjunto muito restrito de restrições e, gradualmente, relaxando-os para cobrir puzzles com características mais desafiadoras. Por exemplo, os esforços iniciais foram colocados em resolver um enigma espacial básica com cordas, buracos e objetos rígidos usando uma representação baseada em lista de travessias de cordas. Este trabalho levou a um trabalho extenso que contém uma formalização lógica completa em termos de situação de Cálculo e Equilibrium Logic (uma abordagem Raciocínio não monótono generalizar a semântica modelo estáveis para programas lógicos). Esse trabalho também incluiu um planejador preliminar capaz de resolver o quebra-cabeça de forma automatizada. Este domínio constitui um \ emph {desafio} para algoritmos de planejamento, uma vez que os estados são descritos em termos de fluentes, cujo número pode “crescer arbitrariamente” (os cruzamentos de cordas podem aparecer ou desaparecer depois de cada ação executada). A presente proposta deve seguir uma rota de desenvolvimento semelhante, mas nosso objetivo principal aqui será na compreensão automatizar das descrições do domínio de linguagem natural e sobre o desenvolvimento de um planejador eficiente capaz de fornecer soluções para os enigmas. O sucesso do projeto será medido pela realização de cada um dos pacotes de trabalho, cada um dos quais acompanham uma publicação em um prestigiado anais de conferências (como IJCAI, KR, AAAI, ou ECAI) ou em um jornal seletiva (como a inteligência artificial Jornal ou o Journal of artificial Intelligence Research). Também esperamos ter a conclusão bem-sucedida de três teses de mestrado e o (GNU General Public License) registo de um software para resolver problemas espaciais (um planejador). (AU)