06/05/2015

Roteiro da apresentao

Inteligncia artificial

Sistemas baseados em
conhecimento
e Sistemas especialistas

Conceitos de SBCs e SEs

Introduo
Componentes bsicos de um SBC
Aquisio de conhecimento
Mtodos de representao do conhecimento
ASE

INTRODUO

Programao Convencional X Simblica

Programao
Convencional

Conceitos e informaes histricas sobre

os Sistemas Especialistas (SE).

Algoritmos

A seguir so apresentadas suas

caractersticas, seus componentes e
organizao.

Programao Simblica
Heursticas

Base de conhecimento
Base de dados acessada
simbolicamente estruturada numa
numericamente
memria de trabalho global
Processamento numrico Processamento simblico
Processamento
sequencial

Fonte: [HARMON 85]

a)
b)

c)

esto sempre disponveis, no sendo

afetados por distrao, cansao, etc.
algumas tarefas so melhor realizadas por
eles do que pelo especialista que emprestou
o conhecimento.
um uso de conhecimento mais flexvel
possvel quando comparados a programas
convencionais similares.
5

Engenharia do Conhecimento
(EC).

Vantagens dos SE
Para Carrico (1989), algumas vantagens dos SEs,
frente aos especialistas humanos, incluem:

Processamento altamente
interativo

O processo de construo de um SE geralmente

chamado de Engenharia do Conhecimento (EC).

Tipicamente envolve uma forma especial de

interao entre o construtor do SE, chamado
Engenheiro do Conhecimento, e um ou mais
especialistas em alguma rea.

O engenheiro do conhecimento extrai dos

especialistas seus procedimentos, estratgias e
regras prticas para soluo de problemas e
6
constri este conhecimento em um SE

06/05/2015

Engenharia do Conhecimento

Engenharia do Conhecimento

Fonte: [WATERMAN 86]

A Aquisio de Conhecimento (AC), processo pelo qual

acontece esta extrao do conhecimento, foi identificada
como uma geradora de dificuldades no processo de
construo de SEs, passando a constituir uma importante
rea de pesquisa em IA.
7

Engenheiro de conhecimento
Guia a Aquisio do conhecimento sobre o domnio
escolhido e determina quais conceitos so
importantes
Cria a Base de Conhecimento
representaes dos conceitos (fatos e regras) em
alguma linguagem de Representao do
Conhecimento
 responsvel pela Implementao e pelo
9
Refinamento do SBC

Aquisio/Explicitao de conhecimento
 Espcie de Engenharia de Requisitos mais
complexa
Principais fases da Aquisio:
 identificar caractersticas do problema
 isolar os conceitos principais e suas relaes
(ontologia)
 identificar inferncias sobre estes conceitos
Conhecimento pode originar-se de vrias fontes:
 Entrevistas com especialistas, livros e
11
documentos, filmes, etc.

b)

Etapas de desenvolvimento de Sistemas

Baseados em Conhecimento

a)

Aquisio de Conhecimento

a)

Ontologias

a)

Exemplos de construo de sistemas BC

Engenharia do Conhecimento:
Etapas de Construo dos SBC

Estuda como construir Sistemas Baseados em

Conhecimento (SBC)
 Base de Conhecimento
 Mquina de Inferncia

Aquisio de Conhecimento

Conceitos bsicos

Engenharia do Conhecimento

a)

Nvel de
Conhecimento

AQUISIO

Nvel Lgico

FORMALIZAO

Nvel de
Implementao

IMPLEMENTAO

linguagem natural

linguagem de
representao de
conhecimento
linguagens de
programao
BC

REFINAMENTO
10

Aquisio:
Gargalo na construo de SBCs

Dificuldade de introspeco
O

especialista quase nunca est ciente de como

usa o conhecimento e tem dificuldade de verbalizar
sob presso
 Algumas solues so intuitivas ou compiladas.

Uso de vocabulrio prprio (jargo)

O conhecimento expresso pode ser irrelevante

 quantidades

