CONSTRUCCION DE

SISTEMAS EXPERTOS
TECNICAS DE EDUCCION DEL
CONOCIMIENTO

Dr. Ramn GARCIA MARTINEZ

GRAFOS ARQUETPICOS
En muchos dominios de conocimiento, puede reconocerse una
estructura de representacin de la causalidad que es isomorfa
con la estructura del dominio.
En los problemas de diagnstico o de clasificacin, esta
estructura recibe el nombre de grafo arquetpico.
El grafo arquetpico de un dominio ser el grafo compuesto por
los subgrafos asociados a cada problema de ese dominio.
Una vez producida la licitacin de conocimiento, los
componentes de esa estructura son rotulados y la estructura se
transforma en un grafo casual.
El grafo causal es una representacin automticamente
manipulable del conocimiento asociado a los procesos
deductivos del experto de campo.

GRAFOS ARQUETPICOS (cont.)

El grafo arquetpico tiene tres clases de nodos:
Nodos problemas
Nodos solucin
Nodos precondicin

TECNICAS DE EDUCCION DEL CONOCIMIENTO

Tareas Familiares
Entrevistas
Tareas de Informacin Limitada
Simulacin del Escenario Hacia Adelante
Descomposicin de objetivos

TAREAS FAMILIARES
La idea de este mtodo es observar al experto
cuando lleva adelante tareas que usualmente
ejecuta.
Se debe documentar la informacin obtenida en
estas observaciones para utilizarla en la
profundizacin de reas especficas del conocimiento
del experto en posteriores sesiones.

En esta observacin el Ingeniero de Conocimiento

debe establecer:
[a] Las similitudes y diferencias establecidas por
el experto de entre el problema en curso de
solucin y otros resueltos previamente.
[b] Las diferencias de trminos y categoras
establecidas por el experto.
[c] La habilidad puesta en juego por el experto
para inferir nueva informacin y plantear
nuevas hiptesis.

ENTREVISTAS
> La idea central de este mtodo consiste en que el
ingeniero de conocimiento identifique los mdulos de
conocimiento a partir del discurso del experto.
> Debe priorizarse el acceso al experto y minimizarse las
interrupciones.
> Existen dos tipos de entrevistas:
no estructurada
estructurada.

ENTREVISTA NO ESTRUCTURADA
> La entrevista no estructurada consiste en hacer
preguntas espontneas al experto.
> Una tcnica muy utilizada es hacer que el
ingeniero de conocimiento se ponga en el lugar
del novato y hacer preguntas sobre
procedimientos, ideas sobreentendidas por el
experto, tratando en todo momento que el experto
piense en voz alta.

ENTREVISTA ESTRUCTURADA

> La entrevista estructurada consiste en combinar la

tcnica de tareas familiares con entrevistas no
estructuradas.

> Formular un protocolo de preguntas sobre areas mal

definidas o vacantes en los procesos de educcin de
conocimiento previamente realizados

TAREAS DE PROCESAMIENTO RESTRINGIDO

La idea de este mtodo consiste en recurrir a
distintas tcnicas para deliberadamente forzar al
experto a que comprima o altere las estrategias de
razonamiento.

TECNICAS PARA
TAREAS DE PROCESAMIENTO RESTRINGIDO
> Limitar la cantidad de tiempo que el experto tiene para
absorver informacin.
> Limitar la cantidad de tiempo que el experto tiene para
emitir juicios.
> Elaborar cuestionarios sobre puntos especficos del
problema a resolver.
> Aplicar el mtodo de tareas familiares simuladas que
consiste en cuestionar al experto a partir de
informacin de archivo.

> Aplicar al mtodo de escenarios que consiste en

forzar al experto a que establezca analogas
entre casos similares.
> Aplicar el mtodo de restricciones combinadas
que puede ser descripto por el siguiente
algoritmo:
COMIENZO
Tomar un caso de estudio.
Tomar la informacin pertinente al
diagnstico de la solucin.
Recortar la Informacin.
Suministrar la informacin resultante al
experto de campo.
Observar las deferencias entre el diagnstico
dado por el experto de campo y el
diagnstico dado en el caso de estudio.
FIN

