Introdução aos Sistemas Especialistas

Apresentação em tema: "Introdução aos Sistemas Especialistas"— Transcrição da apresentação:

1 Introdução aos Sistemas Especialistas
Professor Celso A A Kaestner, Dr. Eng.

2 Sistemas Especialistas
Base de Conhecimentos Fatos Regras Motor de Inferência

3 Eventualmente parada ou efeitos de controle
Motor de Inferência Avaliação Execução Execução das ações da regra disparada 1. Restrição 2. Filtragem Mudanças em fatos (e regras) 3. Resolução de conflitos Efeitos colaterais Eventualmente parada ou efeitos de controle

4 Motor de Inferência Variações: Direção do encadeamento:
Para frente (forward) Para trás (backward) Misto.

5 Motor de Inferência Restrição: um só disparo de cada regra (refração), mudança de contexto, prioridade a regras... Filtragem: pattern matching (existência ou não de variáveis) Resolução de conflitos: Estratégia de busca: profundidade, largura, feixe, mista...

6 Motor de Inferência Disparo: execução das ações no RHS da(s) instância(s) de regra escolhida; Mudança na base de conhecimentos: Fatos; Regras. Efeitos colaterais: Impressões, mensagens...

7 Motor de Inferência Revogação (backtrack): retorno a estado anterior da base de conhecimentos; Monotonicidade: Monotonicidade: só inclusão de fatos; Não-monotonicidade: alteração (deleção, inclusão) de fatos. Negação (not) por falha finita.

8 Base do Conhecimento Fatos: Constantes (valor);
Pares (atributo, valor); Triplas (objeto, atributo, valor); Listas (objeto (atr1 v1) (atr2 v2)...); Objetos (similar a OO); Incerteza...

9 Base do Conhecimento Regras: Forma: Lado esquerdo (LHS): ativação;
Lado direito (RHS): ações; Forma: Presença ou não de variáveis; Ações permitidas.

10 CLIPS CLIPS: Ferramenta para a construção de SE desenvolvida pelo Software Technology Branch (STB), NASA/Lyndon B. Johnson Space Center; Baseado em regras de produção.

11 CLIPS: comandos Fatos: Regras:
(assert <fato>), (retract <n-fato>), (facts), (watch facts), (unwatch facts); Regras: (defrule <LHS> => <RHS>); <LHS>: padrões; <RHS>: ações. (rules), (watch rules), (unwatch rules);

12 CLIPS: comandos Controle: (exit), (halt)
(run), (run <n>), (agenda) (clear), (reset) (facts), (rules), (ppdefrule) (get-strategy), (set-strategy)

13 CLIPS: exemplos Fatos simples: Fatos complexos:
farreny-ghallab-fig3-4.clp, farreny-ghallab-fig3-4-back.clp, farreny-ghallab-fig4-5.clp. Fatos complexos: mundo-blocos1.clp; mundo-blocos2.clp.

14 Sinta Sinta: Sistemas Inteligentes Aplicados; UFC;