Sistemas Baseados em Conhecimento e

Sistemas Especialistas

Anne Magly de Paula Canuto
Sistemas Especialistas
O que um Sistema Especialista (SE)?
O que um especialista?
O que expertise (competncia)?
Qual a estrutura de um SE?
Quem usa SE?
Como ele pode ser usado?
Quais so os potenciais benefcios?
Quais so as possveis limitaes?
Um Especialista, por definio ...

Identifica questes relevantes ao problema
Resolve problemas complexos rapidamente
Explica o resultado
Aprende continuamente (reestrutura o conhecimento)
Sabe quando aplicar excees
humano!
O que expertise (competncia)?
Conhecimento extenso de uma tarefa especfica,
adquirido atravs de treinamento, leitura, experincia etc.
O que conhecimento?
Dados + processamento = informao
Informao + processamento (experincia, treinamento etc.) =
conhecimento
Um Especialista tambm ...
Caro
Raro
Ocupado
Inconsistente
Emocional
Mortal
Todas boas razes para considerar a captura
de sua competncia.
Sistema baseado em conhecimento
A
m
b
i
e
n
t
e

Sensores
Efetuadores
Base de
Conhecimento

Mquina de
Inferncia
Genrica
Explicao
Contexto
Qual a principal diferena entre um sistema
especialista e um SBC?
Especialista
Ciclo de vida dos sistemas baseados em
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
Identificao Viabilidade
Engenharia do Conhecimento
Engenharia do Conhecimento
estuda como construir uma Base de Conhecimento (BC)
1. Nvel do conhecimento: aquisio de conhecimento
conhecimento em estado puro - linguagem natural
e.g., txi automtico: a ponte Princesa Isabel liga a Rua da Imperatriz
Rua Nova
2. Nvel lgico: formalizao
conhecimento codificado em sentenas - linguagem formal
e.g. sentena lgica: liga(Ponte-PI,RI,RN)
3. Nvel de mquina: implementao
estrutura de dados representando as sentenas do nvel lgico
e.g., listas, tabelas, objetos, etc.
Ciclo de vida dos sistemas baseados em
conhecimento
Identificao:
Descreve o domnio de conhecimento, termos chaves e
referncias
Resumo simplificado dos conceitos relacionados ao domnio
Anlise funcional: entradas e sadas identificadas
Anlise de Viabilidade
Solucionar a
tarefa altamente
remunerativo
A falta de um
Especialista afeta
A tarefa?
preciso a
Reteno de
conhecimento
Especialistas so
Necessrios em
Vrios locais?
A tarefa tem um
Domnio bem
Delimitado?
e/ou
Justificvel o
Desenvolvimento de um
SBC
Aquisio de conhecimento
Primeira e mais importante fase do ciclo de vida de um
SBC
Conhecimento adquirido (especialista, livros, etc.)
Acompanha toda a vida til do sistema
Passos:
Identificao
Conceituao
Formalizao
Implementao
Aquisio de conhecimento
Conceituao: trabalha diretamente com o conhecimento
do especialista
Interao EC e o especialista, tarefa difcil:
Diversos tipos e nveis de conhecimento
Verbalizao: difcil aos humanos (conhecimento implcito)
Conhecimento especializado: rico e complexo
Especialista: fornecer detalhes do conhecimento
Problemas com a linguagem
Trabalho com mais de um especialista
Aquisio de conhecimento
Aquisio automtica de conhecimento
Suavizar o problema da expresso verbal
Criar sistemas capazes de atualizar, refinar e acrescentar
conhecimento
Interagir com o especialista, visando o aprendizado do SE
Automtica (KADs)
Semi-automtica (editores de protocolos, grficos, etc.)
Aquisio de conhecimento
Conhecimento descrito atravs
das linguagens:
Natural
Diagramtica
Semi-formais
Formais
Mtodos e tcnicas para se
utilizar durante a AC
adquirir o mximo de
conhecimento possvel
Tcnicas
Entrevistas
No estruturada
Estruturada
Observaes
Simples
Anlise de protocolo
Anlise por interrupo
Informao limitada
Processamento limitado
Representao do conhecimento
Representar o conhecimento adquirido do especialista
num formalismo entendvel pela mquina
implica
sentenas
Representao
sentenas
Mundo
fatos
segue-se
fatos
Linguagens de Representao do
Conhecimento
Uma Linguagem de Representao do Conhecimento
definida por:
1) uma sintaxe, que descreve as configuraes que podem
constituir sentenas daquela linguagem;
2) uma semntica, que liga cada sentena aos fatos no mundo que
ela representa
cada sentena faz uma afirmao a respeito do mundo;
o agente acredita nas sentenas que correspondem a sua configurao
interna.
E tem um mecanismo de inferncia associado = raciocnio
Representao & Raciocnio
Raciocnio um processo de construo de novas sentenas a
partir de sentenas existentes.
Raciocnio correto (sound):
garante que as novas sentenas representam fatos que se seguem dos fatos
representados pelas sentenas existentes na BC.
implementa a relao de implicao entre sentenas
Linguagens de Representao do
Conhecimento
Linguagens de programao:
so precisas, porm no so suficientemente expressivas
Linguagens naturais:
so muito expressivas, porm so ambguas
Linguagens de representao de conhecimento (LRC):
utilizadas para expressar as sentenas das BC
existem 3 grandes classes:
linguagens (predominantemente) declarativas
linguagens procedimentais
linguagens hbridas
Meta-conhecimento
Meta-conhecimento:
conhecimento sobre o conhecimento disponvel:
escolha de aes
ataco ou negocio?
// Ente duas aes conflitantes, escolha a de maior
utilidade

