ENGENHARIA DE

CONHECIMENTO:
PRINCPIOS E MTODOS
Alunos:
Ronny A. Caytano Tern
Dalvir Maguerroski
Knowledge Engineering: Principles and
Methods

Autores: Rudi Studer, V.Richard Benjamins and Dieter Fensel
Disciplina: DAS 6607 Prof. Guilherme Bittencourt
21-Ago-2006 2
Introduo
Nos incios da pesquisa sobre Inteligncia Artificial
(AI) foi focalizado no desenvolvimento de
formalismos, mecanismos de inferncia e
ferramentas para operar Sistemas Baseados em
conhecimento (Knowledge-Based Systems -
KBSs).
Os esforos do desenvolvimento foram restringidos
realizao de KBSs pequeno a fim de estudar a
praticabilidade das diferentes aproximaes.
Embora estes estudos ofereceram resultados
prometedores, A transferncia desta tecnologia no
uso comercial a fim de construir KBSs grandes
falhou em muitos casos.

21-Ago-2006 3
Engenharia de conhecimento (KE)
O objetivo desta disciplina fazer o
processo de construir KBSs de uma arte
em uma disciplina da engenharia, de
uma maneira sistemtica e controlvel.
Isto requer o anlises do processo de
construo, manuteno e desenvolvimento
de mtodos apropriados, de lnguas, e de
ferramentas especializadas para desenvolver
KBSs.
21-Ago-2006 4
Processo de transferncia
Onde o conhecimento humano era
transferido para uma base de
conhecimento.
Esta transferncia foi baseada na suposio
que o conhecimento que requerido pelo
KBSs j existe e apenas tem que ser coletado
e implementado.
Este conhecimento foi implementado em
algum tipo de regras de produo que foram
executadas por um intrprete de regras
associado.
21-Ago-2006 5
Uma anlise cuidadosa das vrias regras
mostrou que:
Diferentes tipos de conhecimento so
representados de maneira uniforme.
Alguns tipos de conhecimento no so
representados.
Nvel de detalhe muito alto para o modelo
conceptual.
A descrio do problema em si constantemente
misturada com aspectos de implementao.
Processo de transferncia
21-Ago-2006 6
Alm disso, A aquisio de
conhecimentos de fontes de
conhecimento previamente existentes,
como proposto pelo processo de
transferncia, no permite modelar de
forma adequada a importncia de
conhecimento tcito, para as
capacidades de soluo de problemas
de especialistas humanos.
Processo de transferncia
21-Ago-2006 7
Processo de modelagem
O conhecimento modelado de forma
independente de aspectos de implementao,
permitindo implementar e modelar
explicitamente diferentes tipos de
conhecimentos na soluo de um problemas
comparveis com um experto humano.
Isto no intenta criar modelo exato de
conhecimento para simular o processo
cognitivo para um experto em geral, pero sim
criar um modelo que tenha resultados similares
na soluo de um problema, para um problema
na rea de interesse.
21-Ago-2006 8
Caracterizao do processo de
modelagem
Como todo modelo o conjunto de modelos
de conhecimento somente uma
aproximao da realidade.
O processo de modelagem um processo
cclico.
O processo de modelagem dependente de
interpretaes, muitas vezes subjetivas, do
engenheiro de conhecimento.
21-Ago-2006 9
Mtodo de soluo de problemas
( Problem- Solution Method-PSMs)
Clancey: Abstraiu este comportamento comum
a um padro genrico de inferncia chamado
Classificao Heurstica, que descrevem o
comportamento na soluo do problema deste
sistema um nvel abstrato, chamado Nvel de
Conhecimento (Knowledge Level KL).
Descrio de processo de soluo de problemas
deve de ser especificada em termos de:
Objetivos.
Aes.
Conhecimento necessrio.

21-Ago-2006 10
Dados
Abstrao de
dados
Soluo abstrata
ou Hipteses
Solues
Confronta
r

