INGENIERA DEL

CONOCIMIENTO:
SISTEMAS EXPERTOS

z Sistema

experto: Sistema informtico

diseado para resolver problemas de un rea
especfica, y al que de algn modo se le ha
dotado de una competencia similar a la de
un experto humano de esa rea.

z Ejemplos:
MYCIN (diagnstico y tratamiento de

enfermedades infecciosas de la sangre)

PROSPECTOR (determina la probabilidad de
la existencia de yacimientos minerales a partir
de las pruebas realizadas sobre el terreno).

Objetivo de los sistemas expertos

El objetivo es el mismo de todas las aplicaciones
informticas: Relevar al hombre de tareas
mecnicas y proporcionarle instrumentos
amplificadores de sus capacidades mentales.

Construccin de sistemas expertos

Por una parte se construye una base de
conocimientos o base de hechos.
Por otra se desarrollan procedimientos para
manipular esa base para obtener una respuesta con
datos concretos (motor de inferencia).

z Los

problemas que surgen en relacin con

los dos apartados anteriores ha dado lugar a
un rea de trabajo denominado
INGENIERA DEL CONOCIMIENTO.

Y EN DNDE INTERVIENE LA
LGICA?
Para representar el conocimiento, se utilizan
las expresiones lgicas.
(Usaremos para simplificar las sentencias de
la lgica proposicional)

Sistema de produccin
z Un

sistema de produccin es un modelo de

computacin que distingue 3 componentes:
Base de hechos
Base de conocimientos
Motor de inferencias

Las reglas de produccin se aplican sobre la base

de hechos y el sistema de control gobierna estos
procedimientos y aplicaciones y hace que la
computacin se detenga cuando el estado de la
base de datos satisface alguna condicin de
terminacin predefinida.

z La

base de hechos contiene los hechos

iniciales y los que se vayan obteniendo
como consecuencias en el proceso
inferencial.
z Las reglas de produccin son pares
ordenados (A,B). Segn el tipo de sistema
se denominan antecedente y consecuente,
condicin y accin o premisa y conclusin.
Su formalizacin lgica es la de sentencias
condicionales A
B.

Ejemplo.- En la base de conocimientos del sistema

XCON hay unas 2500 reglas. Una de ellas es:
Si el contexto actual es el de asignar una fuente de alimentacin,
y se ha colocado un mdulo SBI en un armario,
y se conoce la posicin que ocupa el mdulo,
y se dispone de una fuente de alimentacin,
entonces colocar la fuente en dicha posicin.

Independientemente del significado de las

expresiones, la regla se puede formalizar mediante
la sentencia:
(p1 p2 p3 p4) q.

Otro ejemplo
z Consideremos
R1:

las siguientes reglas:

Si el paciente tiene fiebre,

y tose,
y tiene dolores musculares,
entonces padece gripe.

R2:

Si el paciente padece gripe o resfriado,

y no tiene lcera,
entonces recomendar aspirina y coac.

Vamos a formalizar las reglas anteriores:

R1 : [f t m] g
R2 : [(g r) (u)] (a c)
Utilizando las equivalencias lgicas, vistas, la regla R2 es lgicamente equivalente
a:
[(g (u)) a] [(g (u)) c] [(r (u)) a] [(r (u)) c]
y en consecuencia, se podra descomponer en las siguientes reglas:
R2a:
R2b:
R2c:
R2d:

(g (u)) a
(g (u)) c
(r (u)) a
(r (u)) c

As, si hicisemos una consulta al sistema sobre un paciente que

satisface los hechos f,t,m y u, el sistema tratara de aplicar las reglas
para ver qu terapia habra que aplicar. Por tanto, sabiendo que
tenemos los hechos f,t,m y u, podemos hacer las siguientes
inferencias, usando la regla de inferencia modus ponens:
f t m
R1: [f t m] g

g
En este momento hemos ampliado la base de hechos con el nuevo hecho
g.
g (u)
R2a: (g (u)) a
a
En este momento hemos ampliado la base de hechos con el nuevo hecho
a.
g (u)
R2b: (g (u)) c
c

Por tanto, la terapia es aspirina y coac.

El problema que surge es que en general, no tendremos dos, sino muchas

reglas (suelen ser del orden de cientos o de miles), y en general hay
que establecer en qu orden y de qu manera aplicamos las reglas
(es decir, cules se aplican primero).
Para realizar lo anterior, hay dos estrategias bsicas:
1)
Aplicar cuantas reglas de produccin e inferencia se puedan para ir
sucesivamente ampliando la base de hechos (que es lo que hemos
realizado en el ejemplo). A esto se conoce como encadenamiento
hacia adelante.
2)
Fijarse un hecho como objetivo y tratar de deducirlo, viendo de qu
reglas de produccin es consecuente. Este es el principio de
encadenamiento hacia atrs.
Un procedimiento grfico muy adecuado es el de los rboles de decisin.