CIn- UFPE

1
Construindo Bases de Conhecimento
Lgica de Primeira Ordem
eficiente para representar conhecimento e para raciocinar
porm, nada diz sobre quais fatos devem ser
representados e qual vocabulrio utilizar
Engenharia do Conhecimento
estuda como construir uma Base de Conhecimento (BC)
Engenheiro do conhecimento
determina quais conceitos so importantes no domnio
escolhido
cria representaes (em alguma linguagem de RC)
desses objetos e suas relaes no domnio dado
CIn- UFPE
2
Propriedades de Bases de Conhecimento
Boas e Ruins
Toda BC tem dois consumidores:
usurios
procedimentos de inferncia
Uma BC deve:
ser clara e correta
representar apenas objetos e relaes relevantes
idealmente, ser codificada separada do procedimento
de inferncia (modularidade, reusabilidade)
melhorar a eficincia do processo de inferncia
O processo de inferncia deve fornecer a mesma
resposta, independente de como a base foi
codificada
CIn- UFPE
3
Engenharia de Conhecimento
Nvel de
Conhecimento
Nvel Lgico
Nvel de
Implementao
BC
AQUI SI O
FORMALI ZAO
I MPLEMENTAO
REFI NAMENTO
linguagem natural
linguagem de
representao de
conhecimento
linguagens de
programao
CIn- UFPE
4
Engenharia de Conhecimento
1) Decida sobre o que falar
2) Escolha o vocabulrio de predicados, funes
e constantes (Ontologia do Domnio)
3) Codifique o conhecimento genrico sobre o
domnio (axiomas)
x,y,z Americano(x) . Arma(y) . Nao(z) . Hostil(z) . Vende(x,z,y)
Criminoso(x)
4) Codifique uma descrio de uma instncia
especfica do problema
Nao(Cuba), Nao(USA)
5) Proponha questes para o procedimento de
inferncia e obtenha respostas
West criminoso?
CIn- UFPE
5
Um Exemplo:
Circuitos Digitais
Objetivo:
determinar se o circuito est de acordo com sua
especificao (o circuito acima um somador)
responder a perguntas sobre o valor da corrente em
qualquer ponto do circuito
CIn- UFPE
6
Decida sobre o que falar
Para alcanar o objetivo, relevante falar sobre
circuitos, terminais, sinais nos terminais, conexes entre
terminais
Para determinar quais sero esses sinais,
precisamos saber sobre:
portas e tipos de portas: AND, OR, XOR e NOT

No relevante falar sobre:
fios, caminhos dos fios, cor e tamanho dos fios, etc.
CIn- UFPE
7
Decida qual vocabulrio usar
Nomear os objetos e relaes do domnio com
funes, predicados e constantes
constantes
distinguir as portas : X1, X2...
distinguir os tipos de porta: AND, OR, XOR...
funes e predicados
tipo de uma porta:
Tipo(X1) = XOR, Tipo(X1, XOR), XOR(X1)
indicar entradas e sadas:
Out(1, X1), In(1, X2)
indicar conectividade entre portas:
Conectado(Out(1, X1), In(1, X2))
CIn- UFPE
8
Codifique regras genricas
(1) Dois terminais conectados tm o mesmo sinal:
t1, t2 Conectado(t1, t2) Sinal(t1) = Sinal(t2)
(2) O sinal de um terminal On ou Off (nunca ambos)
t Sinal(t) = On v Sinal(t) = Off, On = Off
(3) Conectado um predicado comutativo
t1,t 2 Conectado(t1, t2) Conectado(t2, t1)
(4) Uma porta OR est On sse qualquer das suas
entradas est On:
g Tipo(g) = OR Sinal(Out(1,g)) = On
- n Sinal(In(n,g))=On
(5) etc...
CIn- UFPE
9
Codifique a instncia especfica
Portas:
Tipo(X1) = XOR Tipo(X2) = XOR
Tipo(A1) = AND Tipo(A2) = AND
Tipo(O1) = OR