Heurstico
Abstrair
Especificar
Papel de conhecimento.
Ao de inferncia.
Fluxo de dados e conhecimento.
Mtodo de soluo de problemas (PSMs)
Classificao Heurstica
21-Ago-2006 11
Mtodos de desenvolvimento
de KBSs
Mtodo de limitao de papeis
(RLM).
Tarefas genricas (GT).
CommonKADS.
Mike.
Protg II.
21-Ago-2006 12
Mtodo de limitao de papeis
(Role Limiting Methods - RLM)
O RLM pode ser caracterizado como uma
ferramenta (Shell) de desenvolvimento de
KBSs. Onde esta ferramenta contem a
implementao de um PSM especfico.
A estrutura predefinida de base de
conhecimento de enfoque RLM pode ser
usada para orientar o processo de aquisio
de conhecimento, pois o tipos de
conhecimento que dedem ser fornecidos pelo
especialista de domnio so especificados
apriori.
21-Ago-2006 13
Mtodo de limitao de papeis
configurvel (CRLM)
UM PSM complexo pode ser decomposto em
varias subtarefas, estas podem ser resolvidas
por mtodos alternativos.
Como tarefas podem possuir subtarefas em
comum.
CRLM disponibiliza um conjunto pr-definido
de diferentes mtodos para resolver
diferentes subtarefas (pode ser configurado
pela seleo de um mtodo para cada
subtarefa identificada).
21-Ago-2006 14
Tarefas Genricas
(Generic Task - GT)
So blocos de desenvolvimento que podem
ser reutilizados para a construo de KBSs.
Uma GT associada com uma descrio genrica de suas
entradas e sadas.
Uma GT tem um esquema fixo de tipos de conhecimento
especificando a estrutura de conhecimento de domnio
necessria para resolver uma tarefa.
Uma GT inclui uma estratgia de soluo de problema
detalhando passos de inferncia bem como uma seqncia
em que esses passos devem ser executados.
21-Ago-2006 15
Portanto, uma GT contem uma estratgia de
soluo de problemas e uma coleo de
estruturas de conhecimento fixas.
Alem disso, uma ferramenta genrica
denominada arquiteturas especifica de tarefa
pode implementar KBS especfico como instancia
de tipos de conhecimento pr-definidos,
utilizando termos especficos de domnio.
Tarefas Genricas - GT
21-Ago-2006 16





Diagnstico





Classificao
Estatstica





Arvore de
Deciso
Arvore de
Deciso
Abstrair Refinar
Confrontar
Tarefa / Subtarefa.
Mtodo de soluo de problemas (PSM).
Estrutura de tarefa
21-Ago-2006 17
CommonKADS
Prope a construo de um conjunto de
modelos, onde cada modelo captura
deferentes aspectos do KBS, bem como seu
ambiente.
Essa metodologia composta pelos modelos
descritos a seguir:
21-Ago-2006 18
Modelo de organizao.
Modelo de tarefa.
Modelo de agente.
Modelo de comunicao.
Modelo de conhecimento.
Modelo de projeto.
CommonKADS
21-Ago-2006 20
Model-Based and incremental
knowledge Engineering - MIKE
Fornece um mtodo de
desenvolvimento de KBSs com o
objetivo de integrar tcnicas de
especificao semi-formal, formal e
prototipao em um estrutura de KE.
Engenharia de Conhecimento
Incremental e Baseada em Modelo
- MIKE
21-Ago-2006 21
Elicitao
Protocolos de
conhecimento
Interpretao
Formalizao
Operacionalizao
Projeto
Modelo KARL
Modelo
de
estrutura
Implementao
Especialista
KBS
Modelo de projeto
Atividade Avaliao Documentar
21-Ago-2006 22
PROTG - II
O principal objetivo do enfoque
PROTG-II o desenvolvimento de
KBSs pelo reuso de PSMs e ontologias.
PROTG-II est baseado em uma
estrutura de decomposio de tarefa-
mtodos, onde uma tarefa
decomposta em subtarefas pela
aplicao dos mtodos.


21-Ago-2006 23
Ontologia de
Domnio
Mtodo de
soluo de
problemas (PSMs)
Ontologia de
Aplicao
Mtodo
de
entrada
Mtodo de
sada
Ontologia de
Mtodo
Ontologias em PROTG - II
21-Ago-2006 24
Especificaes em
Engenharia de Conhecimento

Conhecimento requerido pelo sistema;
Processo do raciocnio que usa este conhecimento
resolver a tarefa que atribuda ao sistema;
Abstrao da execuo detalha;
Documentao associada;
Necessidade geral para uma linguagem de
especificaes para KBSs (convergncia) =>
importncia atual e futura.

21-Ago-2006 25
Necessidade de aprimoramento
Anos 80

O conhecimento foi codificado diretamente
usando linguagens de execuo baseado em
regras ou sistemas baseados em frames.
A suposio (implcita) era que estes
formalismos da representao seriam adequados
para expressar o conhecimento, o raciocnio, e a
funcionalidade de um KBS de em uma maneira
que fosse compreensvel para seres humanos e
para computadores.
21-Ago-2006 26
Problemas Observados

Os tipos diferentes de conhecimento foram
representados uniformemente;
Tipos de conhecimento no foram apresentados
explicitamente;
O nvel de detalhamento era elevado apresentar
modelos abstratos do KBS;
Aspectos de conhecimento confundidos ou
misturados com aspectos da execuo.
21-Ago-2006 27
Aproximaes
KADS e de CommonKADS Introduo do
conceitual (Expertise Model) para descrever
KBSs em um sumrio e em um nvel do
independente da execuo, o qual distingue os
diferentes tipos de conhecimento camadas e
fornece-os para cada tipo primitivos diferentes
do conhecimento (slide 19);
Algumas aproximaes visam formalizao e
operacionalizao.
21-Ago-2006 28
A essncia das linguagens de
especificaes - KBS
A maior parte das linguagens emprega um modelo
conceitual forte para estruturar as especificaes. Isto
reflete o fato que estas lnguas motivadas pelo
formalismo de notaes para descrever KBS. Estas
Linguagens oferecem mais do que apenas uma
notao matemtica para definir um programa
de computador, mas tambm o relacionamento
do input-output.
Raciocnio dinmico do KBS porque estabelece uma
parte significativa da Expertise requerida por tais
sistemas.
KBS usa um corpo grande do conhecimento.
21-Ago-2006 29
Formalismo de um Modelo
Conceitual
Os objetivos e os processos para consegui-los;
A funcionalidade das aes de inferncia;
A semntica precisa dos elementos, diferentes
do conhecimento do domnio;
Clareza e preciso.
21-Ago-2006 30
Especificao do Raciocnio
Interao como usurio;
Projeto de execuo funcionabilidade;
Aquisio do conhecimento sobre que soluo
para um problema dado => saber como derivar
tal soluo em uma maneira eficiente;
Alm, o nvel do smbolo tem que fornecer uma
descrio de solues e de estruturas de dados
algortmicas eficientes para executar um
programa de computador de forma eficiente.

