Introduo aos Sistemas Periciais

Universidade do Minho

Manuel Filipe Santos

1

Introduo
Os especialistas humanos so capazes de atingir um alto desempenho na medida em conhecem muito bem as suas reas de especializao. Um Sistema Pericial um programa de computador que utiliza conhecimento especfico do domnio de um problema e emula a metodologia e desempenho de um especialista no domnio desse problema.
2

O conhecimento inerente a um Sistema Pericial um ponto chave na sua construo e normalmente definido por engenheiros do conhecimento ou programadores.
Para tal so consultados peritos no domnio do problema e tenta-se codificar numa linguagem formal todo o conhecimento que estes adquiriam ao longo da sua experincia nomeadamente heursticas e truques.
3

Os Sistemas Periciais no imitam a estrutura da mente humana, nem os mecanismos da inteligncia. So programas prticos que usam estratgias heursticas desenvolvidas por humanos na resoluo de classes especficas de problemas.
So uma classe de programas na rea da Inteligncia Artificial e tm contribudo para o sucesso desta rea atravs dos produtos comerciais desenvolvidos
4

Programa/Sistema Pericial
Programa Representao do Conhecimento Realidade expressa em termos de Conhecimento traduzido em O computador executa Tipo de Resultados
Implcita

Sistema Pericial
Explicita

Modelos Matemticos

Modelos Cognitvos

Algoritmos

Processamento numrico (clculos) Numricos

Estruturas hierrquicas Redes Semnticas rvores de deciso Tabelas de deciso Redes de Inferncia Processamento simblico (inferncias) Conhecimento

Categorias dos Problemas

Interpretao: Predio: Diagnstico: Desenho: formar concluses a partir de muitos dados projectar consequncias de situaes determinar a causa do mau funcionamento configurar componentes por forma a atingir um objectivo Planeamento: sequncia de passos para atingir um objectivo Monitorizao: comparar o comportamento de um sistema com aquilo que seria de esperar Reparao: prescrever e implementar remdios para maus funcionamentos Instruo: detectar e corrigir deficincias na aprendizagem de estudantes Controlo: governar o comportamento de um sistema
6

Tecnologia dos Sistemas Periciais

Arquitectura
PERITO/ ENG. CONHECIMENTO/ PROGRAMADOR BASE DE CONHECIMENTO

SHELL

INTERFACE COM UTILIZADOR: MOTOR DE INFERNCIA PERGUNTA/RESPOSTA ORIENTADO POR MENUS LINGUAGEM NATURAL GRFICO EXPLICAO

UTILIZADOR

DADOS ESPECFICOS DO CASO

APRENDIZAGEM 7

Quando desenvolver um Sistema Pericial

O problema justifica o custo e esforo de construo de um Sistema Pericial No existem peritos disponveis para resolver o problema O problema pode ser solucionado atravs de raciocnio simblico (prximo dos humanos) O problema no requer senso comum O problema no pode ser resolvido atravs de mtodos computacionais tradicionais

Existem peritos para cooperarem na construo do Sistema Pericial

O problema no demasiado grande nem demasiado genrico
8

Desenvolvimento de Sistemas Periciais

Envolve o Engenheiro de Conhecimento/Programador o perito do domnio do problema e o utilizador final

Criao Rpida de Prottipos

Aquisio do Conhecimento Modelao do Sistema Programao

Metodologia Centrada no Cliente sucessivas iteraes nas quais os possibilidades so postas prova pelos futuros utilizadores
9

Correco

Meios
Linguagens de Programao C (por objectos), Pascal, Basic, LISP, PROLOG

Conchas (Shell)
Acadmicas MYCIN - EMYCIN, CLIPS GUIDON, TEIRESIAS, VM, CENTAUR...

Comerciais

Deciding Factor, Exsys, M-1, Savoir, ExpertEase, Guru, Crystal...

Ambientes de Programao (de IA) ILOG... Aplicaes Business Insight...

10

Raciocnio Baseado em Regras

Representao do conhecimento para a resoluo do problema atravs de regras se..ento (regras de produo) Exemplo:

se
o motor no roda, e as luzes no acendem ento o problema est nos cabos da bateria
11

Diagnstico de Avarias em Automveis

(Raciocnio Para Trs - Orientado ao Objectivo)
Memria de Trabalho O problema X Regra1:se Base de Conhecimento

o motor tem combustvel, e o motor trabalha ento o problema nas velas

Regra2: se o motor no trabalha, e as luzes no ligam ento o problema nos cabos da bateria Regra3: se o motor no trabalha, e as luzes ligam o problema no motor de arranque Regra4: se o depsito tem combustvel, e o carburador tem combustvel ento o motor tem combustvel 12

Memria de Trabalho O motor tem combustvel o motor trabalha o problema nas velas Regra2: se Regra1:se

Base de Conhecimento

o motor tem combustvel, e o motor trabalha ento o problema nas velas

o motor no trabalha, e as luzes no ligam ento o problema nos cabos da bateria Regra3: se o motor no trabalha, e as luzes ligam o problema no motor de arranque Regra4: se o depsito tem combustvel, e o carburador tem combustvel ento o motor tem combustvel 13

Memria de Trabalho O depsito tem combustvel o carburador tem combustvel O motor tem combustvel Regra2: se o motor trabalha o problema nas velas Regra3: se Regra1:se

Base de Conhecimento

o motor tem combustvel, e o motor trabalha ento o problema nas velas

o motor no trabalha, e as luzes no ligam ento o problema nos cabos da bateria o motor no trabalha, e as luzes ligam o problema no motor de arranque Regra4: se o depsito tem combustvel, e o carburador tem combustvel ento o motor tem combustvel 14

