Você está na página 1de 62

Inteligncia Artificial

Redes Semnticas e Frames

Definio

Redes Semnticas Redes Semnticas

Ns: o que deve ser representado por um n?


Unidades de informao
Gato Mamfero Casa

Mas ento cheira a objeto....

Ns: o que deve ser representado por um n?

Verbos

conseqentemente aes

Links: o que deve ser representado como link?

Relaes entre ns/objetos

Redes Semnticas: Exemplos


O gato comeu o rato
O gato comeu o rato

gato

comeu

rato

gato

rato

agente

comeu

paciente

Redes Semnticas
O gato comeu o rato
Pretrito Perfeito Mamfero

tempo E-um
gato

E-um

rato comer

agente

paciente

Redes Semnticas

N Link

armazena o significado arco relao

Programa

Redes Semnticas: links especiais


E-um
Comportamento: Herana

Parte-de
Composio

Atributo
Caracterstica

Redes Semnticas: Exemplo

Meu Golf prata. Ele um carro normal com 4 portas, 4 pneus e um motor, mas custou muito caro apesar de ser um Volkswagen.

Redes Semnticas: Exemplo

Escondido nas profundezas de uma galeria fuleira, o Cine-Buraco atrai cinfilos com sesses de raridades.

Redes Semnticas: Dever de Casa


Carros e motos de oficinas mecnicas e revendedoras de veculos ocupam toda a larga calada da Rua Siqueira Campos, tirando o espao de pedestres. A prtica uma das infraes cometidas por estabelecimentos comerciais que se apropriam do espao pblico.

Onde obter mais informaes


Outras sesses de treinamento Liste os livros, os artigos, as fontes eletrnicas Servios de consultoria, outras fontes

Representao de Conhecimento: Frames


N possui mais informaes -um o nico link permitido entre estas unidades de informao Frame
Nome Atributos
Valor(es) Mtodos Daremos (mtodos acionados por PUT ou GET ao) Links para outros mtodos (vlvula de escape)

Frames: Exemplo

Meu Golf prata. Ele um carro normal com 4 portas, 4 pneus e um motor, mas custou muito caro apesar de ser um Volkswagen.

Representao de Conhecimento
Represente em Lgica, Redes Semnticas e Frames a seguinte sentena:
Salsa, hip-hop, pop, pagode. O ritmo muda, os endereos so diferentes, mas o bairro onde todo tipo de pblico dana esses sons e um s: Copacabana. O Globo, Zona Sul, 11/09

Representao do Conhecimento
Alguns formalismos de representao do conhecimento mais vocacionais para o desenvolvimento de Sistemas :
Tuplas Objeto-Atributo-Valor e Listas de Propriedades Relaes de Classificao e Pertinncia (IS-A e IS-PART) Redes Semnticas

Tuplas Objeto-Atributo-Valor (O-A-V)


Caracterizam os valores de determinados atributos de um dado objeto O objeto pode ser uma entidade fsica (carro) ou uma entidade conceptual (emprstimo)

Objeto

has

Atributo

is

Valor

Tuplas Objeto-Atributo-Valor (O-A-V)


Exemplo Tuplas associadas a um carro
carro-marca-opel carro-modelo-astra carro-cilindrada-1400 carro-nportas-4 carro-cor-verde

As tuplas podem vir recheadas de valores numricos que expressam a certeza, ou incerteza que se tem no conhecimento em causa.

Exemplo
Previso do tempo: chuva com 60% de certeza (previso- tempo-chuva CF = 0.6)

Listas de Propriedades
No exemplo
carro-marca-opel carro-modelo-astra carro-cilindrada-1400 carro-nportas-4 carro-cor-verde

O nome do objeto aparece muitas vezes.


Usa-se listas de propriedades, nas quais para um dado objeto temos uma lista de pares atributo-valor. Lista de propriedades para o carro:
carro-[marca-opel, modelo-astra, cilindrada-1400, n portas4, cor-verde,...].

Limitaes
As tuplas e as listas de propriedades tm limitaes quando se pretende representar conhecimento declarativo sobre atributos de objetos que estejam em modificao. Nessas situaes o conhecimento dinmico e temos que modificar o valor de um atributo.
Exemplo: Tuplas dinmicas que se referem ao estado de um disjuntor (aberto ou fechado) e ao modo de operao de uma linha (manual ou automtico):
Disjuntor_D - estado-aberto Linha_L - modo_operao - manual.

Relaes de Classificao (IS-A)

Animal Selvagem IS-A

IS-A IS-A

Animal IS-A IS-A

IS-A

Canino

Animal Domstico IS-A Gato

