hátrafelé láncolás

Kapcsolódó könyvfejezetek: 
9.4. Hátrafelé láncolás
Rövid szöveges bemutatás: 
A hátrafelé láncolás egy következtetési eljárás. Az eljárás a bizonyítandó állításból indul ki, és megpróbál eljutni a tudásbázis ismert tényeihez. Minden állításnak vannak bizonyos elő követelményei és következményei. A következmény maga az állítás igazzá válása és további extra állítások esetleg. A hátrafelé láncolás az elő követelményeken keresztül halad visszafelé. Így ha olyan elő követelményt talál, mely nem szerepel a tudásbázisban akkor megkeresi annak is az elő követelményeit, és így tovább, amíg el nem jut már ismert tényekhez.