INSTITUTO POLITCNICO NACIONAL

ESCUELA SUPERIOR DE CMPUTO

Sistemas Expertos
M. En C. Eduardo Bustos Faras
2
Temario
Introduccin a Sistemas Expertos
Caractersticas de los SE
Tareas tpicas
Caractersticas del problema
Arquitectura de un Sistema Experto
Representacin de conocimiento
3
Introduccin a Sistemas Expertos
Los SE son programas capaces de manejar
problemas que normalmente requieren para su
resolucin la intervencin humana
especializada.
El experto de campo revela la informacin
colapsada sobre el conocimiento.
El ingeniero de conocimiento da forma
simblica y automticamente manipulable a la
informacin (conocimiento) dada por el
experto de campo.
4
Caractersticas de los SE
Aplican experiencia de una manera eficiente para
solucionar problemas, realizando inferencias a partir de
datos incompletos o inciertos.
Explican y justifican lo que estn haciendo.
Se comunican con otros expertos y adquieren nuevo
conocimiento.
Reestructuran y reorganizan el conocimiento.
Pueden quebrantar reglas, interpretar simultneamente el
espritu y la letra.
Determinar cuando un problema esten el dominio de su
experiencia, determinacin de la relevancia del problema.
5
Tareas tpicas
Diagnstico y reparacin
Prediccin
Planificacin
Monitorizacin de tareas
Ayuda a la educacin
Ayuda a la toma de decisiones
Ayuda a la operacin legal y administrativa
Ayuda a la identificacin de problemas
Interpretacin de datos
6
Caractersticas que debe cumplir
el rea del problema
El procedimiento de resolucin debe tener un
componente importante de razonamiento
El nivel de complejidad debe ser tal que los problemas se
resuelvan en plazos razonables
El proceso de resolucin debe tener un volumen
combinatorio importante
Debe pasar el Test del telfono
Debe servir para entrenar novicios
Debe existir un experto real del tema
El experto debe ser capaz de articular sus mtodos
7
Arquitectura de un Sistema
Experto
Base de Conocimiento(BC)
Base de Datos(BD)
Motor de Inferencia(MI)
Trazador de explicaciones(TE)
Trazador de Consultas(TC)
Memoriade trabajo(MT)
Manejador de Comunicaciones(MC)
8
Base de Conocimiento (BC)
Es la unin del conjunto de aserciones y el
conjuntode reglas. Su funcinessuministrar al MI,
informacinde la naturalezade losproblemasque
puedemanejar.
9
Base de Conocimiento (BC)
- Una asercin A esunaformulacinsimblicade
un hecho.
- Una regla R esunarelacinexplcitaentre
aserciones, generalmentede casualidad.
SI A1 yy An entoncesAn+1 yy An+m
DondeA1 yyAn son antecedentes(predicciones)
An+1 yy An+m formanel consecuente(conclusiones)
10
Base de Conocimiento (BC)
Restricciones
Restricciones
1- Aciclicidad: No puedeaparecer
Si A1 y A2 ENTONCES A1 y A2
2- n,m >=1
Observaciones
Observaciones
Las asercionespuedenvincularsemedianteY y O
11
Base de Datos (BD)
Contieneinformacinsobreel problemaparticular
queel S.E. deberesolver.
12
Memoria de Trabajo (MT)
Es unaBD temporal, en la cual el MI deja
informacindeducidaa partir de :
- Base de Conocimiento
- Base de Datos
13
Trazador de Consultas (TC)
Manejalasconsultasdel S.E. al usuario.
14
Trazador de Explicaciones (TE)
Manejarequerimientosdel usuarioal S.E..
15
Manejador de Comunicacin (MC)
Coordinael TE con el TC
16
Motor de Inferencia (MI)
Activalasreglasen funcinde la informacincontenida
en la BD y MT, la nuevainformacinespuestaen la MT.
Tambin se encargade proporcionar al TE, lasreglasque
dieronorigena unacosultaal usuario.
17
Motor de Inferencia (MI)
Puede
Puede
trabajar
trabajar
bajo
bajo
:
:
- Universo Cerrado: todala informacinnecesariaest
contenida en el sistema, entonces lo que no puede
demostrar esfalso.
- Universo Abierto: todala informacinqueno esten el
sistemaestfuerade l, entoncesla buscael usuario.
18
Motor de Inferencia (MI)
-
Orientado
Orientado
por
por
el
el
Objetivo:
Objetivo:(Backward Chaining)
El origende la induccinesel objetivoy se buscaencontrar
condicionesinicialesqueestncontenidasen losdatossobre
el problemaparticular a resolver.
-
Orientado
Orientado
por
por
los
los
Datos:
Datos:(Forward Chaining)
El origende la induccinson losdatosinicialesy se tratade
llegar a algnobjetivode inters.
19
Arquitectura de un Sistema
Experto
20
Representacin del Conocimiento
Se
Se
requiere
requiere
:
:
Un sistemainormticoquemanipuleel
conocimiento.
Debe
Debe
admitir
admitir
:
:
Unarepresentacinadecuaday operadoresde
manipulacin.
21
Representacin del Conocimiento
Se
Se
necesita
necesita
:
:
Estructuras de datos adecuadas
Procedimientos de manipulacin
Entorno de activacin de procedimientos y
estructuras
22
Tipos de Conocimiento
- Objetos
- Eventos
- Habilidades
- Meta-Conocimientos
23
Tipos de Conocimiento
Objetos
Objetos
Podemosdefinir el conocimientoscomohechos
queocurren en el conjuntode objetos quenos
circunda.
Ej: - Los pjaros tienen alas
- La nieve es blanca
Es necesario representar:
Objetos
Clasesde Objetos
Categorasde Objetos
Descripcinde Objetos
24
Tipos de Conocimiento
Eventos
Eventos
SobrelosObjetosexistenaccioneso eventos
Ej: - Pedro bes a Maria en el bosque
- El cielo se derrumbar hoy
Surge la necesidad de:
Codificar la secuenciade accioneso eventos
Formalizar el conceptode eventoso acciones
Representar adecuadamentelasrevelacionesde
causa- efectoinvolucradas.
25
Tipos de Conocimiento
Habilidades
Habilidades
Habilidadde cmoaplicar adecuadamentela accion
al objeto.
Ej: - Si la madera est hmeda squela
antes de usarla para un asado.
26
Tipos de Conocimiento
Meta
Meta
-
-
Conocimiento
Conocimiento
Es el conocimientosobrecomousar adecuadamente
el conocimientoqueyatenemos.
27
Uso del Conocimiento
Reconocimientodel Objeto
Recuperacinde Conocimiento
Manipulacinde Robots
Adquisicinde msconocimiento
28
Adquisicin del Conocimiento
Acumular nuevoconocimiento
Objetivos
Objetivos
Reestructuracinde conocimiento
existente
Activar procesosquemejorenla
performacedel sistemaa partir de la
nuevainformacin.
29
Recuperacin del Conocimiento
- Determinar quepiezasde conocimientoson relevantes
a la resolucinde un problema.
- Destreza crucial cuandoel espaciode conocimiento
manejadopor el sistemaesmuyamplio.
Ideas
Ideas
B
B