TAREAS DE INFORMACIN LIMITADA

La idea de este mtodo consiste en explorar
alternativas que en una primera recopilacin de
informacin no han sido suministradas por el experto;
tomando cada tarea y profundizando sobre aspectos
que al experto puedan parecerle mas relevantes.
Puede comenzarse con el mtodo de tareas
familiares para recopilar informacin y profundizar
utilizando las tcnicas de procesamiento restringido.

SIMULACIN DEL ESCENARIO HACIA ADELANTE

> En esta tcnica el experto elige un escenario muy
elemental y verbalmente camina por entre los
razonamientos necesarios para llegar al objetivo.
> Esta tcnica toma lugar en condiciones de
laboratorio, no en el ambiente de trabajo del
experto.

Esta tcnica tiene por lo menos dos dificultades:

1.- La exploracin a travs del cuerpo de conocimiento
durante el proceso de refinamiento del mismo
involucra el manejo de trminos y definiciones
cuyos detalles pueden no haber sido claramente
establecidos en la definicin del dominio
resultando en demoras y confusiones.
2.- Se pueden confundir los mtodos de
razonamiento y los mtodos del trabajo del
experto.

DESCOMPOSICIN DE OBJETIVOS
> La descomposicin de objetivos es el acercamiento al
problema por la tcnica de reduccin tradicional y es
til para enumerar estados objetivo y describir
categoras generales de objetivos.
> La tcnica puede empezar con Suponga que hay
una X pero colapsa en Qu est impidiendo a X
lograr su misin?.

VENTAJAS Y DESVENTAJAS DE CADA TECNICA

TECNICAS Y ETAPAS DE DISEO

CONSTRUCCION DE
SISTEMAS EXPERTOS
VERIFICACION
DE BASES DE CONOCIMIENTO

Dr. Ramn GARCIA MARTINEZ

PROBLEMAS EN BASES DE CONOCIMIENTO

Segn las reglas:

TIPOS DE INCONSISTENCIAS
Segn los componentes de las reglas:
PROBLEMAS DE INTEGRIDAD

TIPOS DE INCONSITENCIAS
- Reglas redundantes
- Reglas conflictivas
- Reglas incluidas en otras
- Condiciones SI innecesarias
- Reglas cclicas

PROBLEMAS DE INTEGRIDAD
- Valores de atributo sin referencia
- Condiciones SI de punto muerto
- Objetivos de punto muerto
- Conclusiones inalcanzables

REGLAS REDUNDANTES
Dos reglas son redundantes si las precondiciones son equivalentes y una o ms
conclusiones son equivalentes. Este problema
no causa problemas lgicos pero afecta a la
eficiencia.
Ejemplo:
P(x) => Q(x)
P(y) => Q(y)
X e Y son variables y P y Q son predicados
verificados por X e Y.
P(x) => Q(x)
P(x) => Q(y) T(y)

REGLAS CONFLICTIVAS
Dos reglas son conflictivas si tienen equivalentes
pre-condiciones y conclusiones contradictoras.
Ejemplo:
P(x) => Q(x)
P(x) => Q(x)

P(x) => Q(x)

P(y) => Q(y)

T(y)

REGLAS INCLUIDAS EN OTRAS

Una regla esta incluida dentro de otra, si ambas
tienen las mismas conclusiones y las precondiciones de una se satisfacen si las precondiciones de la otra se satisfacen.
Ejemplo:
P(x) => Q(x)
P(x)

T(y) => Q(x)

CONDICIONES SI INNECESARIAS
Dos reglas presentan este problema cuando las
conclusiones de ambas son equivalentes y una de
las pre-condiciones en la primer regla es la
negacin de una de las pre-condiciones en la
segunda regla, siendo el resto de las precondiciones equivalentes.
Ejemplo:

P(x)

P(x)

T(y)

=> Q(x)

T(y) => Q(x)

Es evidente que Q(x) se deduce independientemente

de la verdad o faseldad de T(x) por lo que la regla
resultante ser:
P(x) => Q(x)

REGLAS CCLICAS
Este problema se presenta cuando el
encadenamiento lgico de un conjunto de reglas
genera un ciclo.
Ejemplo:
P(x) => Q(x)
Q(x) => R(x)
R(x) => P(x)

