Documentos de Académico
Documentos de Profesional
Documentos de Cultura
sistemas expertos
Presentado por:
Felipe Panaque Flrez
DEFINICION DE UN SE
Quesun sistemasexperto
Los sistemas expertossonprogramasque reproducen
el proceso intelectual de unexpertohumanoen
uncampoparticular,Estos sistemaspermiten la
creacin de mquinas querazonancomo elhombre,
restrinjindose a un espaciodeconocimientoslimitado.
Lossistemasexpertostienenla ventaja
frenteaotrotiposde
programasdeInteligenciaArtificial,deproporcionargra
n
flexibilidadalahoradeincorporarnuevosconocimient
os.
DescripcinDelEsquema
Pararealizarunsistemaexperto
integrandospersonaselExperto
delDominio(profesionalX) y
unIngenierodeConocimiento (programado)
SISTEMAS EXPERTOS
BASADOS EN REGLAS
Caractersticas de los Sistemas Expertos Basados en Reglas:
. Representacin del
conocimiento
Las reglas si-entonces, tambin llamadas
reglas de produccin, constituyen el formalismo
ms popular para representar conocimiento. En
los sistemas expertos tienen las siguientes
caractersticas deseables: Modularidad: cada
regla define una parte de conocimiento
pequea y relativamente independiente.
Incremental: se pueden aadir nuevas reglas a
la base de conocimiento, que son relativamente
independientes de las otras reglas.
Modificable: se pueden cambiar reglas por
otras nuevas. Transparente: es capaz de
explicar las decisiones tomadas y las soluciones
planteadas.
Prolog es un lenguaje
declarativo
Las clasulas muestran lo que es cierto
sobre un problema, en vez de
instrucciones de cmo lograr la solucin.
El sistema interno de Prolog usa las
clasulas para buscar como lograr la
solucin buscando en el espacio de
soluciones.
No todos los problemas pueden ser
resueltos de esta forma, por lo que
incorpora sentencias extralgicas.
En un lenguaje funcional
En un lenguaje declarativo
cat([], Z, Z).
cat([H|T], L, [H|Z]) :- cat(T, L, Z).
Constante
Trmino compuesto
Nombra un individuo
Atomo
alpha17
pago
juan_perez
gripe
+
=/=
12Q&A
Nmero
0
1
57
1.618
2.04e-27
-13.6
gusta(juan, maria)
libro(cervantes, quijote)
f(x)
[1, 3, g(a), 7, 9]
-(+(15, 17), t)
15 + 17 - t
Variable
Reemplaza un individuo
que no puede ser nombrado
cuando el programa se
escribe
X
Quincena
Enfermedad
_257
_
Trminos compuestos
padres(manchas, pongo, perdita)
componentes (trminos)
perdita
Por ejemplo
Ejemplo
Predicado
Procedimiento para elefante
Hechos
Clasulas
Regla
elefante(dumbo).
elefante(jumbo).
elefante(X) :- gris(X), mamifero(X),
tieneTrompa(X).
Ejemplo
Pregunta
?- elefante(jumbo).
yes
?- elefante(pongo).
Respuesta
no
Interpretacin de las
clasulas
Las clasulas pueden leerse de forma declarativa o
procedimental
Interpretacin
declarativa
Interpretacin
procedimental
Unificacin
Dos trminos se unifican si pueden
sustituirse variables de tal forma que los
trminos se hacen idnticos.
El algoritmo de unificacin procede por
descenso recursivo de los dos trminos.
Constantes unifican si son idnticas
Variables unifican con cualquier trmino,
incluyendo otras variables
Trminos compuestos unifican si el
functor y componentes unifican.
Ejemplos
Los trminos f(X, a(b,c)) y f(d, a(Z, c)) unifican.
f
f
d
a
X
b
Ejemplos
Los trminos f(X, a(b,c)) y f(Z, a(Z, c)) se unifican.
f
f
Z
a
X
b
Z
c
Ejemplos
Los trminos f(c, a(b,c)) y f(Z, a(Z, c)) no se
unifican
f
Z
a
c
b
Z
c
Listas
Las listas en Prolog son similares a
las de otros lenguajes ya que se
compone de trminos de cualquier
tamao agrupados.
La lista de largo 0 se llama nil, y se
escribe [].
La lista de largo n es [cabeza,cola],
donde cola es una lista de largo n-1.
Reevaluacin (backtracking) y no
determinismo
miembro(X, [X|_]).
miembro(X, [_|T]) :- miembro(X, T).
Determinstico
?- miembro(fred, [john, paul, fred, ringo]).
yes
No determinstico
Controlando la reevaluacin
color(cereza, rojo).
color(banana, amarillo).
color(manzana, rojo).
color(manzana, verde).
color(naranja, naranja).
color(X, desconocido).
?- color(banana, X).
X = amarillo
?- color(sandia, X).
X = desconocido
?- color(cereza, X).
X = rojo;
X = desconocido;
no
silla
mesa
rojo
10
negro 50
Casos de aplicacin
Sistemas expertos
Un sistema informtico que simula el
proceso de aprendizaje, de
memorizacin, de razonamiento, de
comunicacin y de accin de un experto
humano en una determinada rama de la
ciencia, suministrando, de esta forma,
un consultor que puede sustituirle con
unas ciertas garantas de xito
Casos de aplicacin
Sistemas expertos
Estas caractersticas le permiten
almacenar datos y conocimiento, sacar
conclusiones lgicas, tomar decisiones,
aprender de la experiencia y los datos
existentes, comunicarse con expertos
humanos u otros Sistemas Expertos,
explicar el porqu de las decisiones
tomadas y realizar acciones como
consecuencia de todo lo anterior
Casos de aplicacin
Procesamiento de lenguaje natural (NLP)
Prolog es un lenguaje muy expresivo para
plantear algoritmos de lingstica
computacional. Para el Procesamiento de
Lenguaje Natural (NLP), se requiere la
manipulacin de smbolos (palabras, fonemas
y otras partes del lenguaje), basados en
objetos estructurados (secuencias, rboles,
grafos). Prolog facilita la expresin de
operaciones sobre los smbolos y estructuras
sin preocuparse de la representacin y
manipulacin interna del computador.
Casos de aplicacin
Asignacin de recursos limitados
El laboratorio de investigacin de la IBM Haifa
ha desarrollado un sistema en Prolog para
asignar aviones en las lneas areas israeles ElAl. Este proyecto se llev a cabo para ahorrar
costos operativos y para reducir el uso de los
espacios de las compuertas del aeropuerto, que
tienen un costo elevado por ocupacin.
El sistema est conectado en lnea con el
sistema de programacin del El-Al y se
actualiza en tiempo real en cuanto a cambios
de horarios de vuelo.
Casos de aplicacin
Diseo experto de productos
En este sistema, el diseo de anteojos se hace a la
medida. Una fotografa de la cara del cliente se alimenta
como datos de entrada. El sistema experto en Prolog
propone un diseo y si el cliente aprueba el diseo, ste
se transmite desde las estaciones grficas a la fbrica
usando una red. El tiempo promedio de entrega es de
una hora
La base de conocimiento para proponer el diseo incluye
entre otros, datos sobre el color de la piel y del pelo del
cliente, preferencias individuales, conocimientos tcnicos
pticos, conocimiento del diseador de proponer forma y
los colores y formas de moda .
Casos de aplicacin
Verificacin de circuitos digitales
Siemens ha desarrollado en Prolog el sistema CVE, el
cual es utilizado para verificar de forma automtica el
comportamiento de salida de un circuito digital como
una funcin Booleana como una funcin de la entrada.
Las funciones que se obtienen se comparan de manera
simblica con las funciones correspondientes del
circuito usando algoritmos especializados que
garantizan que se detectan las diferencias encontradas
El sistema garantiza 100% de seguridad, ya que la
comparacin simblica es equivalente a simular un
circuito con todos los posibles patrones de entrada,
verificando todas las salidas de la simulacin
Casos de aplicacin
Configurador (Wizard) de red de
Windows NT