Neste ponto no existem regras cuja concluso unifique com as frases na memria de trabalho O sistema ir perguntar ao utilizador acerca da veracidade de: O depsito tem combustvel?

O carburador tem combustvel?

O motor est a trabalhar?

15

Grafo e/ou para a procura da soluo

O problema X
Regra1: o problema nas velas Regra1: o problema nos cabos da bateria Regra1: o problema no motor de arranque

O motor tem combustvel

O motor trabalha

O motor no trabalha

As luzes no acendem

O motor no trabalha

As luzes acendem

Regra4: o motor tem combustvel

O depsito tem combustvel

O carburador tem combustvel

16

Explicao
Perguntas: porqu (ltima a regra em prova) como (sequncia de passos para a concluso) Suponhamos as seguintes respostas s perguntas: O depsito tem combustvel? Sim O carburador tem combustvel? Sim O motor est a trabalhar? Porqu? Sistema: Foi estabelecido que 1. O motor tem combustvel, se 2. O motor trabalha ento o problema nas velas
17

O sistema chegou concluso:

Podemos perguntar: Sistema:

o motor tem combustvel

como o motor tem combustvel?

Isto resulta da regra 4: se o depsito tem combustvel, e o carburador tem combustvel ento o motor tem combustvel. O depsito tem combustvel foi confirmado pelo utilizador O carburador tem combustvel foi confirmado pelo utilizador

18

Diagnstico de Avarias em Automveis

(Raciocnio Para a Frente - Orientado aos Dados)
Memria de Trabalho O motor tem combustvel ( derivvel) O motor trabalha (no) Regra2: se o motor no trabalha, e as luzes no ligam ento o problema nos cabos da bateria Regra3: se o motor no trabalha, e as luzes ligam o problema no motor de arranque Regra4: se o depsito tem combustvel, e o carburador tem combustvel ento o motor tem combustvel 19 Regra1:se Base de Conhecimento

o motor tem combustvel, e o motor trabalha ento o problema nas velas

Memria de Trabalho o carburador tem combustvel (sim) o depsito tem combustvel (sim) O motor tem combustvel Regra2: se Regra1:se

Base de Conhecimento

o motor tem combustvel, e o motor trabalha ento o problema nas velas

o motor no trabalha, e as luzes no ligam ento o problema nos cabos da bateria Regra3: se o motor no trabalha, e as luzes ligam o problema no motor de arranque Regra4: se o depsito tem combustvel, e o carburador tem combustvel ento o motor tem combustvel 20

o motor trabalha (sim)

o problema das velas

Grafo para a procura da soluo

Primeira iterao
Mem. Trabalho

Regra1

Regra2
Falha

Regra3
Falha

Regra4
Dispara

Segunda iterao
Mem. Trabalho...

Regra1 Regra2 Regra3

O problema nas velas

Regra4

Sai pois nenhuma regra unifica

21

Raciocnio Baseado em Modelos

Em vez de se utilizarem heursticas na resoluo de um problema A anlise fundamentada directamente na especificao e funcionalidade do sistema fsico (um modelo do sistema) Normalmente aplica-se no diagnstico O sistema simulado assim como a estrutura e funcionamento das suas componentes Exemplo de um circuito de somadores e multiplicadores 22

Raciocnio Baseado em Casos

Regras heursticas e modelos tericos so dois tipos de informao que os peritos humanos utilizam para resolver problemas Outra estratgia utilizada o raciocnio baseado em casos (Case-Based Reasoning - CBR) Utiliza uma base de dados com solues de problemas para resolver novas situaes

Exemplos: medicina, justia, programao de computadores, arquitectura, histria...

23

Algoritmo de inferncia
1. Procurar casos similares na memria aqueles cuja soluo pode ser aplicada nova situao (caractersticas comuns) 2. Modificar um desses casos para aplicar situao nova (alterar sequncia dos passos que levam de um estado inicial a um estado final) 3. Aplicar o caso transformado ao novo problema 4. Guardar a soluo com uma medida do sucesso ou insucesso para uso futuro.
24

Representao de Conhecimento?
Raciocnio Baseado em regras vantagens:
modo directo modular desempenho facilidades de explicao as regras encaixam-se naturalmente na procura num espao de estados o processo de inferncia fcil de seguir e depurar os passos para a soluo do problema so facilmente inspeccionveis separao do controlo e do conhecimento

desvantagens:
regras altamente heursticas, falta de profundidade no manuseiam falta de informao ou valores inesperados a explicao baseia-se na prova e no nas bases tericas muito especfico na aplicao

25

Raciocnio Baseado em Casos

vantagens:
codificao directa de conhecimento histrico (e.g. reparaes)

permite atalhar a resoluo a partir de um caso apropriado no necessitando de todo o processo de resoluo do problema
evita erros do passado e explora os sucessos (aprendizagem) no necessria uma anlise extensiva do domnio do conhecimento aquisio de conhecimento e sua codificao relativamente fceis

desvantagens:
explicao difcil desempenho computacional (bases de dados extensas) difcil definir critrios de similaridade

26

Raciocnio Baseado em Modelos

vantagens:
uso de conhecimento funcional/estrutural

robustez (ao contrrio do baseado em regras)

algum conhecimento transfervel entre tarefas (teorias genricas...) explicao causal

desvantagens:
falta de conhecimento heurstico requer um modelo explicito do domnio (nem sempre possvel (e.g. finanas) complexidade situaes excepcionais (um componente avariado)

27

Raciocnio Baseado em Representaes Hbridas

regras+casos regras+modelos modelos+casos

Raciocnio com Incerteza ou Informao Incompleta

28

29