Critrios de avaliao de LRC
Expressividade
o que possvel dizer
facilmente na linguagem?
Inferncia disponvel
que tipo de inferncia
possvel fazer na linguagem?
Corretude
a inferncia plausvel? A
semntica bem definida?

Eficincia
a inferncia se realiza em um
tempo razovel?
Modularidade:
fcil identificar e reutilizar
partes do conhecimento?
Legibilidade:
fcil de ler e entender o que
est escrito?
Eficincia aquisicional:
fcil adicionar
conhecimento?
Solucionando o caso do cap. West (em LPO)
A) " x,y,z Americano(x) Arma(y) Nao(z) Hostil(z) Vende(x,z,y)
Criminoso(x)
B) " x Guerra(x,USA) Hostil(x)
C) " x InimigoPoltico(x,USA) Hostil(x)
D) " x Mssil(x) Arma(x)
E) " x Bomba(x) Arma(x)
F) Nao(Cuba)
G) Nao(USA)
H) InimigoPoltico(Cuba,USA)
I) InimigoPoltico(Ir,USA) c
o
n
h
e
c
i
m
e
n
t
o

p
r

v
i
o

J) Americano(West)
K) $ x Possui(Cuba,x) Mssil(x)
L) " x Possui(Cuba,x) Mssil(x) Vende(West, Cuba,x)
c
o
n
h
e
c
i
m
e
n
t
o


d
o

p
r
o
b
l
e
m
a

n
o
v
o


c
o
n
h
e
c
i
m
e
n
t
o