enormes de informaes suprfluas

so coletadas, para em seguida serem organizadas.

O conhecimento expresso pode ser incompleto,

incorreto ou inconsistente
12

06/05/2015

Aquisio Manual

Como minimizar o gargalo da

aquisio?

Entrevistas
 estruturadas ou no estruturadas

Tracking methods
 Observao e anlise do domnio, leitura de
documentos, etc.

Mtodos de aquisio 3 categorias:

 Manual,

Semi-automtico e Automtico

Sistemas especialistas de segunda gerao

especialista
Engenheiro de
conhecimento

codificao

Base de
conhecimento

documentao
13

14

Aquisio Semi-automtica

Aquisio Automtica
Aprendizagem de Mquina (Machine Learning)

Ajuda ao engenheiro de conhecimento

(editores, documentadores, etc.)

Ajuda ao especialista (grid repertory analysis)

 Algoritmos

de aprendizagem automtica
induzemas regras a partir de exemplos do
domnio.

 Aqui

no h aquisio por parte do

Engenheiro de Conhecimento.

especialista

Ferramentas interativas
de entrevista

Base de
conhecimento
Casos e exemplos

Induo automtica

Regras

Engenheiro de conhecimento

Volta a SE

15

Construindo Bases de
Conhecimento

Toda BC tem dois consumidores:

 usurios
 procedimentos de inferncia
Uma BC deve:
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

16

Organizando o Conhecimento
Adqurido: 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

algum formalismo (ex. LPO)

 ser

O processo de inferncia deve fornecer a mesma

resposta, independente de como a base foi
17
codificada

18

06/05/2015

Organizando o Conhecimento
Adqurido: Ontologias

Ontologias Genricas

Ontologias Genricas (Gerais)

 usadas para representar grandes conjuntos de
objetos e relaes
 representam

senso comum - conhecimento

enciclopdico

 codificadas

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

usando algum formalismo (ex. LPO)

Senso Comum (ontologia genrica)

Domnios Especializados
19

Ontologias Genricas:
Categorias

20

Exemplos de Categorias

Tambm chamadas de classes, relaes, tipos ...

 conjuntos
 organiza

de objetos com propriedades comuns

e simplifica a base de conhecimento.

Exemplos de simplificao:
x comprar(Ma) - instncia x classe
mamfero bebe leite - herana

 comprar(Ma3)
 Todo

Taxonomia:
 Tipo

particular de ontologia:
hierrquicas entre classe e sub-classes em
forma de rvores
 Representa propriedades discriminantes
21
 ex. biologia sistemtica
 relaes

Ontologias Genricas
tambm podem representar:

Medidas
 Valores atribudos s propriedades dos objetos
do mundo real: peso, comprimento, altura, etc...

Um objeto membro de uma categoria:

Ma3 Mas
Uma categoria pode ser subclasse de outra
categoria:
Mas Frutas
Todos os membros de uma categoria tm alguma
propriedade em comum:
x. x Mas Vermelho(x) Arredondado(x)
Membros de uma categoria podem ser
reconhecidos por algumas propriedades:
x. Vermelho(Interior(x)) Verde(Exterior(x))
22
x Meles x Melancias

Medidas

Valores atribudos aos objetos do mundo real:

servem para descrever objetos

Medidas quantitativas so fceis de representar

 ex.

peso, comprimento, altura, dimetro, ...

Tamanho(L1) = Polegadas(1,5) = Centmetros

(3,81)

 ex.

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.

23

Medidas qualitativas so mais complicadas

 ex. beleza de um poema, dificuldade de um
exerccio
 O importante ordenar
e1, e2 e1 Exerccios e2 Exerccios
Elabora(Joo,e1) Elabora(Pedro,e2)
Dificuldade(e1) < Dificuldade(e2)

24

06/05/2015

Engenharia de Conhecimento
Sistemas baseados em
conhecimento (SBC)

Programas de computador que usam