VALORES DE ATRIBUTO SIN REFERENCIA

Ocurre cuando se han definido valores en el
dominio de un atributo o pre-condicin que no
son utilizados por ninguna regla. No involucra
problemas lgicos pero es un problema para el
mantenimiento de la Base de Conocimiento.
Ejemplo: Una pre-condicin numrica que fue
definida como real y solo toma valores enteros.

CONDICIONES SI DE PUNTO MUERTO

Ocurre cuando en determinadas reglas
encontramos condiciones que son inalcanzables
por disparo de otras reglas.
Ejemplo: Podemos tomar la siguiente Base de
Conocimiento:
P(x) => T(x)
T(y) => Q(x)
R(x) => Q(x)
La precondicin de la tercera regla R(X) no es
disparada como conclusin por ninguna de las otras
dos reglas.

OBJETIVOS DE PUNTO MUERTO

Ocurre cuando se plantea un objetivo que es
inalcanzable por disparo de las reglas pertenecientes
a la Base de Conocimiento.
Ejemplo: Podemos tomar la siguiente Base de
Conocimiento:
P(x) => T(x)
T(x) => Q(x)
Para este ejemplo el objetivo R(x) sera de punto
muerto pues no es disparado como conclusin por
ninguna de las reglas.

CONCLUSIONES INALCANZABLES
Este tipo de conclusiones pertenecen a reglas con
pre-condiciones que son de punto muerto.
Ejemplo: Podemos tomar la siguiente Base de
Conocimiento:
P(x) => T(x)
T(x) => S(x)
R(x) => Q(x)
La pre-condicin de la tercera regla R(X) no es
disparada como conclusin por ninguna de las otras dos
reglas, por lo que Q(x) se convierte en una conclusin
inalcanzable.

CRITERIOS DE EVALUACION
DE UNA BASE DE CONOCIMIENTO
Exactitud:

Cuan bien el Sistema Experto refleja el

comportamiento del experto humano.

Adaptabilidad: Posibilidad de extender la experticia

del Sistemas Experto en un desarrollo
futuro.
Envergadura: Cantidad de tareas que el sistema
experto es capaz de llevar adelante.
Normalmente esta relacionado con la
cantidad de reglas o con grupos de
estas asociadas a tareas o problemas.

Profundidad: Cantidad necesaria de restricciones a

satisfacer para lograr la identificacin de
un problema o tarea.
Generalidad: Capacidad de un Sistemas Experto de
ser utilizado en un amplio rango de
problemas.
Validez:

Capacidad de un Sistemas Experto de

producir predicciones empricamente
correctas.

Robustez:

Capacidad del Sistemas Experto de

determinar la relevancia de determinada
informacin en orden a obtener sus
objetivos.

Disponibilidad: La posibilidad de poder construir un

modelo ms simple que con pocas
restricciones exhiba un comportamiento
similar al del Sistemas Experto.

CONSTRUCCION DE
SISTEMAS EXPERTOS
METODOLOGIAS

Dr. Ramn GARCIA MARTINEZ

METODOLOGIA DE GROVER
Se concentra:
> En el la definicin del dominio (conocimiento,
referencias, situaciones y procedimientos)
> En la formulacin del conocimiento
fundamental (reglas elementales, creencias y
expectativas)
> En la consolidacin del conocimiento de base
(revisin y ciclos de correccin).

La metodologa de adquisicin de conocimiento para

el dominio del problema de Grover tiene tres fases:
> DEFINICIN DEL DOMINIO
> FORMULACIN FUNDAMENTAL DEL
CONOCIMIENTO
> CONSOLIDACIN DEL CONOCIMIENTO
BASAL.

DEFINICION
DEL PROBLEMA

DEFINICION
DEL DOMINIO

FORMULACION DEL
CONOCIMIENTO
FUNDAMENTAL

ESCENARIOS
INICIALES

CUERPO DE
CONOCIMIENTO
FUNDAMENTAL

REVISION DEL
EXPERTO

NUEVOS
ESCENARIOS

DESCRIPCION DEL PROBLEMA

