se mi control de coherencia

10
UNIVERSIDAD TÉCNICA DE ESMERALDAS “LUIS VARGAS TORRES” EXTENSIÓN QUININDÉ ======================================= TEMA MOTOR DE INFERENCIA, CONTROL DE COHERENCIA, EJEMPLOS. DISCENTE MENDOZA ANTON OSWALDO ADRIAN FACULTAD CIENCIAS ADMINISTRATIVAS Y ECONÓMICAS ESPECIALIDAD INGENIERÍA EN SISTEMAS CICLO DE ESTUDIO DÉCIMO SEMESTRE CÁTEDRA SISTEMAS EXPERTOS

Upload: utelvt

Post on 14-May-2023

0 views

Category:

Documents


0 download

TRANSCRIPT

UNIVERSIDAD TÉCNICA DE ESMERALDAS “LUIS VARGAS

TORRES” EXTENSIÓN QUININDÉ=======================================

TEMAMOTOR DE INFERENCIA, CONTROL DE

COHERENCIA, EJEMPLOS.

DISCENTEMENDOZA ANTON OSWALDO ADRIAN

FACULTADCIENCIAS ADMINISTRATIVAS Y ECONÓMICAS

ESPECIALIDADINGENIERÍA EN SISTEMAS

CICLO DE ESTUDIODÉCIMO SEMESTRE

CÁTEDRASISTEMAS EXPERTOS

CATEDRÁTICOING. LUIS NUÑEZ

La Concordia, julio de 2015

MOTOR DE INFERENCIA

El sistema experto modela el proceso de razonamiento humano

con un módulo conocido como el motor de inferencia. Dicho

motor de inferencia trabaja con la información contenida en

la base de conocimientos y la base de hechos para deducir

nuevos hechos.

Se encarga de las operaciones de búsqueda y selección de

las reglas a utilizar en el proceso de razonamiento.

Contrasta los hechos particulares de la base de hechos con

el conocimiento contenido en la base de conocimientos para

obtener conclusiones acerca del problema.

Es la estructura de control de un SE, contiene el programa

que gestiona la Base de Conocimiento, por ejemplo el

PROGLOG (PROgrammation en LOGique) para administrar, de

esta forma, un sistema de naturaleza interactiva.

Puede trabajar bajo:

- Universo Cerrado: toda la información necesaria está

contenida en el sistema, entonces lo que no puede

demostrar es falso.

- Universo Abierto: toda la información que no está en el

sistema está fuera de él, entonces la busca el usuario.

Modos de Funcionamiento del Motor de Inferencias

Encadenamiento hacia delante (Forward Chaining): Se van

ejecutando las reglas que la situación 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 continúa el proceso hasta que no pueden

ejecutarse más reglas. (Ejemplo: configuración de PCs)

Encadenamiento hacia atrás (Backward Chaining): Se parte de

un conjunto de hipótesis 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 subobjetivos indicados por las premisas de la

regla indicada, el proceso continúa hasta que se puede

ejecutar la regla. (Ejemplo: diagnóstico de accidentes en

plantas nucleares)

Encadenamiento mixto. Combinación de las dos anteriores

CONTROL DE COHERENCIA

Este subsistema controla la consistencia de la base de

datos y evita que unidades de conocimiento inconsistentes

entren en la misma. Sin este subsistema, unidades de

conocimientos contradictorios pueden formar parte de la

base de conocimiento, dando lugar a un comportamiento

insatisfactorio en el sistema, por ejemplo: en sistemas con

mecanismos de propagación de incertidumbre es común llegar

a conclusiones absurdas o en conflicto, por ejemplo,

situaciones en las que el sistema genera probabilidades

mayores a la unidad o negativas.

El Control de Coherencia ayuda a los expertos humanos a dar

información fiable, comprueba e informa a los expertos de

las inconsistencias e indica sobre las restricciones que la

información debe cumplir para ser coherente con la

existente en la base de conocimiento cuando se solicita

información de los expertos humanos.

EJEMPLOS:

MYCIN: Infecciones de la sangre

Probablemente el SE más conocido.

Desarrollado en la Universidad de Stanford a mediados

de los 70´s.

Proporciona asistencia a los médicos en el diagnóstico

y tratamiento de meningitis y algunas infecciones.

Se le puede borrar su base de conocimientos y

alimentarle otra para aplicaciones en otras áreas.

DENDRAL: Análisis químico

Considerado el 1er. SE

Desarrollado a mediados de los 60´s en la Universidad

de Stanford.

Identifica estructuras moleculares de compuestos

desconocidos.

Utiliza reglas de producción y fué desarrollado en

LISP.

No tiene explicación de sus inferencias, simplemente

busca soluciones.

DELTA/CATS: Mantenimiento de locomotoras Diesel y

Eléctricas

Desarrollado por General Electric a principios de los

80´s

DELTA: Diesel Electric Locomotive Troubleshooting

CATS: Computer Aided Troubleshooting System

Consiste de una base de conocimientos por medio de

entrevistas con David Smith (que trabajó 40 años en GE

y es un experto reconocido en mantenimiento de estas

máquinas)

De 1981 a 1983 se incrementaron las reglas de 45 a

1200.

El sistema original se desarrolló en LISP y luego se

convirtió a FORTH para incrementar transportabilidad y

velocidad de ejecución.

Tiene interfases visuales, p. Ejem. Pueden imprimirse

diagramas de las máquinas y un video-disk puede

mostrar la ubicación de las partes.

Ejemplo de Sistema Experto para identificar aviones

Tabla de inducción: Una alternativa para la adquisición de

conocimiento a través de la interface con una persona

experta es convertir una base de datos existente en un

conjunto de reglas.