conhecimento representado
explicitamente para resolver problemas.

25

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
26
West criminoso?

Sistemas Especialistas

Sistemas que so capazes de oferecer solues para

problemas especficos num dado domnio ou que
consigam aconselhar de uma maneira ou

num nvel comparvel ao de um especialista naquela

rea.

surgiram no fim da dcada de 70.

Segundo Harmon (1985), so programas possuidores

de conhecimento intensivo, usam regras ou
heursticas para focalizar os aspectos chaves de
problemas particulares e manipular descries
simblicas para raciocinar sobre este conhecimento.

SBC e SE

27

Componentes de um SE

Introduo

Sistemas de produo - Post em 1936

Conjunto de regras para a especificao

sinttica de transformaes sobre cadeias
de caracteres

composto por 3 componentes

28

a) O SE a coleo de programas que solucionam

problemas no domnio de interesse.
b) O domnio especialista envolve o conhecimento de
uma pessoa capaz de produzir boas solues para
problemas em um campo especfico.
c) O especialista utiliza estratgias para tornar a
pesquisa de uma soluo mais eficiente e o SE
modela estas estratgias.

 regras
 memria

de trabalho
 interpretador
29

d) Embora o SE geralmente modele um ou mais

especialistas, ele pode tambm conter conhecimento
especialista de outras fontes, como livros, artigos,30
etc.

06/05/2015

Componentes de um SE

Arquitetura

Fonte: [WATERMAN 86]

31

32

A estrutura de um SE

A estrutura de um SE

O conhecimento em um SE organizado de maneira a

separar o conhecimento sobre o problema do
conhecimento de sistema, tais como conhecimentos
gerais sobre como solucionar problemas ou como
interagir com o usurio.
Esta coleo de conhecimentos sobre o domnio do
problema chamada Base de Conhecimento (BC),
enquanto que o conhecimento geral para soluo do
problema chamado Motor de Inferncia (MI).
Um programa com o conhecimento organizado desta forma
chamado de Sistema Baseado em Conhecimento
(SBC)

A BC em um SE contm geralmente fatos (conhecimento

esttico do sistema) e regras (conhecimento dinmico
do sistema), que usam aqueles fatos como base para
tomada de deciso.
 Com os sistemas hbridos a BC torna-se mais complexa
por utilizar mais de um formalismo de RC,
possibilitando o armazenamento de conhecimento de
formas diferentes, prprias de cada formalismo.

Fonte: [WATERMAN 86]

33

A estrutura de um SE
Conforme Barr (1986), os SEs geralmente adotam uma
das seguintes estratgias de raciocnio:

O Motor de Inferncia contm um interpretador que decide

como aplicar as regras para inferir novo conhecimento,
alm de uma lista de prioridade de aplicao destas
regras. Nele so implementados modos de raciocnio,
tcnicas e estratgias de busca, resoluo de conflitos
e tratamento de incerteza. Sua estrutura est ligada
34
forma de RC utilizada na BC.

Justificativas para desenvolvimento de

SBC

a) raciocnio para frente ("forward chaining"): o sistema

dirigido pelos dados, parte de fatos conhecidos e
tenta deduzir novos fatos, atravs do MI, at chegar
a soluo.
b) raciocnio para trs ("backward chaining"): dirigido pela
meta. O sistema faz o caminho inverso, partindo da
soluo do problema (meta) e tenta verificar se
verdadeira atravs de suas condies, que passam
a ser ento submetas a serem tambm provadas.
Isto ocorre sucessivamente at se chegar a um
35
conjunto de condies verificveis.

Selecionar a tarefa altamente remunerativo

A falta de especialista afeta a eficincia da
tarefa
A tarefa precisa ter um domnio bem
delimitado
Especialistas so necessrios em vrios
locais
Existe necessidade de reteno de
conhecimento
36

06/05/2015

Aquisio de conhecimento

Representao do conhecimento

Parte mais sensvel no desenvolvimento de

