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
2
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
3
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
4
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
5
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)]
6
Relações RCC
7
Classificação das Relações
8
Funções booleanas
9
Relação Conv
Captura relações não-topológicas
Denota um envelope convexo de uma
região
10
Relação Conv
Propriedades básicas:
11
Relação Conv
Contenção entre regiões
12
Aplicações
Sistemas de Informações Geográficas

Consulta a bases de dados geográficas

Descrição de feições geográficas
Biologia

Reconhecimento de organismos biológicos
13
Aplicações
Petrografia
14
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
15