Lógica Espacial Carlos Eduardo Santin Sandro Rama Fiorini {cesantin,srfiorini}@inf.ufrgs.br...

15
Lógica Espacial Lógica Espacial Carlos Eduardo Santin Carlos Eduardo Santin Sandro Rama Fiorini Sandro Rama Fiorini {cesantin,srfiorini}@inf.ufrgs.br {cesantin,srfiorini}@inf.ufrgs.br Universidade Federal do Rio Grande do Sul Disciplina de Lógica para Inteligência Artificial

Transcript of Lógica Espacial Carlos Eduardo Santin Sandro Rama Fiorini {cesantin,srfiorini}@inf.ufrgs.br...

Page 1: Lógica Espacial Carlos Eduardo Santin Sandro Rama Fiorini {cesantin,srfiorini}@inf.ufrgs.br Universidade Federal do Rio Grande do Sul Disciplina de Lógica.

Lógica EspacialLógica EspacialCarlos Eduardo SantinCarlos Eduardo Santin

Sandro Rama FioriniSandro Rama Fiorini

{cesantin,srfiorini}@inf.ufrgs.br{cesantin,srfiorini}@inf.ufrgs.br

Universidade Federal do Rio Grande do Sul

Disciplina de Lógica para Inteligência Artificial

Page 2: Lógica Espacial Carlos Eduardo Santin Sandro Rama Fiorini {cesantin,srfiorini}@inf.ufrgs.br Universidade Federal do Rio Grande do Sul Disciplina de Lógica.

22

RoteiroRoteiro

Surgimento da Lógica EspacialSurgimento da Lógica Espacial

O que é logica espacial?O que é logica espacial?

Relações espaço-visuaisRelações espaço-visuais

Funções booleanasFunções booleanas

Relação ConvRelação Conv

Exemplo de aplicaçãoExemplo de aplicação

Page 3: Lógica Espacial Carlos Eduardo Santin Sandro Rama Fiorini {cesantin,srfiorini}@inf.ufrgs.br Universidade Federal do Rio Grande do Sul Disciplina de Lógica.

33

Surgimento da Lógica EspacialSurgimento da Lógica Espacial

Domínios fazem uso de percepção visual Domínios fazem uso de percepção visual para inferênciaspara inferências

Descrição apenas de coordenadas Descrição apenas de coordenadas numéricas pode não ser suficientenuméricas pode não ser suficiente

Descrição qualitativa pode levar a uma Descrição qualitativa pode levar a uma melhor interpretaçãomelhor interpretação

IA tenta desenvolver lógicas para IA tenta desenvolver lógicas para raciocínio espacial qualitativoraciocínio espacial qualitativo

Page 4: Lógica Espacial Carlos Eduardo Santin Sandro Rama Fiorini {cesantin,srfiorini}@inf.ufrgs.br Universidade Federal do Rio Grande do Sul Disciplina de Lógica.

44

O que é logica espacial?O que é logica espacial?

Linguagem formal interpretada sobre uma Linguagem formal interpretada sobre uma classe de estruturas representando classe de estruturas representando entidades geométricas e relacionamentosentidades geométricas e relacionamentos

Emprega sintaxe de FOL ou fragmentosEmprega sintaxe de FOL ou fragmentos

Estudo dos relacionamentos entre Estudo dos relacionamentos entre estruturas geométricas e linguagens estruturas geométricas e linguagens espaciais que as descrevemespaciais que as descrevem

Page 5: Lógica Espacial Carlos Eduardo Santin Sandro Rama Fiorini {cesantin,srfiorini}@inf.ufrgs.br Universidade Federal do Rio Grande do Sul Disciplina de Lógica.

55

O que é logica espacialO que é logica espacial

Quais termos espaciais qualitativos devem Quais termos espaciais qualitativos devem ser raciocinados?ser raciocinados?

Como devemos raciocinar com eles?Como devemos raciocinar com eles?

Pensar em termos de regiões ao invés de Pensar em termos de regiões ao invés de pontos.pontos.

