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.

Qual a principal diferena entre um sistema especialista e um SBC?

Sistema baseado em conhecimento Explicao Sensores

Ambiente
Efetuadores
Especialista

Contexto

Mquina de Inferncia Genrica Base de Conhecimento

Ciclo de vida dos sistemas baseados em conhecimento

Identificao Viabilidade

Nvel de Conhecimento

AQUISIO

linguagem natural

Nvel Lgico

FORMALIZAO

linguagem de representao de conhecimento linguagens de programao BC

Nvel de Implementao

IMPLEMENTAO

REFINAMENTO

Engenharia do Conhecimento

Engenharia do Conhecimento

estuda como construir uma Base de Conhecimento (BC) conhecimento em estado puro - linguagem natural e.g., txi automtico: a ponte Princesa Isabel liga a Rua da Imperatriz Rua Nova conhecimento codificado em sentenas - linguagem formal e.g. sentena lgica: liga(Ponte-PI,RI,RN) estrutura de dados representando as sentenas do nvel lgico e.g., listas, tabelas, objetos, etc.

1. Nvel do conhecimento: aquisio de conhecimento

2. Nvel lgico: formalizao

3. Nvel de mquina: implementao

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
A falta de um Especialista afeta A tarefa? Solucionar a tarefa altamente remunerativo

A tarefa tem um Domnio bem Delimitado?

e/ou

Justificvel o Desenvolvimento de um SBC

Especialistas so Necessrios em Vrios locais?

preciso a Reteno de conhecimento

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 Identificao Conceituao Formalizao Implementao

Passos:

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:

Tcnicas

Entrevistas

Natural Diagramtica Semi-formais Formais

No estruturada Estruturada

Observaes

Mtodos e tcnicas para se utilizar durante a AC adquirir o mximo de conhecimento possvel

Simples Anlise de protocolo

Informao limitada Processamento limitado

Anlise por interrupo

Representao do conhecimento

Representar o conhecimento adquirido do especialista num formalismo entendvel pela mquina

fatos Mundo segue-se fatos

Representao sentenas

implica

sentenas

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 so muito expressivas, porm so ambguas utilizadas para expressar as sentenas das BC existem 3 grandes classes:

Linguagens naturais:

Linguagens de representao de conhecimento (LRC):

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

Eficincia

o que possvel dizer facilmente na linguagem?

a inferncia se realiza em um tempo razovel?

fcil identificar e reutilizar partes do conhecimento? fcil de ler e entender o que est escrito? fcil adicionar conhecimento?

Inferncia disponvel

Modularidade:

que tipo de inferncia possvel fazer na linguagem? a inferncia plausvel? A semntica bem definida?

Corretude

Legibilidade:

Eficincia aquisicional:

conhecimento prvio

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)

J) Americano(West) K) $ x Possui(Cuba,x) Mssil(x) L) " x Possui(Cuba,x) Mssil(x) Vende(West, Cuba,x)

novo conhecimento

M) Possui(Cuba,M1) N) Mssil(M1) O) Arma(M1) P) Hostil(Cuba) Q) Vende(West,Cuba,M1) R) Criminoso(West)

- Eliminao: quantificador existencial e conjuno de K - Modus Ponens a partir de D e N - Modus Ponens a partir de C e H - Modus Ponens a partir de L, M e N - Modus Ponens a partir de A, J, O, F, P e Q

conhecimento do problema

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 Regra Regra Regra Regra 01: 02: 03: 04: 05: Se Se Se Se Se Y X A C L = = = = = SIM SIM SIM SIM SIM & D = & B = Ento Ento & M = SIM SIM X = L = SIM Ento Z = SIM & E = SIM Ento Y = SIM SIM SIM Ento N = SIM A B C D E Z = = = = = = SIM SIM SIM SIM SIM ?

A
3

C E
2 4

Z=?
Y
2

X D
1

OK D

Y
Z

X OK E B OK OK A

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)
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)

Raciocnio regressivo (encadeamento para trs)

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
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

Desvantagens

Sistemas Especialista: Thermostat

Objetivo: selecionar a temperatura adequada para o sistema de calefao

Mes do ano, dia da semana e horrio do dia

Dia Mes

Hoje

Horrio

Estao

Operao

Temperatura

Regra 01: Se Dia = Seg ou Dia = Ter ou Dia = Qua ou Dia = Qui ou 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 = Regra 08: Se Mes = Mar ou Mes = Abr ou Mes = Mai Ento estao = Regra 09: Se Mes = Jun ou Mes = Jul ou Mes = Ago Ento estao = Regra 10: Se Mes = Set ou Mes = Out ou Mes = Nov Ento estao = 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

Dia =

ver out Inv Pri