ING.

WALTER ZULOAGA CONTRERAS

ALUMNOS: SHARON CONZA CASTILLO

BEKER MONTERROSO VALVERDE
 Mtodos de
Encadenamiento

Progresivo Encadenamiento hacia delante
Las inferencias se realizan desde los antecedentes
hacia los consecuentes.

Regresivo Encadenamiento hacia atrs

Las inferencias se realizan partiendo desde los
consecuentes hacia los antecedentes

Mixto, encadenamiento hibrido

Deductividad
 Mtodo de Encadenamiento Progresivo-
Problema
Base de Conocimiento (BC):

La base de conocimiento est conformado por un conjunto de reglas,
donde algunos antecedentes pueden ser consecuentes de otras reglas.
Adems, solo existen inters de identificar determinados
consecuentes, los cuales son llamados de consecuentes terminales.
Ejemplo : Base de Hechos(BH)
R1: Si A,B C BH = (H,I,K,M)
R2: Si D,E, F G Problema
R3: Si H,I J Determine el consecuente
R4: Si C,G K terminal asociado a BH
R5: Si G,J L
R6: Si K,L M
LCT : M Lista de Consecuentes terminales
Representacin grfica de las relaciones del
Problemas con sus 6 Reglas

Resumen Encadenamiento Progresivo

Se produce cuando el objetivo propuesto
al sistema hace que se ejecute una regla, y
la conclusin obtenida permite que se
ejecute otra, y as sucesivamente hasta
llegar a una respuesta, positiva o negativa.
El punto final se detecta cuando no se
pueden producir ms encadenamientos,
por ejemplo cuando se llega a un axioma
hecho.
Encadenamiento Regresivo

Consiste en, dado un objetivo, buscar una regla que
permita establecer dicha conclusin, el proceso se repite
hasta encadenar con la regla cuya conclusin satisfaga el
objetivo propuesto, o se detecte que dicho problema no
se puede resolver positivamente.

Por ejemplo para averiguar si "Mario Prez es doctor" se

busca un regla que tenga esta afirmacin en sus
consecuencias. Analizando las reglas anteriores vemos
que la regla:
R5. SI (x ES CATEDRTICO) ENTONCES (x ES
DOCTOR)
Satisface estas condiciones; siguiendo esta regla hacia
atrs tenemos que buscar una nueva que permita validar
si "Mario Prez" es catedrtico, lo cual se hace con el
axioma R2.
 Encadenamiento Hibrido

Partes de la cadena de razonamiento que conduce de los
a los objetivos se construyen deductivamente y otras
partes inductivamente: exploracin bi-direccional.
En cambio la estrategia suele llevarse a cabo a travs de
meta-reglas como por ejemplo:
Funcin de estados iniciales y finales
Funcin de la direccin de la ramificacin
Se evita la explosin combinatoria del razonamiento
deductivo.
 Factores para decidir el
sentido de encadenamiento

Numero de estados iniciales y finales
Del conjunto mas pequeo hacia el mas grande

Factor de ramificacin
Preferible en el sentido del factor mas pequeo

Necesidad de justificar el proceso de razonamiento

Razonamiento habitual del usuario
Comparacion (matching)

Es mas complicada en el razonamiento hacia
adelante
Si las condiciones de una regla se cumplen, una vez
aplicada se puede entrar en un ciclo

Existen mecanismos eficientes de comparacin y

seleccin que evitan repasar todas las reglas de la
BASE DE CONOCIMIENTO:
Prolog indexa las clausulas segn los predicados
 Ventajas y desventajas

Ventajas Desventajas

Deduccin intuitiva No focaliza los

Facilita la objetivos en algunos
formalizacin del casos
conocimiento al hacer
Explosin
un uso natural del
mismo combinatoria
Razonamiento dirigido Demora en la
por el objetivo bsqueda