sicas
sicas
ENLAZADA: cuandodos piezasde conocimiento
se siguenen un razonamiento, enlazarla.
AGRUPAMIENTO: si un conjuntode piezasse utilizan
en un procesode razonamiento, losagrupamos.
30
Razonamiento
Determinar un encadenamiento posible para las piezas de
conocimiento
Razonamiento Formal: Se deducen nuevas P.C
siguiendo reglas de inferencia preespecificadas.
Tipos
Tipos
Razonamiento Procedural: Utilizala simulacin
pararesponder preguntasy resolver problemas.
31
Razonamiento
Tipos
Tipos
Razonamiento por analoga: Involucraasociar el
problemaa resolver con unoyaresueltoy utiliza
el espaciode direccionesdel segundopararesolver
el primero.
Meta Razonamiento: Involucrarazonar sobrecul
esla mejor manerade razonar paraun problema
especfico.
32
Tipos de Representaciones
Lgicas
Lgicasde Predicadode Primer Orden
Lgicamultivaluada
LgicaTemporal
RedesSemnticas
Sistemade Produccin
Marcos
33
Tipos de Representaciones
Lgica
LGICA DE PREDICADOS DE PRIMER ORDEN
O: Conjuntode Objetos
{casa, J uan, Mara}
Semntica:
amaa (J uan, Mara)
amaa (Mara, X)
amaa (X,Y)=>amaa (Y,X)
V: Conjuntode variables
{x,y,z,q,...}
P: Conjuntode predicados
{amaa, eshombre,..}
S: Conjuntode Smbolos
{(,),,,v,>,=>}
34
Tipos de Representaciones
Lgica
LGICA MULTIVALUADA
Consisteen cambiar [VERDADERO, FALSO] por [0,1]
Semntica:
amaa (J uan, Mara) [0.6]
amaa (Mara, X) [0.8]
amaa (X,Y)=>amaa (Y,X) [0.9]
35
Tipos de Representaciones
Lgica
LGICA TEMPORAL
Consisteen definir operadorescon unasemnticatemporal
de la ocurrenciadel hechomodelizado.
Operadores:
Semntica:
P: P es verdadero en algn instante futuro.
P: P es verdadero en todos los instantes
futuros.
P: P es verdadero en el prximo instante.
PQ: P es verdadero en el instante siguiente
al que Q es verdadero.
[ama a (Juan, X) ]
[ ama a (Juan,Mara)]
36
Tipos de Representaciones
Redes Semnticas
Se observquese puedenobtener decuccionescorrectas
unavez armada la red.
- Objetos
{aveztruz,cuello,}
- Categoras Abstractas
{ave,animal,}
- Cualidades Definibles
{tamao,longitud,}
Nodos
Arcos
R
E
D
R
E
D
Representanligazonesmuydiversas
entrelosnodos.
(tiene, es, caso particular)
37
Tipos de Representaciones
Redes Semnticas
38
Tipos de Representaciones
Sistemas de Produccin
- Puedendefinirsecomoconjuntosde reglasde produccin
asociadasa un reade conocimientoespecfico.
- Unareglade produccintratade representar unarelacin
casual entrehechosdel mundoquemodeliza
Posible Esquema:
Posible Esquema:
Si A1 y A2 yA3 y..entonces C1 y .Cn
39
Tipos de Representaciones
Marcos
- Estructurasde datoscomplejas.
- El marco de un objeto puedeser pensado como un
conjuntode casilleros, cadacasillerocorrespondea un
atributodel objeto, puedenser definidospor defecto.
- Un casilleropuedetener un punteroa otromarco.
Desventajas:
Desventajas:
- Rigidz propia del marco
- Necesidad de porveer valores por defecto
- Gran espacio en memoria.