Felino IS-A IS-A Tigre

IS-A Lobo

IS-A Co

IS-A

Relaes de Pertinncia (IS-PART)


As relaes de pertinncia (IS-PART) organizam o conhecimento atravs da composio ou decomposio de componentes.

Mobilirio de Cozinha IS-PART IS-PART

Cadeira IS-PART IS-PART Pernas da Cadeira Encosto Assento IS-PART IS-PART

Mesa IS-PART Tampo

Pernas da Mesa

Relaes de Classificao (IS-A) e de Pertinncia (IS-PART)


As relaes IS-A e IS-PART podem ser combinadas na mesma representao.

Computador IS-PART IS-PART IS-PART

CPU IS-A

monitor .......

teclado .......

Pentium 4

.......

Redes Semnticas
So um mtodo de representao do conhecimento atravs de um grafo direto composto por ns e arcos Os ns representam objetos (fsicos ou abstratos), as suas propriedades e valores Os arcos representam relaes entre os ns As relaes IS-A e IS-PART so vulgarmente usadas como etiquetas dos arcos, podem ser usadas outras etiquetas nossa escolha (tem, desloca-se, respira, etc) que capturam conhecimento

Redes Semnticas
Asas Ar

tem IS-A IS-A

respira

Amarelus

Canrio

Ave

IS-A

Animal

deslocao IS-A Black&White IS-A Pingim Vo

deslocao

Andar

Modo de Operao
Quando se coloca uma questo a um N, Este procura nos seus arcos locais por uma etiqueta que coincida com a questo Se no existir procura a resposta via as suas ligaes IS_A, ou seja, passa a questo at um N que contenha um arco com a resposta. Deslocao Amarelus ?
deslocao deslocao deslocao

Utilizador

vo

Amarelus

vo

Canrio
vo

Ave
deslocao

Vo

Inferncia sobre Redes Semnticas


Para descrever o processo de inferncia nas Redes Semnticas vamos usar lgica: Cada ligao
Obj1
Relao

Obj2

traduzido para relao (Obj1,Obj2) Deslocao Amarelus ?


Is_a (Amarelus,Canrio). Is_a (Canrio, Ave). Deslocao(Ave,Vo).

Inferncia sobre Redes Semnticas


O tratamento de excees no mecanismo de herana faz-se impondo uma restrio ao mecanismo de herana algo dito explicitamente sobrepe-se aos fatos herdados Deslocao Black & White?
Is_a (Black & White, Pingim). deslocao(Pingim, andar). Is_a (Pingim, Ave). Is_a (Ave, animal). Respira(Ave, Ar).

herda todas as caractersticas da superclasse exceto aquelas explcitas no prprio N

Caractersticas Redes Semnticas


Simplicidade de representao - devido s caractersticas de herana Amarelus herda todas as propriedades de Aves As Redes Semnticas esto na origem da Programao Orientada a Objetos Permitem uma reduo no tempo de pesquisa, visto que os ns esto diretamente ligados aos ns vizinhos com interesse

Caractersticas Redes Semnticas


Desvantagens:
Podem permitir inferncias invlidas No tm uma norma de interpretao - a interpretao depende dos programas que a manipulam.

Exemplo
Uma ave um animal. A maneira normal de movimentao das aves voar. Uma ave est ativa durante o dia. Um albatroz uma ave. Uma albatroz preto e branco. O tamanho normal do albatroz 115 cm. O Alberto um albatroz. O tamanho do Alberto 120 cm. Um pingim uma ave. Um pingim branco e preto. A maneira normal de movimentao dos pingins andar. O Tweety um pingim.

Exemplo
Questes:
Qual o mtodo de movimentao do Alberto ? Qual o mtodo de movimentao do Tweety ?

Exemplo
Andar deslocao Tweety IS-A Pingim cor Preto e Branco cor Alberto IS-A Albatroz Vo tamanho tamanho IS-A IS-A Diurna atividade Ave IS-A Animal

deslocao

120 cm

115 cm

Redes Semnticas
Vantagens:
Flexibilidade, inteligibilidade, maleabilidade, simplicidade e herana.

Mecanismos de Inferncia:
Dois mecanismos de inferncia:
Herana: serve para inferir propriedades "default" dos elementos de uma classe, como por exemplo: filho, neto, sogro, etc Herana Filtragem: serve apenas para focar conceitos especficos.

Redes Semnticas
Raciocnio:
Dois tipos:
Propagao de ativao: busca encontrar um caminho entre dois nodos Mapeamento de estruturas: realiza consultas baseado em partes de grafos

