Carregar apresentação
A apresentação está carregando. Por favor, espere
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 Lógica Espacial Carlos Eduardo Santin Sandro Rama Fiorini
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
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
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
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
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)]
7
Relações RCC
8
Classificação das Relações
9
Funções booleanas
10
Relação Conv Captura relações não-topológicas
Denota um envelope convexo de uma região
11
Relação Conv Propriedades básicas:
12
Relação Conv Contenção entre regiões
13
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
14
Aplicações Petrografia
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
Apresentações semelhantes