SEs
Tratamento de incoerncias
Adequao do formalismo de representao
do conhecimento ao tipo de conhecimento
do mundo real
O conhecimento deve ser adicionado, por
um especialista

Deve ser suficientemente expressiva para

representar o conhecimento de maneira
completa e eficiente (lgica)

conhecimento incerto ou incompleto levaram

ao desenvolvimento de novos formalismos

37

Representao do conhecimento

Lgica
 representaes especficas que podem ser
interpretadas como predicados lgicos

38

Representao do conhecimento

Redes semnticas
 conjunto de heterogneo de sistemas
 arcos e nodos
 herana

 listas

do tipo
(< atributo>,<objeto>,<valor>,<coef. de
certeza>)

39

Representao do conhecimento

40

Redes semnticas

Redes semnticas

 problemas

da herana no caso de excees:

mais especifico, maior prioridade
41

42

06/05/2015

Representao do conhecimento

Representao do conhecimento

Frames

expresso da estrutura interna dos objetos

herana

Programao Orientada a Objetos

conjunto de atributos que descrevem o
objeto

facetas : propriedades dos atributos
 tipo
 restries
43

Frame de um computador.

ASE

IBM PS/2 MODELO 80

Microprocessador
16 Mhz Intel 80386
RAM
Monitor

1 MB
VGA

Interface

Paralela, serial, mouse

Disco Rgido

44 MB

Disco Flexvel

1.44 MB 3.5"

Slot de Expanso

32 bit microcanal (3)

16 bit microcanal (4)

Memria

32 bits
Fonte: [TUTHILL 90]

Arcabouos de Sistemas Especialistas

Dimenses de anlise de Stylianou
 Interface com o usurio
 Interface de desenvolvimento
 Interface com o sistema operacional
 Motor de inferncia
 Mtodos de representao de
conhecimento

45

ASE Interface com o usurio

44

46

ASE Interface com o usurio

Fundamental para o sucesso

Familiarizao do usurio com o domnio
Mais amigvel possvel
 Janelas
 Cores
 Menu

47

Diversas interfaces para os nveis de usurio

Interrupo e retorno sem perda de

informao

Possiblidade de alterao de algumas

entradas do sistema para comparaode
resultados
48

06/05/2015

ASE Interface de
desenvolvimento

Utilizada pela equipe que desenvolve o SE

Customizvel

Boa documentao

Facilidade de explicao

Editor de regras

ASE Interface com o SO

Diversas solues para diversas plataformas

(principalmente microcomputadores)

Desenvolvidos nas mais variadas linguagens

Lisp C / C++ (aumentar eficincia)

49

50

ASE Interface com o SO

ASE Motor de inferncia

Pontos importantes
 Facilidade de comunicao (BD, planilha,
etc.)
 Segurana (algumas informaes no
podem ser acessadas ou modificadas
pelos usurios)
 Facilidade para integrao com sistemas
j existentes

Mtodo de raciocnio

Estratgia de busca

Resoluo de conflito

Representao de incerteza

51

Bibliografia

ASE Mtodos de representao do

conhecimento

Geralmente possui 1 tipo de representao

Pode possuir mais de 1 formalismo, porm,

deve ser usado de forma separada

52

Existem ainda alguns poucos arcabouos

que possuem sistemas hbridos

53

Russel Stuart e Norvig Peter, Inteligncia Artificial,

Edit Campus 2004
REZENDE, Solange Oliveira. Sistemas Inteligentes
Fundamentos e Aplicaes., Editora Manole, 2003
BITTENCOURT G. , Inteligncia Artificial Ferramentas
e Teorias, Editora da UFSC, Florianpolis, SC, 2002,
DANTE BARONE e Colaboradoes. Sociedades
Artificiais A Nova Fronteira da Inteligncia Artificial
nas Mquinas. So Paulo Artmed Editora (Bookman)
2003.
RICH, Elaine: Inteligncia Artificial. So Paulo, Makron
Books, 1993.
Apostilas do professor.
54