A apresentação está carregando. Por favor, espere

A apresentação está carregando. Por favor, espere

Lógica Espacial Carlos Eduardo Santin Sandro Rama Fiorini Universidade Federal do Rio Grande do Sul Disciplina de Lógica.

Apresentações semelhantes


Apresentação em tema: "Lógica Espacial Carlos Eduardo Santin Sandro Rama Fiorini Universidade Federal do Rio Grande do Sul Disciplina de Lógica."— Transcrição da apresentação:

1 Lógica Espacial Carlos Eduardo Santin Sandro Rama Fiorini Universidade Federal do Rio Grande do Sul Disciplina de Lógica para Inteligência Artificial

2 2 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

3 3 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

4 4 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

5 5 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

6 6 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 C(x,x) x,y [C(x,y) C(y,x)] x,y [C(x,y) C(y,x)]

7 7 Relações RCC

8 8 Classificação das Relações

9 9 Funções booleanas

10 10 Relação Conv Captura relações não-topológicas Denota um envelope convexo de uma região

11 11 Relação Conv Propriedades básicas:

12 12 Relação Conv Contenção entre regiões

13 13 Aplicações Sistemas de Informações Geográficas Consulta a bases de dados geográficas Consulta a bases de dados geográficas Descrição de feições geográficas Descrição de feições geográficasBiologia Reconhecimento de organismos biológicos Reconhecimento de organismos biológicos

14 14 Aplicações Petrografia

15 15 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


Carregar ppt "Lógica Espacial Carlos Eduardo Santin Sandro Rama Fiorini Universidade Federal do Rio Grande do Sul Disciplina de Lógica."

Apresentações semelhantes


Anúncios Google