Académique Documents
Professionnel Documents
Culture Documents
INTRODUCCIN
CRITERIOS DE EVALUACIN
25% EXAMEN
10% PARTICIPACIN EN ESPACIOS GRUPALES
SISTEMAS EXPERTOS
Motor de inferencia
El sistema experto modela el proceso de razonamiento humano con un mdulo conocido como el motor de inferencia. Dicho motor de inferencia trabaja con la informacin contenida en la base de conocimientos y la base de hechos para deducir nuevos hechos. Contrasta los hechos particulares de la base de hechos con el conocimiento contenido en la base de conocimientos para obtener conclusiones acerca del problema.
SISTEMAS EXPERTOS
Motor de inferencia
Es el sistema de software que relaciona las reglas almacenados en la base de conocimientos con los acontecimientos (hechos) almacenados en las base de hechos, y por medio de tcnicas de bsqueda heurstica infiere nuevos conocimientos. Es un Intrprete que ejecuta las reglas y obtiene la cadena de razonamiento que soluciona el problema, est compuesto de dos elementos: Interprete de reglas y Estrategia de control.
SISTEMAS EXPERTOS
Motor de inferencia
Interprete de reglas: Mecanismo de razonamiento que determina qu reglas de la BC se pueden aplicar para resolver el problema. Estrategia de control: Es la estrategia de resolucin de conflictos.
SISTEMAS EXPERTOS
Motor de inferencia
La Inferencia permite deducir nuevo conocimiento a partir de conocimiento que se sabe que es cierto.
Usa la Base de Hechos y el Conocimiento Base para obtener nuevas conclusiones o hechos.
SISTEMAS EXPERTOS
Motor de inferencia
Ejecutar acciones para resolver el problema (objetivo) a partir de un conjunto inicial de hechos y eventualmente a travs de una interaccin con el usuario La ejecucin puede llevar a la deduccin de nuevos hechos.
SISTEMAS EXPERTOS
Motor de inferencia
Tipos de inferencias :
Existen diferentes reglas de inferencia (Modus Ponens, Modus Tollens) Existen diferentes estrategias de inferencia (Encadenamiento de reglas hacia delante y hacia atrs).
SISTEMAS EXPERTOS
Motor de inferencia
Tipos de inferencias :
Encadenamiento hacia delante (Forward Chaining) Encadenamiento hacia atrs (Backward Chaining)
SISTEMAS EXPERTOS
Hacia adelante
SISTEMAS EXPERTOS
Motor de inferencia
Estrategias de bsqueda:
Encadenamiento hacia delante (Forward Chaining) Deductivo: Se van ejecutando las reglas que la situacin especificada en la base de hechos permite. Cada regla ejecutada modifica la base de hechos lo que hace que otras reglas puedan ser ejecutadas. Se continua el proceso hasta que no pueden ejecutarse ms reglas. (Ejemplo configuracin de PCs).
SISTEMAS EXPERTOS
Motor de inferencia
Estrategias de bsqueda:
delante
(Forward
Obtiene nuevos hechos a partir de la evaluacin de reglas. Comienza insertando unos hechos iniciales en la BH. Se exploran las reglas de la BC y se aaden nuevos hechos a la BH. Termina cuando no se cumple ninguna regla. El objetivo es deducir todo el conocimiento posible.
SISTEMAS EXPERTOS
Motor de inferencia
Estrategias de bsqueda:
Encadenamiento hacia atrs (Backward Chaining) Inductivo : Se parte de un conjunto de hiptesis que son contrastadas con las conclusiones de ciertas reglas; para poder ejecutar una de estas reglas, se sustituye el objetivo inicial por un conjunto de sub objetivos indicados por las premisas de la regla indicada, el proceso contina hasta que se puede ejecutar la regla. (Ejemplo diagnstico de accidentes en plantas nucleares)
SISTEMAS EXPERTOS
Motor de inferencia
Estrategias de bsqueda:
Deducir el conocimiento necesario para demostrar un hecho. Comienza fijando un hecho o meta a demostrar. Se busca la regla que contiene dicho hecho como consecuente y se demuestran los hechos del antecedente de la regla. El objetivo es demostrar una meta.
SISTEMAS EXPERTOS
Motor de inferencia
Deterministas: el estado actual depende del estado anterior y las acciones sobre el entorno. Son los Sistemas Expertos basados en reglas, que usan un mecanismo de razonamiento lgico para sacar sus conclusiones. Estocsticos: sistemas en los que existe incertidumbre, por lo que necesita ser tratada. Son los Sistemas Expertos Probabilsticos y la estrategia de razonamiento usada es el razonamiento probabilstico.
SISTEMAS EXPERTOS
Motor de inferencia
Qu es exactamente la incertidumbre?
Se define como la falta de certidumbre o certeza, siendo certeza el conocimiento seguro y claro de algo.
SISTEMAS EXPERTOS
Motor de inferencia
En qu situaciones se da incertidumbre?
Cuando los hechos o datos pueden no ser conocidos con exactitud (por ej, un paciente puede no estar seguro de haber tenido fiebre la noche pasada) => subjetividad, imprecisin, errores, datos ausentes...
Cuando el conocimiento no es determinista. Por ej, las relaciones entre enfermedades y sntomas; un mismo conjunto de sntomas puede estar asociado a varias enfermedades.
SISTEMAS EXPERTOS
SISTEMAS EXPERTOS
Motor de inferencia
En los primeros Sistemas Expertos, se usaba la probabilidad para tratar la incertidumbre, pero al encontrarse algunos problemas por el uso incorrecto de algunas hiptesis, se desech. Con la aparicin de redes probabilsticas (Redes Bayesianas y Cadenas de Markov, principalmente) el uso de la probabilidad para el tratamiento de la incertidumbre ha vuelto a ser aceptado y hoy en da es la forma ms usada.
SISTEMAS EXPERTOS
Motor de inferencia
Una regla es una afirmacin lgica que relaciona informacin conocida con otra que puede ser inferida o se sabe que es cierta. Una regla se compone de la premisa y el consecuente.
Premisa: condiciones para que la regla se ejecute. Consecuente: conclusiones deducidas. Ejemplo de regla: IF TarjetaNoValida THEN PagoNoAutorizado ELSE PagoAutorizado
SISTEMAS EXPERTOS
Motor de inferencia
Incertidumbre: Surge porque se tiene un conocimiento incompleto / incorrecto del mundo o por limitaciones en la forma de representar dicho conocimiento. Existen varias causas para ello, que tienen que ver con la informacin, el conocimiento y la representacin. Causas de incertidumbre: Informacin incompleta Fuentes poco confiables Detalles y hechos importantes cambian Hechos imprecisos, vagos o difusos
SISTEMAS EXPERTOS
Motor de inferencia
Causas de Incertidumbre:
Existen varias causas de incertidumbre que tienen que ver con la informacin, el conocimiento y la representacin.
SISTEMAS EXPERTOS
Motor de inferencia
Causas de Incertidumbre:
Informacin:
SISTEMAS EXPERTOS
Motor de inferencia
Causas de Incertidumbre:
Conocimiento:
Impreciso. Contradictorio.
SISTEMAS EXPERTOS
Motor de inferencia
Causas de Incertidumbre:
Representacin:
SISTEMAS EXPERTOS
Teorema de bayes:
Es el resultado que da la distribucin de probabilidad condicional de un evento aleatorio A dado B en trminos de la distribucin de probabilidad condicional del evento B dado A y la distribucin de probabilidad marginal de slo A
SISTEMAS EXPERTOS
Teorema de bayes:
Sea {B1, B2, ..., B3} un conjunto de eventos que forman una particin en un estado muestra S, donde P(Bi) <> 0, para i = 1,2,..., n. Sea A cualquier evento de S tal que P(A) <> 0. Entonces, para K = 1,2, ... , n, se tiene:
pBk A
PBk A
n i 1 i
PB A PB PA B
n i 1 i i
PBk PA Bk
SISTEMAS EXPERTOS
Teorema de bayes:
SISTEMAS EXPERTOS
Teorema de bayes:
Ejemplo. Si se conoce que el dos porciento de una poblacin tiene tuberculosis, podemos definir: Dado el hecho: P(T) = 0.02 Variables definidas P(X | T) = probabilidad de que los rayos X de una persona con tuberculosis sean positivos. P(X | no-T) = probabilidad de que los rayos X de una persona saludable sean positivos. P(T | X) = probabilidad de que una persona con rayos X positivos tenga tuberculosis. Dada la informacin P(X | T) = 0.99 y P(X | no-T) = 0.01
SISTEMAS EXPERTOS
Teorema de bayes:
Calcular P(T | X)
P T P X | T P T X P T P X T P no T P X no T
SISTEMAS EXPERTOS
Teorema de bayes:
En la prctica, se utiliza para conocer la probabilidad a posteriori de cierta variable de inters dado un conjunto de hallazgos (ya no es condicional).
SISTEMAS EXPERTOS
Lgica difusa:
Descansa en la idea que en un instante dado, no es posible precisar el valor de una variable X, sino tan solo conocer el grado de pertenencia a cada uno de los conjuntos en que se ha participado el rango de variacin de la variable. Trabaja con conjunto de datos que no tienen lmites perfectamente definidos, es decir la pertenencia no de una variable a un conjunto no es precisa.
Lgica difusa
Conjuntos difusos
En la teora estndar un objeto pertenece o no a un conjunto. La lgica tradicional se basa en el hecho de que P(a) es verdadero o falso. Un conjunto difuso permite valores diferentes de 0 1.
Lgica difusa
Las funciones caractersticas de los conjuntos difusos no deben confundirse con probabilidades. Una probabilidad es la medida del grado de incertidumbre o creencia basada en la frecuencia o proporcin de ocurrencia de un evento. Una funcin caracterstica difusa est relacionada con la vaguedad y es la medida de factibilidad de un evento.
Lgica difusa
SISTEMAS EXPERTOS
Herramientas:
Lisp C Ada Reglas OPS5 Lgica: PROLOG Objetos: Smalltalk80 C++ UnJava paradigma de programacin LOOPS CLIPS K-CRAFT ART NEXPERT KAPPA CLOS JESS KEE VPEXPERT PC+
Lenguajes tradicionales
Shells
Qu tarea hacer
SISTEMAS EXPERTOS
Shell:
Un Shell (interprete) de SE es un grupo de paquetes y herramientas de software utilizados para disear, desarrollar, poner en operacin y mantener SE con una programacin mnima. Existen tanto para computadoras personales como para sistemas de macrocomputadoras. Algunos son baratos. El usuario introduce los datos o parmetros apropiados y el SE proporciona el resultado para el problema o situacin.
SISTEMAS EXPERTOS
Shell:
Recopilador de Informacin: Para introducir nuevas reglas. Almacenamiento de Informacin : para la Base de Datos. Motor de Inferencia: Para el Mtodo de Resolucin. Gestin de Resultados: Para Entrega y Explicacin. Interfaces: Para Experto-Sistema y Usuario-Sistema.
SISTEMAS EXPERTOS
Shell:
Exsys de MultilLogic, Inc. Level 5, de Rule Machines Corporacin y XpertRule, de Attar Software..
SISTEMAS EXPERTOS
Shell:
Fciles de desarrollar y modificar. El uso de la satisfaccin. El uso de la heurstica. Desarrollo por los ingenieros y usuarios del conocimiento.
Tarea no requiere demasiado del sentido comn Tarea requiere solamente habilidad cognitiva Existe un experto Experto esta de acuerdo Experto debe ser capaz de explicar Tarea no es demasiado fcil Tarea esta bien definida
Descubrimientos rentables. Hay perdida de experto. Faltan expertos. Expertos presentes en varios lugares. Trabajo en ambiente hostil.
Tarea requiere manipulacin de smbolos. Tarea requiere solucin heurstica. Tarea no es demasiado fcil. Tarea tiene valor prctico. Tarea es de tamao manejable.
Algunos ejemplos de SE
MYCIN: Desarrollado por Feigenbaum, Universidad de Stanford. Diagnostico de bacteria y meningitis 3500 reglas. XCON: Desarrollado por Univ. de Carnegie Mellon y DEC (Digital Equipament Corporation) Configuracin de computadores. 6000 reglas Hasta 1988 90.000 sistemas vax configurados.
Sistemas de Interpretacin. Sistemas de prediccin. Sistemas de diagnstico. Sistemas de diseo. Sistemas de planificacin
Sistemas de monitores. Sistemas de depuracin. Sistemas de reparacin. Sistemas de instruccin. Sistemas de control.
Sistemas de Interpretacin
Infieren descripciones de situaciones a partir de observaciones provenientes de sensores ejemplos:
Anlisis de imgenes. Interpretacin de seales de audio, de radar, radio etc. Comprensin de voz. Anlisis de tipos de grietas.
Sistemas de prediccin
Demogrfica. Trfico. Daos a cosechas por algn tipo de insecto, peste, etc. Conflictos armados basados en informes de inteligencia. Demanda de algn insumo (petrleo, cobre), dada una situacin (geopoltica, econmica, desarrollo).
Sistemas de diagnsticos
Infieren mal funcionamiento de sistemas a partir de observaciones. Relaciona irregularidades del comportamiento observado con causas posibles.
Enfermedades a partir
de un conjunto de sntomas.
Componentes defectuosos de un sistema. Fallas de equipos en procesos productivos.
Sistemas de diseo
Desarrollan configuraciones de objetos basados en restricciones o exigencias del problema. Despus de construidas, verifican que cumplan las especificaciones.
Diseo de circuitos integrados.
Diseo de edificios. Creacin de molculas orgnicas complejas. Configuracin de equipos computacionales.
Sistemas de planificacin
Son sistemas destinados a disear planes de accin.
Programacin de rutas. Programacin de robots. Programacin de comunicaciones. Programacin de experimentos. Creacin de planes de vuelo.
Sistemas de monitoreo
Comparan el comportamiento de un sistema (observaciones) con comportamiento esperado. A partir de las diferencias sugieren acciones correctivas.
Monitorear lecturas de instrumentos para detectar condiciones de fallas de equipos industriales. Detectar condiciones favorables a accidentes. Monitoreo de trfico areo.
Sistemas de reparacin
Sistemas destinados a desarrollar y ejecutar planes para administrar un remedio para algn problema ya diagnosticado.
Sistemas de instruccin
Sistemas desarrollados para instruir en el aprendizaje independiente.
Capacitacin de personas sobre la operacin de equipamiento. Desarrollo de manuales inteligentes. Manuales de diagnsticos de fallas. Instruccin sobre algn contenido especfico.
Sistemas de control
Son sistemas destinados a gobernar mediante un control el comportamiento general de un sistema. Interpretan repetitivamente la situacin actual, predecir el futuro, diagnosticar las causas de los problemas, formular un plan de remedio y monitorear su ejecucin con tal de asegurar el xito del control. Interactan con modelos determinsticos provenientes de la teora de control.
SISTEMAS EXPERTOS
Concepto de SE:
base de conocimientos (BC). base de hechos (memoria de trabajo). motor de inferencia: intentando modelar el proceso de razonamiento humano. mdulos de justificacin: muestra el razonamiento seguido para llegar a una conclusin determinada. interfaz de usuario.
SISTEMAS EXPERTOS
Concepto de SE:
Es la parte del sistema experto que contiene el conocimiento sobre el dominio. hay que obtener el conocimiento del experto y codificarlo en la base de conocimientos. Una forma clsica de representar el conocimiento en un sistema experto son lar reglas. Una regla es una estructura condicional que relaciona lgicamente la informacin contenida en la parte del antecedente con otra informacin contenida en la parte del consecuente.
SISTEMAS EXPERTOS
Concepto de SE:
Contiene los hechos sobre un problema que se han descubierto durante una consulta. Durante una consulta con el sistema experto, el usuario introduce la informacin del problema actual en la base de hechos. El sistema empareja esta informacin con el conocimiento disponible en la base de conocimientos para deducir nuevos hechos.
SISTEMAS EXPERTOS
Concepto de SE:
Motor de inferencia:
El sistema experto modela el proceso de razonamiento humano con un mdulo conocido como el motor de inferencia. Dicho motor de inferencia trabaja con la informacin contenida en la base de conocimientos y la base de hechos para deducir nuevos hechos. Contrasta los hechos particulares de la base de hechos con el conocimiento contenido en la base de conocimientos para obtener conclusiones acerca del problema.
SISTEMAS EXPERTOS
Concepto de SE:
Mdulo de justificacin:
Una caracterstica de los sistemas expertos es su habilidad para explicar su razonamiento. Usando el mdulo del subsistema de explicacin, un sistema experto puede proporcionar una explicacin al usuario de por qu est haciendo una pregunta y cmo ha llegado a una conclusin. Este mdulo proporciona beneficios tanto al diseador del sistema como al usuario. El diseador puede usarlo para detectar errores y el usuario se beneficia de la transparencia del sistema.
SISTEMAS EXPERTOS
Concepto de SE:
Interfaz de usuario:
La interaccin entre un sistema experto y un usuario se realiza en lenguaje natural. Tambin es altamente interactiva y sigue el patrn de la conversacin entre seres humanos. Para conducir este proceso de manera aceptable para el usuario es especialmente importante el diseo del interfaz de usuario. Un requerimiento bsico del interfaz es la habilidad de hacer preguntas. Para obtener informacin fiable del usuario hay que poner especial cuidado en el diseo de las cuestiones. Esto puede requerir disear el interfaz usando mens o grficos.
SISTEMAS EXPERTOS
SISTEMAS EXPERTOS
Ejercicio:
Inferencia El motor de inferencia Funcin del motor de inferencia Teorema de bayes Heurstica Lgica difusa