jjhj

Encadenamiento hacia adelante y hacia atras
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 desdeel problema a la solución se llama una cadena hacia adelante.
Este tipo de cadena va desde los hechos hsta las conclusiones que siguen a partir de los hechos.
Una cadena que transita hacia atrásdesde una hipótesis hasta 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 hancumplido.
El encadenamiento 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 lasiguiente.
Ejemplo:

conejo(Bugs Bunny)
conejo(x)->
mamifero(x)

mamifero(x)->
animal(x)


aminal(Bugs Bunny)

Un enlace, por otra parte también indica la unificación de variables a hechos.Por ejemplo la variable x en el predicaco conejo(x) debe ser unificada en el primer lugar con el hecho conejo(Bugs Bunny) antes de que la regla conejo se pueda aplicar, por lo que la cadena causalserá en realidad una sucesión de implicaciones y unificaciones
En el encadenamiento hacia atrás el proceso es el inverso: queremos probar la hipótesis de animal(Bugs-Bunny). El problema central delencadenamiento hacia atrás es encontrar una cadena de enlace entre la evidencia y la hipótesis.
El hecho conejo(Bugs Bunny>) se llama la evidencia en el encadenamiento hacia atrás, para indicar que seusará para sostener la hipótesis, siendo esta evidencia usada para probar dicha hipótesis. Tenemos una estructura de claúsulas.
Los encadenamientos hacia adelante y hacia atrás son en realidad...