M) Possui(Cuba,M1) - Eliminao: quantificador existencial e
N) Mssil(M1) conjuno de K
O) Arma(M1) - Modus Ponens a partir de D e N
P) Hostil(Cuba) - Modus Ponens a partir de C e H
Q) Vende(West,Cuba,M1) - Modus Ponens a partir de L, M e N
R) Criminoso(West) - Modus Ponens a partir de A, J , O, F, P e Q
Representao de conhecimento: Regras
de produo
Representam conhecimento com pares de condio-ao
SE condio (ou premissa ou antecedente) ocorre
ENTO ao (resultado, concluso ou conseqente) dever
ocorrer
SE o semforo est verde
ENTO a ao seguir em frente
Em geral, uma regra pode ter mltiplos antecedentes ligados
pelos conectivos lgicos E e OU (ou ambos)
O conseqente de uma regra tambm pode ter mltiplas
clusulas
Representao de conhecimento: um
exemplo
Regra 01: Se Y = SIM & D = SIM Ento Z = SIM
Regra 02: Se X = SIM & B = SIM & E = SIM Ento Y = SIM
Regra 03: Se A = SIM Ento X = SIM
Regra 04: Se C = SIM Ento L = SIM
Regra 05: Se L = SIM & M = SIM Ento N = SIM
Z=?
Y D
A
X
Z
D
B
Y
3
1
2
A = SIM
B = SIM
C = SIM
D = SIM
E = SIM
Z = ?
E
C
L
4
1
X B E
2
A
OK
OK OK
OK
Representao de conhecimento: regras
de produo
Raciocnio progressivo (encadeamento para a frente)
Dos dados concluso - data-driven inference
As regras da BC so usadas para gerar informao nova (novos fatos) a partir de um
conjunto inicial de dados
Os fatos gerados passam a fazer parte da BC
ex.: criminoso(West)
Raciocnio regressivo (encadeamento para trs)
Da hiptese aos dados - goal-directed inference
Usa as regras da BC para responder a perguntas
Prova se uma assero verdadeira
ex.: criminoso(West)?
S processa as regras relevantes para a pergunta (assero)
Qual o melhor?
Representao de conhecimento: regras
de produo
Resoluo de conflitos
Regra 01: Se Luz_Sinal = Verde Ento Ao = Continue
Regra 02: Se Luz_Sinal = Vermelho Ento Ao = Pare
Regra 03: Se Luz_Sinal = Vermelho Ento Ao = Continue
O que fazer?
Parar quando o objetivo for alcanado
Regra com maior prioridade
Regra mais especfica
Regra mai recente
Meta-conhecimento
Representao: Regras de produo
Vantagens
As regras so de fcil compreenso.
Inferncia e explicaes so facilmente derivadas.
Manuteno relativamente simples, devido a modularidade.
So mais eficientes que os sistemas de programao em lgica, embora
menos expressivos
Desvantagens
Conhecimento complexo requer muitas (milhares de) regras.
Esse excesso de regras cria problemas para utilizao e manuteno do
sistema.
No so robustos (tratamento de incerteza)
No aprendem
Sistemas Especialista: Thermostat
Objetivo: selecionar a temperatura adequada para o
sistema de calefao
Mes do ano, dia da semana e horrio do dia
Dia
Hoje
Operao
Mes
Estao
Temperatura
Horrio
Regra 01: Se Dia = Seg ou Dia = Ter ou Dia = Qua ou Dia = Qui ou Dia =
Sex Ento Hoje = DT
Regra 02: Se Dia = Sab ou Dia = Dom Ento Hoje = FS
Regra 03: Se Hoje = DT & 9 < Horario < 17 Ento Operao = DHT
Regra 04: Se Hoje = DT & Horario < 9 Ento Operao = FHT
Regra 05: Se Hoje = DT & Horario > 17 Ento Operao = FHT
Regra 06: Se Hoje = FS Ento Operao = FHT
Regra 07: Se Mes = Jan ou Mes = Fev ou Mes = Dez Ento estao = ver
Regra 08: Se Mes = Mar ou Mes = Abr ou Mes = Mai Ento estao = out
Regra 09: Se Mes = Jun ou Mes = Jul ou Mes = Ago Ento estao = Inv
Regra 10: Se Mes = Set ou Mes = Out ou Mes = Nov Ento estao = Pri
Regra 11: Se estao = Pri e Operao = DHT Ento Temp = 20
Regra 12: Se estao = Pri e Operao = FHT Ento Temp = 15
Regra 13: Se estao = Ver e Operao = DHT Ento Temp = 24
Regra 14: Se estao = Ver e Operao = FHT Ento Temp = 27
Regra 15: Se estao = Out e Operao = DHT Ento Temp = 20
Regra 16: Se estao = Out e Operao = FHT Ento Temp = 16
Regra 17: Se estao = Inv e Operao = DHT Ento Temp = 18
Regra 18: Se estao = Inv e Operao = FHT Ento Temp = 15