UNIVERSIDAD PERUANA LOS ANDES

FACULTAD DE INGENIERIA
ESCUELA PROFESIONAL DE INGENIERIA DE
SISTEMAS
ASIGNATURA: INTELIGENCIA ARTIFICIAL
TEMA: ENCADENAMIENTO DE REGLAS
SEMESTRE: X
SEMANA: 3
DOCENTE DE CURSO: MG. ING. FREDDY TORIBIO HUAYTA MEZA

ENCADENAMIENTO DE REGLAS
El encadenamiento se puede expresar con cierta facilidad en
trminos de inferencia si suponemos que tenemos reglas del
tipoModus-tollens.
p->q
p
_____________
:. q

conejo(x)>mamifero(x)
mamifero(x)>animal(x)

Existen dos mecanismos fundamentales de encadenamiento de

reglas los cuales explicamos a continuacin.

1. ENCADENAMIENTO HACIA
ADELANTE
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.
Una cadena que realiza una bsqueda o camino desde el
problema a la solucin se llama una cadena hacia adelante.
Este tipo de cadena va desde los hechos hasta las conclusiones
que siguen a partir de los hechos.

 Por ejemplo:
(1).SI(x ES JEFE_DPTO)ENTONCES(x ES CATEDRTICO)
(2). CATEDRTICO("Mario Prez")
(3). CATEDRTICO("Manuel Fernndez")
(4). CATEDRTICO("Mara Gonzlez")

 Al evaluar el objetivo: "Mario Prez es Jefe_Dpto"?, se

dispara la regla (1), la cual a su vez se encadena con
la (2), en este momento no se pueden producir ms
encadenamientos pues la regla (2) es un axioma.
Llegado a este punto el Motor de Inferencia retrocede
y da una respuesta positiva a la pregunta.

2. ENCADENAMIENTO HACIA ATRAS

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 una regla que tenga esta afirmacin
en sus consecuencias. Analizando las reglas anteriores vemos
que la regla:
Una cadena que transita hacia atrs desde una hiptesis hasta
los hechos que soportan tal hiptesis se llama una cadena hacia
atrs.

 (5).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 (2).

Los encadenamientos constituyen, de esta manera, una

de las herramientas fundamentales del Motor de
Inferencia; el Lenguaje PROLOG solamente soporta el
encadenamiento hacia atrs, el cual constituye el ms
frecuentemente implementado.