21-Ago-2006 31
PSM Problem Solving Methods
Mtodos de Solues Problemas
Descrevem o processo de raciocnio de um KBS
de forma independente da implementao e
domnio;
Componentes de raciocnio com
comportamento que permitem reutilizaes em
aplicaes;
Expressa de modo abstrato e independente de
implementao, a forma de que uma inferncia
deve acontecer como um padro de raciocnio
reusvel entre domnios.
21-Ago-2006 32
Seleo do PSM
Se suas exigncias no conhecimento do domnio no
forem cumpridas;
Se no puder entregar o que a tarefa requer, isto , se
sua competncia ou funcionalidade no forem
suficientes para a tarefa.
Ns podemos supor que esto cumpridas ou para
adquirir o conhecimento extra do domnio, e aplicamos
ao PSM;
Se a competncia do PSM no for suficiente para que a
tarefa seja realizada, ns podemos enfraquecer a tarefa
de tal maneira que o PSM entregue a exigncia da
tarefa.
21-Ago-2006 33
Ex. Biblioteca do CommonKADS
A dimenso do tamanho. A biblioteca geral a
mais detalhada o CommonKADS biblioteca
que contm PSM para o diagnstico, predio
do comportamento, a avaliao, projeto,
planejamento, atribuio e programar e
projetar modelar. O a maioria a biblioteca
extensiva para o diagnstico contem 38 PSM
para realizar 14 tarefas relacionadas a
diagnstico
21-Ago-2006 34
Declarao X Especificaes
Operacionais dos PSMs
Estilo operacional => decomposio de uma
tarefa em sub tarefas, fluxos de dados e papis
do conhecimento e um controle de execuo
(Entretanto, do ponto de vista reusar estes no
so os aspectos os mais importantes).
Os aspectos principais decidem-se a
aplicabilidade de um PSM. Se o mtodo capaz
de conseguir o objetivo da tarefa e se o
conhecimento do domnio requerido pelo o
mtodo est disponvel.
21-Ago-2006 35
Ontologias - KSB
Conhecimento: processamento e representao
e Linguagem.
Informao inteligente, integrao,
recuperao de informao e gerncia do
conhecimento.
Compreenso compartilhada e comum de
algum domnio que possa ser comunicada
atravs dos povos e dos computadores.

21-Ago-2006 36
Ontologia (definies)
Ontologia: Especificao de uma conceitualizao;
Uma ontologia uma especificao explcita e formal de uma
conceitualizao compartilhada [Studer et al 98];
Especificao explcita: definies declarativas de conceitos,
instncias, relaes, restries e axiomas;
Formal: declarativamente definida, sendo compreensvel e
manipulvel para agentes e sistemas;
Conceitualizao: modelo abstrato de uma rea de conhecimento
ou de um universo limitado de discurso;
Compartilhada: conhecimento consensual, seja uma terminologia
comum da rea modelada, ou acordada entre os desenvolvedores
dos agentes que se comunicam.
(aula GB Julho/2006)

21-Ago-2006 37
Ontologia nos KSBs
Construo do modelo do domnio e do
problema a resolver;
Termos, significados, relaes e limitaes;
Tipos: Genrica, do domnio, aplicaes,
representaes e do Mtodo(PSM).
Compromisso Ontolgico => Termos definidos
estaro sendo aplicados nos KSBs.
Ferramentas e Ontolnguas.

21-Ago-2006 38
Consideraes
Separao clara dos tipos diferentes de
conhecimento;
Modelo de percia;
Tarefa e mtodo de soluo do problema;
Reuso e compartilhamento;
Integrao de fontes de informaes
parcialmente incompatveis;

21-Ago-2006 39
Consideraes
Gerncia do Conhecimento
A gerncia do conhecimento requer
aproximao interdisciplinar incluindo a
sustentao tecnolgica, mas tambm a
gerncia de recurso humano. Um aspecto
tcnico central da gerncia do conhecimento
a construo e a manuteno de uma Memria
Organizacional como meio para a conservao,,
a distribuio e reuso do conhecimento.
21-Ago-2006 40
Outras Referncias:
Disciplina IA



Obrigado
rcaytano@gmail.com
dalvir@eletrosul.gov.br