Regiões apresentam relações espaciais Regiões apresentam relações espaciais qualitativas mais salientesqualitativas mais salientes

Page 6: Lógica Espacial Carlos Eduardo Santin Sandro Rama Fiorini {cesantin,srfiorini}@inf.ufrgs.br Universidade Federal do Rio Grande do Sul Disciplina de Lógica.

66

Relações espaço-visuaisRelações espaço-visuais

Primitiva para conexão proposta por Primitiva para conexão proposta por Clarke: C(x,y)Clarke: C(x,y)

Relação reflexiva e simétricaRelação reflexiva e simétrica

Axiomas: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)]

Page 7: Lógica Espacial Carlos Eduardo Santin Sandro Rama Fiorini {cesantin,srfiorini}@inf.ufrgs.br Universidade Federal do Rio Grande do Sul Disciplina de Lógica.

77

Relações RCCRelações RCC

Page 8: Lógica Espacial Carlos Eduardo Santin Sandro Rama Fiorini {cesantin,srfiorini}@inf.ufrgs.br Universidade Federal do Rio Grande do Sul Disciplina de Lógica.

88

Classificação das RelaçõesClassificação das Relações

Page 9: Lógica Espacial Carlos Eduardo Santin Sandro Rama Fiorini {cesantin,srfiorini}@inf.ufrgs.br Universidade Federal do Rio Grande do Sul Disciplina de Lógica.

99

Funções booleanasFunções booleanas

Page 10: Lógica Espacial Carlos Eduardo Santin Sandro Rama Fiorini {cesantin,srfiorini}@inf.ufrgs.br Universidade Federal do Rio Grande do Sul Disciplina de Lógica.

1010

Relação ConvRelação Conv

Captura relações não-topológicasCaptura relações não-topológicas

Denota um envelope convexo de uma Denota um envelope convexo de uma regiãoregião

Page 11: Lógica Espacial Carlos Eduardo Santin Sandro Rama Fiorini {cesantin,srfiorini}@inf.ufrgs.br Universidade Federal do Rio Grande do Sul Disciplina de Lógica.

1111

Relação ConvRelação Conv

Propriedades básicas:Propriedades básicas:

Page 12: Lógica Espacial Carlos Eduardo Santin Sandro Rama Fiorini {cesantin,srfiorini}@inf.ufrgs.br Universidade Federal do Rio Grande do Sul Disciplina de Lógica.

1212

Relação ConvRelação Conv

Contenção entre regiõesContenção entre regiões

Page 13: Lógica Espacial Carlos Eduardo Santin Sandro Rama Fiorini {cesantin,srfiorini}@inf.ufrgs.br Universidade Federal do Rio Grande do Sul Disciplina de Lógica.

1313

AplicaçõesAplicações

Sistemas de Informações GeográficasSistemas de Informações Geográficas Consulta a bases de dados geográficasConsulta a bases de dados geográficas

Descrição de feições geográficasDescrição de feições geográficas

BiologiaBiologia Reconhecimento de organismos biológicosReconhecimento de organismos biológicos

Page 14: Lógica Espacial Carlos Eduardo Santin Sandro Rama Fiorini {cesantin,srfiorini}@inf.ufrgs.br Universidade Federal do Rio Grande do Sul Disciplina de Lógica.

1414

AplicaçõesAplicações

PetrografiaPetrografia

Page 15: Lógica Espacial Carlos Eduardo Santin Sandro Rama Fiorini {cesantin,srfiorini}@inf.ufrgs.br Universidade Federal do Rio Grande do Sul Disciplina de Lógica.

1515

ConclusãoConclusão

Vantagem em relação a representação Vantagem em relação a representação através de coordenadas numéricasatravés de coordenadas numéricas

Modelo mais utilizado é o RCC, baseado Modelo mais utilizado é o RCC, baseado na teoria de Clarkena teoria de Clarke

Influencia diretamente áreas que tratam a Influencia diretamente áreas que tratam a representação do conhecimento visualrepresentação do conhecimento visual