Dificuldades:
Definir a herana Encontrar uma semntica exata do n e das suas ligaes Fazer representaes cannicas em domnios especficos Representar crenas, hipteses e o fator tempo

Frames (quadros) e objetos


Modelo de representao de conhecimento onde um elemento de um domnio representado por um conjunto de caractersticas. Um frame possui um nome que identifica o conceito por ele definido e um conjunto de atributos (slots). Um frame uma estrutura de dados complexa, til para modelar objetos do mundo real. Assemelham-se a registros de um banco de dados porm mais poderosos e expressivos.
Minsky, M.A. A Framework for Representing Knowledge. McGraw-Hill, New York, 1975.

Frames: Origem

Surgiu com os estudos de Minsky sobre a representao do conhecimento e o processo de observao visual, atravs da comparao entre as propriedades observadas nos objetos e os padres estereotipados, previamente definidos na memria.

Frames: Definio
So conjuntos de slots (campos) e de valores, cuja estrutura contm informaes referentes a determinados objetos, as quais so armazenadas de forma hierrquica. Os frames podem ser criados a partir de uma coleo de frames (j existentes) conectados entre si. Isto se torna possvel uma vez que um atributo de um frame pode ser outro frame. "Um frame uma coleo de atributos, em geral chamados de escaninhos (slots), e valores a eles associados (e possivelmente restries a estes valores) que descrevem alguma entidade do mundo." [RICH, 93].

Frames: Caractersticas
Modelo hbrido de representao dos conhecimentos
Cada frame representa uma classe (um conjunto) ou uma instncia de um elemento de uma classe. A ligao entre os frames descrita principalmente nos slots -um.

Tipos de Frames:
Frames Construtores: So frames que funcionam como esquemas para a construo de outros frames. Frames de Instncia: So frames especficos, construdos a partir do frame construtor.

Frames: Caractersticas
Funcionalidades:
Adio, consulta e remoo de atributos Criao e remoo de frames. Representao de casos e estruturas complexas

No existe uma distino clara entre redes semnticas e sistemas de frames, mas quanto maior a estruturao do sistema maiores as chances de ser considerado um frame.

Frames versus OOP


De certo modo, o paradigma de representao de conhecimento atravs de frames idntico a que veio a ser consagrado apenas alguns anos mais tarde, como o paradigma de programao orientada para objetos (no enquanto paradigma de programao, mas apenas de representao do conhecimento).

Frames: Relaes de Herana e Composio


Os enquadramentos organizam conhecimento e procedimentos num nico pacote, formando taxonomias estruturadas em torno de relaes:
De herana (IS-A) e Composio (PART-OF).

Frames: componentes
Componentes bsicos de um Frame:
Nome; Lista de pais; Atributos (ou ainda slots, em ingls);

Componentes bsicos de um atributo:


Nome; Valor; Procedimento adjacente if-needed (daemon); Procedimento adjacente if-changed (daemon); Outros procedimentos adjacentes.

Frames
A noo de sistema de frame proposta por Minsky consiste de uma coleo de frames relacionados, muitos deles compartilhando dos mesmos subcomponentes aos quais chamou de terminais articulados em uma Rede Semntica de recuperao. Esta rede semntica de recuperao deve:
Reconhecer a situao como pertencendo a uma determinada categoria - o reconhecimento de que se est em um quarto, por exemplo. Interpretar a situao em termos da categoria Reconhecimento de que um quarto est em uma casa.

Frames
Prever o que pode surgir em uma situao como a expectativa de ver uma moblia. Reinterpretar a situao quando:
Da falha de prever como no caso de identificar um hidrante flutuante, quando a situao prevista de um quarto A categoria no pode ser encontrada para interpretar a situao como no caso de se perceber que no se est em um quarto, mas no existem outras alternativas hipotticas.

Estrutura dos Frames


Nome, cujo valor o nome do prprio frame. Ako, cujo valor o nome do frame hierarquicamente superior. Cada frame possui um frame hierarquicamente superior, fornecendo assim a base do mecanismo de herana. Um frame especial a raiz dessa hierarquia de herana. Cada slot possui um nome nico ao frame em que est definido. Os slots consistem de um conjunto de atributos denominados facetas de valores particulares.

Frames: Caractersticas
Tipo: indica o tipo de dado inteiro, real, smbolo, string, etc. Domnio: descreve os valores possveis para o slot faixa entre 10 e 100, por exemplo. Valor: especifica o nico valor possvel nmero de lados de um tringulo. Valor default: especifica o valor assumido pelo slot caso no haja nenhuma informao a seu respeito. Aponta frame: permite que o slot seja descrito por um frame. if-added, if-needed, if-removed: contm mtodos para determinar o valor do slot procedimentos externos, conjunto de regras de produo, etc.

