Professional Documents
Culture Documents
Sistemas expertos
problemas
insuficientes
para
generales
abordar
desarrollados
aplicaciones
de
los
la
aos
vida
anteriores
eran
diaria.
Ellos
2.1.1 Definicin
Feigenbaum 2, un lder en este campo, define a un sistema experto como ...
un
programa
de
computadora
inteligente
que
usa
conocimiento
El dominio de un sistema experto denota el rea del problema del que tiene
conocimiento.
Est
compuesto
por
una
coleccin
de
conocimiento
especfico
del
comportamiento
inteligente:
razonar
usando
2.1.2.1 Ventajas
de
inferencia
facilita
el
4
proceso
de
modificacin
del
conocimiento.
Esto
es
importante
porque
el
conocimiento
cambia
frecuentemente.
2.1.2.2 Desventajas
Bsicamente se puede decir que los sistemas expertos estn formados por la
base de conocimientos y por el motor de inferencia, aunque generalmente se
les aaden ms mdulos para facilitar su uso y enriquecer su desempeo. En
la fig. 2.1 se muestra un diagrama en el que se han incluido la arquitectura
de un sistema experto tpico.
Base de
hechos
conocimientos
Mdulo de
explicacin
Base de
Motor de
Inferencia
Mod. adquisicin
de conocimiento
Interface de usuario
d)
La
interface
de
usuario.-
La
interface
de
usuario
facilita
la
Es
aconsejable
poner
especial
atencin
en
la
interface,
pues
el
el
conocimiento,
las
ms
importantes
son:
la
lgica
ms que de un solo objeto (ej.: color (pasto, verde), color (cielo, azul)).
Como las proposiciones, los predicados tienen un valor de verdad, pero este
valor de verdad depende de sus argumentos. El clculo de predicados
tambin soporta el uso de variables y de cuantificadores. Por eso se dice que
la lgica de proposiciones es un subconjunto del clculo de predicados.
humanos
para
expresar
su
conocimiento
(condicin/accin).
10
Las reglas pueden ser aplicadas de dos maneras: encadenadas hacia adelante
o encadenadas hacia atrs. En el encadenamiento hacia adelante se busca la
solucin utilizando todos los hechos iniciales y se aplica reiterativamente la
regla del modus ponens para derivar hechos intermedios hasta que se
encuentre la respuesta final. Este tipo de razonamiento es adecuado si
existen pocos datos (o muchos, pero adquiridos automticamente) y muchas
soluciones. Esto es cierto en aplicaciones de diseo, configuracin,
planeacin y organizacin.
Es
interesante
notar
que
si
las
reglas
slo
incluyen
proposiciones
el
emparejamiento
con
patrones
para
ligarlas
con
los
hechos,
consecuentemente las relaciones entre las reglas y los hechos varan en cada
corrida del programa y slo se pueden conocer durante el tiempo de
ejecucin. El primer tipo de reglas se aplica exitosamente en sistemas de
diagnstico y clasificacin. El segundo tipo es til en situaciones en las
cuales es necesario probar muchos datos antes de conseguir la solucin,
como en el diseo, planeacin y sntesis.
establecimiento de
Los objetos son estructuras similares a los marcos, puesto que tienen un
nombre, una caracterizacin de clase, varios atributos distintivos y un
conjunto de operaciones denominados mtodos. Ambas estructuras agrupan
conocimiento, soportan herencia, abstraccin y manejan el concepto de
procedimientos ligados. Se diferencian en que, mientras los demonios de los
marcos solo sirven para computar y mantener la integridad de los valores de
la s ranuras, los mtodos de los objetos son ms generales porque
implementan cualquier tipo de programa que sea necesario. Los objetos
tambin soportan encapsulacin y polimorfismo.
13
p(H i /E j ) =
p(E j /H i ) * p(H i )
(1)
p(E j )
14
p(H i /E 1 E 2 ...E n )=
(2)
p(E 1 E 2 ...E n )
Hj,
dados
los
sntomas
E i ).
Las
evidencias
deben
ser
usado
por
la
tcnica
bayesiana
que
usa
probabilidades
SI evidencia
ENTONCES hiptesis (FC)
MC(h,e) = 1
si p[h] = 1
= p[h/e] - p[h]
1 - p[h]
16
en otro caso
(3)
si p[h] = 1
(4)
(5)
MI
1 - min(MC-MI)
Durante el proceso de inferencia, muchas reglas pueden derivar la misma
hiptesis o conclusin. Como resultado debe existir un mecanismo para
combinar los FC de cada regla y obtener un solo FC para esa hiptesis. Se
usan las siguientes ecuaciones:
si FC old y FC n e w > 0
(6)
si FC old y FC n e w < 0
(7)
(8)
= FC old
FC n e w
1 - min(|FC o l d |,|FC n e w |)
es
simple
porque
permite
que
el
conocimiento
de
este
mtodo
consideran
que
estos
xitos
se
deben
tales
como
los
adjetivos
(ej.:
alto,
viejo),
los
para
realizar
diagnsticos
de
un
reducido
grupo
de
de
tcnicas
interactivas
que
facilitaban
el
uso
de
las
automatizados
se
capturan
los
datos
del
paciente
(pulso,
RHEUM,
realiza
el
diagnstico
en
reumatologa
representa
el
enfermedades
de
los
ojos,
infecciosas.
El
sistema
enfermedades
tiene
tres
de
puntos
la
de
piel
entrada:
21
Consulta
Explicacin
Base
de
hechos
Conversacin
Base
de
conocim.
Adq. conocimiento
23
Conjunto de reglas
Arbol de decisin
A
ABC --> W
ACD --> X
ACF --> Y
BBA --> Z
B
C
W
Nivel 1
F
X
Nivel 2
A
Nivel 3
24