Encadenamiento

Encadenamiento hacia adelante
Un grupo de múltiples reglas de inferencia que contiene un problema con su solución se llama cadena.
Una cadena que realiza una búsqueda o camino desde el problema a lasolución se llama una cadena hacia adelante.
Este tipo de cadena va desde los hechos hasta las conclusiones que siguen a partir de los hechos.
Una cadena que transita hacia atrás desde una hipótesishasta los hechos que soportan tal hipótesis se llama una cadena hacia atrás. Otra forma de definirla es en términos de una meta que puede estar formada por submetas que se han cumplido.
Elencadenamiento se puede expresar con cierta facilidad en términos de inferencia si suponemos que tenemos reglas del tipo Modus-poner.
p->q
p
_____________
:. q

conejo(x)->mamifero(x)
mamifero(x)->animal(x)Por tanto una cadena causal de encadenamiento hacia adelante se representa mediante una secuencia de enlaces que conectan el consecuente de una regla con el antecedente de la siguiente.
Ejemplo:conejo(Bugs Bunny)
conejo(x)->
mamifero(x)

mamifero(x)->
animal(x)


aminal(Bugs Bunny)



EJEMPLO
Por ejemplo, supongamos que el objetivo es concluir el color de mi mascota Fritz, dado que croa y comemoscas, y que la base de reglas contiene las siguientes cuatro reglas:
Si X croa y come moscas - Entonces X es una rana
Si X chirridos y canta - Entonces X es un canario
Si X es una rana - Entonces Xes verde
Si X es un canario - Entonces X es amarillo

Vamos a ilustrar encadenamiento hacia atrás, siguiendo el patrón de un equipo, ya que evalúa las reglas. Suponga los siguientes hechos:
Fritzcroa
Fritz come moscas
Tweety come moscas
Chirridos Tweety
Tweety es amarilla
Con el razonamiento hacia atrás, el equipo puede responder a la pregunta "¿Quién es una rana?" en cuatro pasos: En surazonamiento, el equipo utiliza un marcador de posición para la respuesta.
Son programas que se encargan de gestionar las informaciones existentes en la base de conocimientos y los datos de la base de...