Exemplo: Sala de Jantar


Frame Sala de Jantar Ako Sala

Mesa

Teto

Parede Esquerda

Parede Frontal

Parede Direita

Piso

Porta

Representao Abstrata do Frame

< Nome do Frame > < Nome do Slot > < Nome da faceta > : valor < Nome do Slot > < Nome da faceta > : valor < Nome da faceta > : valor < Nome do Slot > < Nome da faceta > : valor < Nome da faceta > : valor

Exemplo: Frame Cadeira


Cadeira
ako tipo : inteiro sub_classes domnio : [Cadeira_de_jardim, Cadeira _de_praia] nmero_de_ps tipo : inteiro estilo domnio : [ingls, Luis_XIV] nmero_de_braos tipo : inteiro material tipo : string domnio : [madeira, lato] cor_predominante tipo : string domnio : [castanho_claro, castanho_escuro]

Exemplo: Frame Cadeira_de_Antnio

Cadeira_de_Antnio ako valor : Cadeira_de_jardim estilo valor : ingls nmero_de_ps valor : 4

Frames: Herana de Propriedades

Herana de valor; Herana de procedimentos; Herana de valor por default.

Frames: Mltipla Herana de Propriedades


Revestimento_Cermico ako valor : Revestimento cor default : azul Azulejo ako valor : Revestimento_Cermico cor default : branca Azulejo_1 ako valor : azulejo cor valor : branca

O tratamento de mltipla herana uma questo em aberto tanto na rea de Inteligncia Artificial quanto na rea de Programao Orientada a Objetos [Girardi 90].

Questes sobre Frames

Como reconhecer e acessar frames? Qual o tamanho dos frames? Como utilizar os frames?

Sistemas Baseados em Frames


FRL - [Roberts 77] uma linguagem baseada em frames adaptada diretamente da proposta original de Minsky. FRL fornece um mecanismo de inferncia no explcito. As inferncias devem ser codificadas nos procedimentos associados aos slots. KRL - [Bobrow 77a] uma outra linguagem de Representao de Conhecimento baseada em frames. Ao contrrio da FRL, a KRL oferece um mecanismo de inferncia na forma de casamento de padres.

Sistemas Baseados em Frames


KL-ONE - [Brachman 79] uma outra importante linguagem de Representao de Conhecimento baseada em frames. KL-ONE faz uma forte utilizao da relao de especializao. Embora no exista classificao, existe a distino entre conceitos descrevendo conjuntos de objetos e conceitos descrevendo indivduos. GUS -[Bobrow 77b] foi projetado como um prottipo de um sistema automtico para reservas de viagens desempenha um agente de viagens em uma conversao com um cliente que deseja fazer uma viagem a uma cidade da Califrnia.

Sistemas Baseados em Frames


NUDGE - [Goldstein 77] um sistema baseado em frames que foi utilizado para o entendimento de solicitaes, possivelmente incompletas e inconsistentes, para planejamento de atividades administrativas. Foi implementado na linguagem FRL. STAR-PLAN - O sistema STAR-PLAN [Fergunson 85] serve como uma ajuda inteligente operao, diagnstico e correes de mal funcionamento de satlites. capaz de atuar sozinho como um simulador para treinamento de operadores e peritos em diagnsticos.

Frames: Vantagens e Desvantagens


Vantagens:
Capturam a maneira que especialistas pensam a respeito de seu conhecimento, Fornecem uma representao estrutural concisa de relaes, Suportam uma tcnica de definio por especializao que fcil de ser utilizada pela maioria dos especialistas.

Frames: Vantagens e Desvantagens


Linguagens baseadas em frames poderosas
Relaes taxonmicas entre os frames capacitam as informaes descritivas a serem compartilhadas entre mltiplos frames via herana e tambm devido ao fato que a estrutura interna dos frames capacita a manuteno automtica de restries semnticas.

Domnio do conhecimento pode ser mais efetivamente utilizado

Frames: Vantagens e Desvantagens


Mais facilmente entendido pelos usurios, Forma declarativa, ao invs da forma procedimental.

Desvantagens:
Um tipo de relao explcita

Frames
Vantagens:
Os frames so bem adaptados ao raciocnio humano, flexveis e fceis de usar, embora no tenham uma metodologia de implementao especfica. Herana automtica dos atributos Estruturao de grande quantidade de conhecimentos.

Dificuldades:
No possui uma definio formal de mtodo, o que ocasiona perda da simplicidade e da uniformidade No apresenta uma metodologia especfica para a implementao