előrefelé láncolás

Kapcsolódó fogalmak: 
ítéletlogikai határozott klóz
Kapcsolódó könyvfejezetek: 
9.3. Előrefelé láncolás
Rövid szöveges bemutatás: 
Az előrefelé láncolás egy módszer a bizonyításra vagy a tudásbázis bővítésére. Arról van szó, hogy a tudásbázisunkban a kiinduláskor a rendelkezésünkre állnak bizonyos szabályok. Az előrefelé láncolás addig keres olyan szabályokat melyek feltétel része kielégül (és ezzel új tényadatot hozzáadva a tudásbázishoz), amíg a megfelelő bizonyítást meg nem találtuk, vagy ameddig tudunk ilyen szabályokat találni.