![Page 1: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/1.jpg)
Sistemas ExpertosArquitectura - Motor de Inferencias
Ingeniería del Conocimiento
Ingeniería Electrónica
![Page 2: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/2.jpg)
Estructura básica de un SE.
Base de Conocimientos
Motor de Inferencias
Interface
Usuario
Ingeniero del conocimiento
Experto del dominio
KAT
![Page 3: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/3.jpg)
Estructura básica de un Sistema Experto
Base de Conocimientos
Su estructura de datos queda definida en términos del esquema de representación elegido para incorporar el conocimiento del dominio de trabajo.
Motor de Inferencias
Es la estructura de control de un SE, contiene el programa que gestiona la BC y otros mecanismos necesarios para administrar un sistema de naturaleza interactiva.
Separados entre sí
![Page 4: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/4.jpg)
SE basados en reglas de producción
Sistemas de producción
Newell y Simon (1972): Al resolver problemas, las personas utilizan su memoria a largo plazo (permanente) que aplican a situaciones actuales contenidas en su memoria a corto plazo (transitoria). Esto puede generar modificaciones en la última.
BC (Reglas)
Memoria de trabajo (Hechos)
Motor de Inferencias
Mundo Exterior
![Page 5: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/5.jpg)
Sistemas de producciónLos procesos del dominio se representan como acciones
independientes que son integradas por el mecanismo de inferencias para resolver una tarea más general.
Motor deInferencias
BASE DE CONOCIMIENTO
Base deHechos
Base deReglas
ARQUITECTURA
![Page 6: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/6.jpg)
SE basados en reglas de producción
Reglas de producción
< CONDICION > < ACCION>
Son “gránulos” de conocimiento.
Reúnen información relativa a las condiciones de disparo y a los efectos resultantes del disparo.
Son estructuras bidireccionales.
SI ?X ES MAMIFERO Y ?X COME CARNE
ENTONCES ?X ES CARNIVORO.
![Page 7: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/7.jpg)
SE basados en reglas de producciónVentajas:Naturaleza modular: El conocimiento es fácil de
encapsular y expandir.
Explicaciones sencillas: El registro de reglas disparadas permite presentar la cadena de razonamiento asociada.
Semejanza con el proceso cognitivo humano: modelo natural del razonamiento humano.
Dificultades: Completitud y consistencia como responsabilidad del desarrollador.
Se necesitan otras estructuras para lograr una visión global del conocimiento del dominio.
Se las combina con otros formalismos de representación.
![Page 8: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/8.jpg)
SE basados en reglas de producción
Inductivo: A partir de un objetivo intenta verificar los hechos que los
sostienen
Deductivo: A partir de los hechos disponibles infiere todas las conclusiones posibles
MOTOR DE INFERENCIAS Dos formas de funcionamiento.
BACKWARD CHAINING
FORWARD CHAINING
![Page 9: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/9.jpg)
Hechos iniciales
Objetivo
SE basados en reglas de producciónEncadenamiento hacia atrás - Backward Chaining.
BH := CONOCIMIENTO INICIAL (HECHOS).
HASTA OBJETIVO O SIN REGLAS PARA DISPARAR.
REPITA
(1) ENCONTRAR K CONJUNTO DE REGLAS, CUYAS CONCLUSIONES PUEDEN UNIFICARSE CON LA HIPÓTESIS (CONJUNTO DE CONFLICTO).
(2) ELEGIR R DE K SEGÚN ESTRATEGIA DE SOLUCIÓN DE CONFLICTOS (POSIBLE BACKTRACKING).
(3) SI LA PREMISA DE R NO ESTÁ EN BH, TOMARLA COMO SUBOBJETIVO.
![Page 10: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/10.jpg)
SE basados en reglas de producciónBackward Chaining: Ciclo base de un motor inductivo.
DETECCIÓN:
SI EL OBJETIVO ES CONOCIDO ÉXITO.
SINO, TOMAR LAS REGLAS QUE LO CONCLUYEN (CC).
ELECCIÓN:
DECIDIR QUE REGLA APLICAR (RC)
APLICACIÓN:
REEMPLAZAR EL OBJETIVO POR LA CONJUNCIÓN DE LAS CONDICIONES DE LA PREMISA ELEGIDA.
![Page 11: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/11.jpg)
SE basados en reglas de producción
Ejemplo Backward Chaining: Primer paso
BASE DE REGLAS
R1: p q s
R2: r t
R3: s t u
R4: s r v
OBJETIVO: v
v BH ?
v BH
SIGUE
BH: p q r
![Page 12: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/12.jpg)
SE basados en reglas de producción
Ejemplo Backward Chaining: Segundo paso
BASE DE REGLAS
R1: p q s
R2: r t
R3: s t u
R4: s r v
MATCHING CON v
CC = { R4 }
s BH?
s BH
s SUBOBJETIVO
SIGUE
BH: p q r
![Page 13: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/13.jpg)
SE basados en reglas de producción
Ejemplo Backward Chaining: Tercer paso
BASE DE REGLAS
R1: p q s
R2: r t
R3: s t u
R4: s r v
BH: p q r
MATCHING CON s
CC = { R1 }
p BH? SI.
q BH? SI.
DISPARA R1.
BH s
![Page 14: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/14.jpg)
SE basados en reglas de producción
Ejemplo Backward Chaining: 4º paso
BASE DE REGLAS
R1: p q s
R2: r t
R3: s t u
R4: s r v
BH: p q r s
CC = { R4 }
r BH? SI.
DISPARA R4.
BH v
![Page 15: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/15.jpg)
SE basados en reglas de producción
Ejemplo Backward Chaining: 5º paso
BASE DE REGLAS
R1: p q s
R2: r t
R3: s t u
R4: s r v
OBJETIVO OK.
FIN
BH: p q r s v
![Page 16: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/16.jpg)
SE basados en reglas de producciónEncadenamiento hacia adelante - Forward Chaining.
BH := CONOCIMIENTO INICIAL (HECHOS).
HASTA OBJETIVO O SIN REGLAS PARA DISPARAR.
REPITA:
(1) ENCONTRAR K CONJUNTO DE REGLAS CUYAS PREMISAS CUMPLEN CON BH (CONJUNTO DE CONFLICTO-CC).
(2) ELEGIR R DE K SEGÚN ESTRATEGIA DE SOLUCIÓN DE CONFLICTOS (RC).
(3) DISPARAR R Y ACTUALIZAR BH. (RECORDAR R).
Hechos iniciales
Objetivo
![Page 17: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/17.jpg)
SE basados en reglas de producción
Forward Chaining: Ciclo base de un motor deductivo.
DETECCIÓN:
DETERMINAR EL CONJUNTO DE REGLAS APLICABLES
ELECCIÓN:
DECIDIR QUE REGLA APLICAR (RC)
APLICACIÓN
DISPARAR LA REGLA ELEGIDA Y ACTUALIZAR BH.
![Page 18: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/18.jpg)
SE basados en reglas de producción
Ejemplo Forward Chaining: Primer paso
BASE DE REGLAS
R1: p q s
R2: r t
R3: s t u
R4: s r v
CC = { R1, R2 }
R1 RC
DISPARA R1
BH s
R1 APLICADA
BH: p q r
![Page 19: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/19.jpg)
SE basados en reglas de producción
Ejemplo Forward Chaining: 2º paso
BASE DE REGLAS
R1: p q s
R2: r t
R3: s t u
R4: s r v
BH: p q r s
CC = { R2, R4 }
R2 RC
DISPARA R2
BH t
R2 APLICADA
![Page 20: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/20.jpg)
SE basados en reglas de producción
Ejemplo Forward Chaining: 3er paso
BASE DE REGLAS
R1: (p q s)
R2: (r t)
R3: s t u
R4: s r v
BH: p q r s t
CC = { R3, R4 }
R3 RC
DISPARA R3
BH u
R3 APLICADA
![Page 21: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/21.jpg)
SE basados en reglas de producción
Ejemplo Forward Chaining: 4º paso
BASE DE REGLAS
(R1: p q s)
(R2: r t)
(R3: s t u)
R4: s r v
BH: p q r s t u
CC = {R4 }
R4 RC
DISPARA R4
BH v
R4 APLICADA
![Page 22: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/22.jpg)
SE basados en reglas de producción
Ejemplo Forward Chaining: 5º paso
BASE DE REGLAS
(R1: p q s)
(R2: r t)
(R3: s t u)
(R4: s r v)
BH: p q r s t u v
CC = { }
FIN
![Page 23: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/23.jpg)
Sistemas expertos: Metaconocimiento Es el conocimiento estratégico vinculado a la utilización del conocimiento del dominio del Sistema Experto.
Es conocimiento que predica sobre el conocimiento involucrado en el sistema.
Métodos de implementación:
Meta-reglas Activación o no de grupos de reglas específicas.
Ordenación de las reglas dentro de los grupos.
Funciones Definición de la búsqueda o no de conceptos asociados.
PC-PLUS FINDOUT - NOFINDOUT
Orden de las reglas Posibilidad de asignarles “pesos” numéricos.
PC-PLUS UTILITY.
KAPPA-PC PRIORITY
![Page 24: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/24.jpg)
Sistemas expertos: Metaconocimiento
Enriquece y aporta a la perfomance de un Sistema Experto y por sus características incluye:
Elementos en el Motor de Inferencias: Demonios.
Elementos en la Base de Conocimientos: Metareglas, PRIORITY, etc.
Ejemplos de Metareglas en SEXP-1
IF Litología_Principal = Arenisca THEN Tratar sólo el grupo de reglas asociadas.
IF Litología_Principal = Roca_Ignea THEN NoAsk (Lista de valores)
![Page 25: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/25.jpg)
SE: Herramientas
Una herramienta para la construcción de sistemas expertos (expert system building tools-shell) es un software para el desarrollo de sistemas expertos,:
• un motor de inferencias, • forma/s de representar el conocimiento (BC vacía) y • una interfaz para el usuario final,
permite construir sistemas expertos agregando el conocimiento específico sobre el dominio particular que se quiere resolver.
![Page 26: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/26.jpg)
SE: Herramientas
• KAPPA-PC (C - Intellicorp, software liberado) • CLIPS (C – NASA, software libre)• JESS (Java - Software propietario – Lic. académica) -----------• M1• Personal Consultant-Easy / PC-Pluss• INSIGHT 2 +.• VP-Expert
permiten construir sistemas expertos agregando el conocimiento específico sobre el dominio particular que se quiere resolver.
![Page 27: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/27.jpg)
Herramientas: Kappa-PC
Formalismos de representación
Funcionamiento del Motor de Inferencias
Es un shell, cáscara o Sistema Experto vacío
Reglas y Objetos
El funcionamiento sistemático está definido, pueden
personalizarse características
KAPPA-PC
Posee herramientas de trace y debug.
![Page 28: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/28.jpg)
Otras características
Prototipado muy rápido – Ambiente de desarrollo !!!
Conexión con BD y otros paquetes de software
Construcción de Interfaz básica
Help on line
Lenguaje de programación KAL (basado en C)
Biblioteca de funciones predefinidas
KAPPA-PC
Herramientas: Kappa-PC
![Page 29: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/29.jpg)
KAPPA-PC Representación del dominio
Estructura de clasesDebe incluir los elementos del dominio sobre los que predicarán las reglas
Poseen Slots que las describen
Tipo: Texto, Numérico, Booleano, Objeto Cardinalidad: single o multi Valores permitidos (texto) Rango (numéricos) Prompt Monitores
Herramientas: Kappa-PC
![Page 30: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/30.jpg)
SE basados en reglas de producción
Ejemplo “Animales Carnívoros” para volcar en Kappa-PC.
RCARNÍVORO1: SI EL ANIMAL MAMÍFERO COME CARNE
ENTONCES EL ANIMAL ES CARNÍVORO.
RCARNÍVORO2: SI EL ANIMAL MAMÍFERO TIENE GARRAS Y DIENTES AGUDOS
ENTONCES EL ANIMAL ES CARNÍVORO.
RTIGRE: SI EL ANIMAL ES CARNÍVORO Y SU COLOR ES LEONADO Y SU PELAJE TIENE FRANJAS NEGRAS
ENTONCES EL ANIMAL ES UN TIGRE.
RLEOPARDO: SI EL ANIMAL ES CARNÍVORO Y SU COLOR ES LEONADO Y SU PELAJE TIENE MANCHAS OSCURAS
ENTONCES EL ANIMAL ES UN LEOPARDO
![Page 31: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/31.jpg)
Elementos sintácticos
Atomos: “animal carnívoro”, tigre, Juan. Pares: animal:dientes, persona:nombre. (Objeto:Slot) Expresiones: Operadores y operandos. Cierran con ; Bloques: Conjunto de expresiones en un {….}; Funciones: nombre( arg1, arg2,….). Biblioteca
KAPPA-PC
Herramientas: Kappa-PC
![Page 32: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/32.jpg)
Elementos sintácticosKAPPA-PC
TESTEO (texto): #= , #<, #>TESTEO (números): = =, !=, <, <=,>,>= ASIGNACIÓN: = (todos los tipos)LÓGICOS: And, Or, XorARITMÉTICOS: ^, *, /, +, -
Las Expresiones contienen operadores de distinto tipo:
Herramientas: Kappa-PC
![Page 33: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/33.jpg)
Elementos sintácticosKAPPA-PC
Las reglas predican sobre las instancias definidas .
Rcarnívoro1:
IF animal:comida #= carne;THEN { animal:grupo = carnivoro;
MoveInstance (animal, Carnivoro) };
Herramientas: Kappa-PC
![Page 34: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/34.jpg)
KAPPA-PC ¿Qué es un hecho al realizar encadenamiento de reglas?
Al encadenar reglas, Kappa considera “hechos” a los valores de los pares objeto:slot.
Al redactar las reglas se deben incluir asignaciones de valor a los slots para que el motor pueda realizar el encadenamiento
El sistema reconoce los resultado de otras acciones, pero no los utiliza para construir el árbol de búsqueda.
Herramientas: Kappa-PC
![Page 35: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/35.jpg)
SE basados en reglas de producción
Backward Chaininig en Kappa-PC.
BC
OBJETOS
REGLAS
MI
OBJETIVO
FASES
EXPANDING: EVALÚA LOS IF Y ABRE EL ÁRBOL CONSIDERANDO NUEVOS HECHOS.
COLLAPSING: TESTEA SI VERIFICA EL GOAL.
ASKING: PIDE INFORMACIÓN AL USUARIO.
![Page 36: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/36.jpg)
SE basados en reglas de producción
Backward Chaininig en Kappa-PC.
Utilizando una función.
Desde el Inference Browser Lanzamiento del motor en BC
BackwardChain (< [NOASK]>, Goal, <Lista Reglas> )
Desde el Rule Trace
![Page 37: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/37.jpg)
Ejemplo “Animales Carnívoros” en Backward Chaining.
En el Inference Browser puede seguirse la inferencia “paso a paso” para realizar el debug
![Page 38: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/38.jpg)
Backward Chainning en Kappa-PC: Conclusiones.
Es obligatorio definir un objetivo o test (Goal).
El THEN de las reglas debe incluir hechos que permitan realizar el encadenamiento (asignación de valores a Slots).
No responde a la exploración Primero Profundo definido en el Backward Chaining teórico.
Funcionamiento sistemático único, personalizable por la definición de objetivos o uso de monitores.
Si está habilitado, pide automáticamente información al usuario.
![Page 39: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/39.jpg)
SE basados en reglas de producción
Forward Chainning en Kappa-PC.
BC
MIOBJETOS
REGLASAGENDA DE
HECHOSLISTA DE REGLAS
SELECTIVE
DEPTH FIRST
BREATH FIRST
BEST FIRST
ESTRATEGIAS:
![Page 40: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/40.jpg)
Ciclo de Forward Chainning en Kappa-PC.
1) Se evalúa el hecho actual en la AGENDA.
CC = { REGLAS QUE MENCIONAN EL HECHO EN SUS PREMISAS} LISTA DE REGLAS (LR).
Se quita el hecho de la AGENDA.
2) Se evalúan las REGLAS de LR en orden, al disparar una:
Se agregan (si corresponde) hechos en la AGENDA.
Se quita la REGLA de la LISTA DE REGLAS.
3) Se evalúa finalización. Si hay GOAL y es TRUE FIN.
Si no es así Otro Ciclo.
![Page 41: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/41.jpg)
SE basados en reglas de producción
Forward Chainning en Kappa-PC.
Utilizando una función.
Lanzamiento del motor en FC
ForwardChain ( <[NOASSERT]>, <Goal>, <Lista Reglas> )
Desde el Rule Trace
![Page 42: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/42.jpg)
SE basados en reglas de producción
Forward Chainning en Kappa-PC.
Trabaja a partir de la Agenda y la Lista de Reglas
Se debe garantizar la presencia de objetos en estas estructuras
NOASSERT coloca todas las reglas en Lista de Reglas
Assert coloca en la Agenda los HECHOS de interés
Un hecho corresponde al valor de un slot
![Page 43: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/43.jpg)
SE basados en reglas de producciónForward Chaininig en Kappa-PC.
Colocación de hechos en la Agenda:
1º) SetValue (animal:comida, carne) ;
2º) Assert (animal:comida) ;
3º) ForwardChain ( ) ;El motor busca las reglas que mencionan animal:comida en el IF y las ubica en la Lista de Reglas (CC).
Una vez lanzada la inferencia, los hechos establecidos al disparar las reglas, son colocados automáticamente en la Agenda.
En FC no se pregunta automáticamente al usuario, el diseñador debe garantizar el pedido de información para continuar la búsqueda
![Page 44: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/44.jpg)
Forward Chainning en Kappa-PC.
![Page 45: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/45.jpg)
Forward Chainning en Kappa-PC.
![Page 46: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/46.jpg)
Forward Chainning en Kappa-PC.
Para lanzarlo deben garantizarse hechos en la agenda (Assert inicial o Forward con [NOASSERT]).
Se debe asegurar la posterior introducción de hechos en la agenda durante la inferencia.
Las estrategias permiten recorrer el árbol de búsqueda de diferentes formas.
Las prioridades en las reglas permiten personalizar las estrategias.
![Page 47: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/47.jpg)
Los objetivos no son imprescindibles pero permiten “cortar” la búsqueda.
La búsqueda puede polarizarse lanzando el Forward con diferentes grupos de reglas.
Pueden introducirse “patrones” para inferir sobre distintos objetos.
Forward Chainning en Kappa-PC.
![Page 48: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/48.jpg)
Motor de Inferencias: Estructuras de control
Funcionamiento sistemático Tipo de búsqueda implementada
Ruptura
Demonios
Se invocan a partir de cierto conocimiento deducido durante la ejecución de la aplicación.
Son procedimientos especiales
Elementos de metaconocimiento
![Page 49: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/49.jpg)
Estructuras de control: Demonios
El demonio es una estructura de control que vigila constantemente el comportamiento del SE y se activa cuando encuentra determinadas condiciones en la BC. BC
Disparador
Procedimiento
Kappa-PCMonitores: Demonios que se activan a partir de cómo maneja el sistema los objetos con los que se los asocia.
Difieren de los procedimientos tradicionales, en que estos últimos responden a un llamado específico que los identifica y pone en acción.
![Page 50: Sistemas Expertos Arquitectura - Motor de Inferencias Ingeniería del Conocimiento Ingeniería Electrónica](https://reader036.vdocuments.co/reader036/viewer/2022062303/5537564a550346156f8b4a1b/html5/thumbnails/50.jpg)
Demonios en KAPPA-PC.
If Needed: Cuando el sistema necesita el slot pero su valor no se conoce. Pensado para asignar valores por defecto Debe retornar ese valor.
When Accesed: Cuando el sistema accede al slot sin importar si tiene valor asignado. Lleva como argumentos (slot, valor) y debe retornar valor.
Before Change: Antes de que se cambie el valor del slot. Lleva como argumentos (slot, valor) y debe retornar valor.
After Change: Después de cambiar el valor del slot.