REFERENCIAS BIBLIOGRAFICAS
GLOSARIO DE TERMINOS
IDENTIFICACION DE EXPERTOS
CRITERIOS DE PERFORMANCE
ESCENARIOS EJEMPLO

VERIFICACION DE SINTAXIS
VERIFICACION DEL
COMPORTAMIENTO (FORZADO)

CONSOLIDACION
DEL CONOCIMIENTO
BASAL

CONOCIMIENTO
BASAL

ACTIVIDAD BASAL
DEL
SISTEMA EXPERTO

VERIFICACION GENERAL
DEL COMPORTAMIENTO

PRIMERA FASE: DEFINICIN DEL DOMINIO

Generacin del Manual de Definicin del Dominio:
Descripcin general del problema.
Bibliografa de los documentos referenciados.
Glosario de trminos, acronismos y smbolos.
Identificacin de expertos autorizados.
Definicin de mtricas de performance apropiadas y
realistas.
Descripcin de escenarios de ejemplos razonables.

SEGUNDA FASE: FORMULACIN FUNDAMENTAL

DEL CONOCIMIENTO
Se revisan los escenarios seleccionados por el experto
que satisfacen los siguientes cinco criterios de
conocimiento fundamental:
> el ms nominal
> el ms esperado
> el ms importante
> el mas arquetpico
> el mejor entendido.

Esta revisin forma una base para:

> Determinar la performance mnima
> Realizar el testeo y efectuar correccin
> Determinar las capacidades del sistema experto
que pueden ser expandidas y sujetas a
experimentacin.

Esta base del conocimiento fundamental debe incluir:

Una ontologa de entidades del dominio,
relaciones entre objetos (clases) y
descripciones objetivas;
Un lxico seleccionado (vernculo)
Una definicin de fuentes de entrada y formatos
Una descripcin del estado inicial incluyendo el
conocimiento esttico
Un conjunto bsico de razones y reglas de anlisis
Una lista de estrategias humanas (meta-reglas)
las cuales pueden ser consideradas por los
diseadores del sistema experto como reglas a
incluir en la base de conocimiento.

> Este cuerpo de conocimiento debe estar escrito

> Parte de el habr sido adquirido previamente
durante la definicin del dominio.
> La validez de este cuerpo de conocimiento puede
ser testeada implementndola en una base de
conocimiento que se contraste con los escenarios
desde los cuales fue adquirida y verificando que se
produzca un comportamiento similar al del experto
en el mismo escenario.

TERCERA FASE: CONSOLIDACION DEL

CONOCIMIENTO BASAL
> Corresponde al ciclo de revisin y mejoramiento
del conocimiento educido.
> La actividad basal puede ser definida en el mismo
sentido que la medicina: el menor nivel de actividad
(comportamiento del sistema) esencial para el
mantenimiento de funciones vitales.
> En un sistema experto, esto refiere a que todos los
componentes del sistema experto operacional estan
desarrollados, pero sin la amplitud ni profundidad
que la versin final necesitar.

> Se debe encontrar el conjunto de estndares mnimos

de performance en la definicin del dominio.
> El conocimiento basal, es el conjunto de reglas y
definiciones adecuadas para producir actividad basal.
> En esta etapa el cuerpo fundamental del conocimiento es
revisado e integrado a travs de la apropiada
reconstruccin de reglas.
> La corroboracin con expertos adicionales puede
colaborar en el cumplimiento de este objetivo. En esta
etapa pueden trabajarse los niveles de confianza de las
distintas piezas de conocimiento.

ESQUEMA DE CONSOLIDACION

CUERPO DE
CONOCIMIENTO
FUNDAMENTAL

EVALUACION Y
MEJORA CON EL
EXPERTO

CONSIDERACION DE LOS ASPECTOS DE CONTROL

SECUENCIAMIENTO DE REGLAS
ADECUACION DE REGLAS
CONSISTENCIA DE REGLAS
INCORPORACION DE VALORES DE CONFIANZA
(GRADOS DE VERDAD)

CONOCIMIENTO
BASAL

ACTIVIDAD BASAL
DEL
SISTEMA EXPERTO