Conexes:
Conectado(Out(1,X1),In(1,X2))
Conectado(Out(1,X1),In(2,A2))
Conectado(Out(1,A2),In(1,O1)) . . .
CIn- UFPE
10
Proponha questes ao Procedimento
de Inferncia
Que entradas causam Out(1,C1) = Off e
Out(2, C1) = On?
- i1, i2, i3 Sinal(In(1,C1)) = i1 .
Sinal(In(2,C1)) = i2 . Sinal(In(3,C1)) = i3 .
Sinal(Out(1,C1)) = Off . Sinal(Out(2,C1) = On

Resposta:
(i1 = On . i2 = On . i3 = Off) v
(i1 = On . i2 = Off . i3 = On) v
(i1 = Off . i2 = On . i3 = On)
CIn- UFPE
11
Ontologias
Em Filosofia:
estudo do que existe no mundo
Em IA:
especificao das classes, objetos e relaes da realidade
Usadas para:
organizar a BC, separando conceitos (objetos) das regras
aumentar a reusabilidade
Ontologias Genricas (Gerais)
usadas para representar grandes conjuntos de objetos e
relaes
representam senso comum - conhecimento enciclopdico
codificadas dentro de algum formalismo (ex. LPO)
CIn- UFPE
12
Ontologias Genricas
Maior tempo de construo do que ontologias
especializadas, porm mais vantajosas:
unificam diferentes reas de conhecimento, porque o
raciocnio e a resoluo de problemas pode envolver
vrias reas simultaneamente.
aplicveis a domnios especficos, com a adio de
axiomas especficos desse domnio
Senso Comum (ontologia genrica)
Domnios Especializados
CIn- UFPE
13
Estratgias de Construo de Ontologias
Abordagem Top-Down:
comea definindo os conceitos do senso comum,
depois agrega o conhecimento especializado.

Abordagem Bottom-Up:
comea com N bases especializadas, depois integra os
conceitos mais gerais.

Qualquer ontologia especfica pode ser modificada
a fim de se tornar mais genrica.
CIn- UFPE
14
Ontologias Genricas: Categorias
Tambm chamadas de classes, relaes, tipos ...
conjuntos de objetos com propriedades comuns
organiza e simplifica a base de conhecimento.
Exemplos de simplificao:
comprar(Ma
123
) x comprar(Ma) - classe-instncia
Todo mamfero bebe leite - herana
Taxonomia:
tipo particular de ontologia:
relaes hierrquicas entre classe e sub-classes em
forma de rvores
propriedades discriminantes
ex. biologia sistemtica
Ontologia do Universo
QualquerCoisa
ObjetosAbstratos Eventos
Conjuntos Nmeros ObjetosRepresentativos
Intervalos Lugares ObjetosFsicos
Categorias Sentenas Medidas Momentos
Coisas
Matria
Tempos Pesos Animais Agentes Slido Lquido Gasoso
Processos
Humanos
CIn- UFPE
16
Representando Categorias
Predicados unrios:
e.g., Humano(x) verdade apenas quando x for uma
pessoa.
Reificao (Coisificao):
transforma um predicado ou uma funo em um objeto
(termo) da linguagem
e.g., Humanos um objeto que representa o conjunto
de todos as pessoas
Populao(Humanos) = 9.000.000


CIn- UFPE
17
Exemplos de Categorias
Um objeto membro de uma categoria:
Ma
12
e Mas
Uma categoria pode ser subclasse de outra
categoria:
Mas c Frutas
Todos os membros de uma categoria tm alguma
propriedade em comum:
x. x e Mas Vermelho(x) . Arredondado(x)
Membros de uma categoria podem ser
reconhecidos por algumas propriedades:
x. Vermelho(Interior(x)) . Verde(Exterior(x)) .
x e Meles x e Melancias
CIn- UFPE
18
Relaes entre Categorias
Disjuno: no h interseo entre as categorias
s Disjuno(s)
(c
1
,c
2
c
1
e s . c
2
e s . c
1
= c
2
c
1
c
2
= |)
ex. Disjuno({Animais, Vegetais})
Decomposio exaustiva
s,c DecomposioExaustiva(s,c)
(i. i e c -c
2
c
2
e s . i e c
2
)
ex. DecomposioExaustiva({Americano, Canadense,
Mexicano}, Norte-Americano)
Partio: decomposio exaustiva disjunta
s,c Partio(s,c) Disjuno(s)
DecomposioExaustiva(s,c)
ex.. Partio(({macho, fmea}), animal)
CIn- UFPE
19
Ontologias Genricas:
tambm podem representar
Medidas
Valores atribudos s propriedades dos objetos do
mundo real: peso, comprimento, altura, etc...
Objetos compostos
formados por partes que tambm so objetos: relao
parte-de.
Mudanas com eventos
Clculo de eventos: um fato verdade em um intervalo
de tempo.

CIn- UFPE
20
Medidas
Valores atribudos aos objetos do mundo real:
servem para descrever objetos
ex. peso, comprimento, altura, dimetro, ...
Medidas quantitativas so fceis de representar
ex. Tamanho(L
1
) = Polegadas(1,5) = Centmetros (3,81)
Medidas qualitativas so mais complicadas
ex. beleza de um poema, dificuldade de um exerccio
O importante ordenar
e
1
, e
2
e
1
e Exerccios . e
2
e Exerccios . Elabora(Joo,e
1
)
. Elabora(Pedro,e
2
) Dificuldade(e
1
) < Dificuldade(e
2
)
CIn- UFPE
21
Objetos Compostos
Objetos formados por partes que tambm so
objetos
So caracterizados pela estrutura dos objetos que os
compem
ex. massa de um carro a soma das massas de suas
partes(carroceria, motor, pneu, ...)
Para represent-los, usamos a relao ParteDe
e.g., ParteDe(motor, Carro), ParteDe(pneu, Carro)
Exemplo:
a Bipede(a)
- l1, l2, b Perna(l1) . Perna(l2) . Corpo(b) .
ParteDe(l1,a) . ParteDe(l2,a).ParteDe(b,a) .
Ligado(l1,b) . Ligado(l2,b) . l1 = l2 .
l3 Perna(l3) . ParteDe(l3,a) (l3 = l1 v l3 = l2)
CIn- UFPE
22
Objetos Compostos
ParteDe tambm serve para descrever estrutura de
eventos: Script ou Schema
ex. comer no restaurante
Quando se est interessado apenas nas
caractersticas do conjunto: BunchOf
ex. peso do saco de Mas
BunchOf(Mas) define um objeto composto formado
pelas Mas do saco.
CIn- UFPE
23
Representando Mudanas com Eventos
Clculo de situaes:
adequado quando temos um nico agente realizando aes
discretas e instantneas (uma ao por situao).
inadequado quando:
existem vrios agentes no mundo.
o mundo pode mudar espontaneamente.
mudanas ocorrem continuamente.
Clculo de eventos: verso contnua do calculo de
situaes
No clculo de situaes, um fato verdade em uma
situao
No clculo de eventos, uma coisa verdade num intervalo
de tempo
ex. SubEvento(BatalhaDaNormandia,SegundaGuerraMundial)
SubEvento(SegundaGuerraMundial, SculoXX)
CIn- UFPE
24
Tempos, Intervalos e Aes
Meet(i,j)
i
j
Before(i,j)
After(j,i)
i
j
During(i,j)

i
j
Overlap(i,j)
i
j
CIn- UFPE
25
Clculo de Eventos: Exemplos
Se duas pessoas ficaram noivas, ento em algum
intervalo no futuro elas iro se casar ou acabar o
noivado:
x,y,i
0
T(Noivado(x,y),i
0
)
-i
1
(Encontra(i
0
,i
1
) Depois(i
1
,i
0
)) .
T(Casamento(x,y) FimNoivado(x,y), i
1
)
A segunda guerra de Canudos ocorreu na Bahia
no sculo XIX
-g g e Guerras . SubEvento(g,SculoXIX) .
ParteDe(Localizao(g),Bahia)