Lógica Espacial Carlos Eduardo Santin Sandro Rama Fiorini Universidade Federal do Rio Grande do Sul Disciplina de Lógica para Inteligência Artificial Lógica Espacial Carlos Eduardo Santin Sandro Rama Fiorini {cesantin,srfiorini}@inf.ufrgs.br
Roteiro Surgimento da Lógica Espacial O que é logica espacial? Relações espaço-visuais Funções booleanas Relação Conv Exemplo de aplicação
Surgimento da Lógica Espacial Domínios fazem uso de percepção visual para inferências Descrição apenas de coordenadas numéricas pode não ser suficiente Descrição qualitativa pode levar a uma melhor interpretação IA tenta desenvolver lógicas para raciocínio espacial qualitativo
O que é logica espacial? Linguagem formal interpretada sobre uma classe de estruturas representando entidades geométricas e relacionamentos Emprega sintaxe de FOL ou fragmentos Estudo dos relacionamentos entre estruturas geométricas e linguagens espaciais que as descrevem
O que é logica espacial Quais termos espaciais qualitativos devem ser raciocinados? Como devemos raciocinar com eles? Pensar em termos de regiões ao invés de pontos. Regiões apresentam relações espaciais qualitativas mais salientes
Relações espaço-visuais Primitiva para conexão proposta por Clarke: C(x,y) Relação reflexiva e simétrica Axiomas: x C(x,x) x,y [C(x,y) → C(y,x)]
Relações RCC
Classificação das Relações
Funções booleanas
Relação Conv Captura relações não-topológicas Denota um envelope convexo de uma região
Relação Conv Propriedades básicas:
Relação Conv Contenção entre regiões
Aplicações Sistemas de Informações Geográficas Biologia Consulta a bases de dados geográficas Descrição de feições geográficas Biologia Reconhecimento de organismos biológicos
Aplicações Petrografia
Conclusão Vantagem em relação a representação através de coordenadas numéricas Modelo mais utilizado é o RCC, baseado na teoria de Clarke Influencia diretamente áreas que tratam a representação do conhecimento visual