Encadenamiento hacia delante y encadenamiento hacia atrás

• Encadenamiento hacia delante (forward-chaining)
  • se añade una sentencia a la KB y se generan sus consecuencias
  • renombre: una sentencia es un renombre de otra si son iguales excepto en el nombre de las variables
  • composición de sustituciones
    
  • data-driven, dirigido por los datos, puede generar conclusiones irrelevantes
• Encadenamiento hacia atrás (backward-chaining)
  • devuelve todas las respuestas a una pregunta formulada a la KB
  • cada respuesta es una substitución del conjunto de substituciones
  • se supone que en el algoritmo de unificación se han normalizado por separado standardize apart los argumentos
  • goal-driven, dirigido por los objetivos, responde a lo que se le pregunta