METODOLOGIA IDEAL
Este mtodo fue desarrollado en la Facultad de
Informtica de la Universidad Politcnica de Madrid y
consta de las siguientes fases:
Fase I.

Identificacin de la tarea

Fase II.

Desarrollo de los prototipos

Fase III. Ejecucin de la construccin del

sistema integrado
Fase IV. Actuacin para conseguir el
mantenimiento perfectivo
Fase V.

Lograr una adecuada transferencia

tecnolgica

FASE I: IDENTIFICACIN DE LA TAREA

> Considera la definicin de los objetivos del proyecto de
sistema experto
> Determinar si la tarea asociada es susceptible de ser
tratada con la tecnologa de Ingeniera del
Conocimiento.
> En caso afirmativo:
+ Se definen las caractersticas del problema
+ Se especifican los requisitos que enmarcan la
solucin del problema.

La FASE I se estructura en tres ETAPAS:

ETAPA I.1:

PLAN DE REQUISITOS Y ADQUISICIN

DE CONOCIMIENTOS

ETAPA I.2:

EVALUACIN Y SELECCIN DE LA
TAREA

ETAPA I.3:

DEFINICIONES DE LAS
CARACTERSTICAS DE LA TAREA

FASE II. DESARROLLO DE LOS PROTOTIPOS

> Involucra el desarrollo de los distintos prototipos que
permiten ir definiendo y refinando ms rigurosamente
las especificaciones del sistema, de una forma
gradual hasta conseguir las especificaciones exactas
de lo que se puede hacer y cmo realizarlo.
> La construccin relativamente rpida de un prototipo
de demostracin permitir al ingeniero de
conocimiento, al experto y directivos comprobar la
viabilidad de la aplicacin y comprender mejor los
requisitos de los usuarios y las especificaciones del
sistema.

La FASE II se estructura en seis ETAPAS:

ETAPA II.1. CONCEPCIN DE LA SOLUCIN.
ETAPA II.2. ADQUISICIN DE CONOCIMIENTOS Y
CONCEPTUALIZACIN DE LOS
CONOCIMIENTOS
ETAPA II.3. FORMALIZACIN DE LOS
CONOCIMIENTOS
ETAPA II.4. IMPLEMENTACIN
ETAPA II.5. VALIDACIN Y EVALUACIN
ETAPA II.6. DEFINICIN DE NUEVOS REQUISITOS,
ESPECIFICACIONES Y DISEO

FASE III. EJECUCIN DE LA CONSTRUCCIN DEL

SISTEMA INTEGRADO
La FASE III se estructura en tres ETAPAS:
ETAPA III.1. REQUISITOS Y DISEO DE LA
INTEGRACIN CON OTROS SISTEMAS
ETAPA III. 2. IMPLEMENTACIN Y EVALUACIN DE
LA INTEGRACIN
ETAPA III.3. ACEPTACIN POR EL USUARIO DEL
SISTEMA FINAL.

FASE IV. ACTUACIN PARA CONSEGUIR EL

MANTENIMIENTO PERFECTIVO
> Dadas las caractersticas especficas de los sistemas
basados en conocimiento, el mantenimiento
perfectivo es esencial, puesto que. adems del
aumento de funcionalidades (como en los sistemas
tradicionales), efecta la incorporacin de nuevos
conocimientos que, sin duda, se van a generar por el
propio uso del sistema basado en conocimiento.
> Este mantenimiento viene reflejado en el ciclo de vida
en la tercera dimensin de la espiral tronco-cnica.

La FASE IV se estructura en tres ETAPAS:

ETAPA IV.1. DEFINIR EL MANTENIMIENTO DEL
SISTEMA GLOBAL
ETAPA IV.2. DEFINIR EL MANTENIMIENTO DE LAS
BASES DE CONOCIMIENTOS
ETAPA IV.3. ADQUISICIN DE NUEVOS
CONOCIMIENTOS

FASE V. LOGRAR UNA ADECUADA

TRANSFERENCIA TECNOLGICA
La FASE V se estructura en dos ETAPAS:
ETAPA V.1. ORGANIZAR LA TRANSFERENCIA
TECNOLGICA
ETAPA V.2. COMPLETAR LA DOCUMENTACIN
DEL SISTEMA