Kazalo:
Opredelitev - Kaj pomeni nazaj vezanje?
Verižno veriženje je metoda sklepanja, ki se široko uporablja v umetni inteligenci, avtomatiziranih dokaznikih teorem in pomočnikih. Metodologija verižnega zavijanja lahko opišemo kot povratno od cilja. Številni programski jeziki podpirajo vezanje za nazaj znotraj svojih mehanizmov za sklepanje.
Verižno veriženje se imenuje tudi nazaj sklepanje.
Tehopedija razlaga nazaj veriženje
Verižno veriženje se uporablja pri logičnem programiranju s selektivno linearno določeno ločljivostjo klavzul. To je ena najpogosteje uporabljenih metod sklepanja z interferenčnimi pravili in logičnimi implikacijami. Verižno veriženje deluje nazaj s seznama ciljev, da ugotovi, ali obstajajo podatki, ki jih podpirajo. Motor sklepanja, ki uporablja povratno veriženje, išče pravila sklepanja, dokler ne najde pravila s posledičnim, ki ustreza želenemu cilju. Če predhodno pravilo tega pravila ni znano, je pravilo dodano na seznam ciljev, tako da lahko najdete podatke, ki ga potrjujejo.
