Sadržaj:
Definicija - Što znači povratno vezivanje?
Lanac unatrag je metoda zaključivanja koja se široko koristi u umjetnoj inteligenciji, automatiziranim dokazima teorema i pomoćnicima u ispitivanju. Metodologija zaobilaženja unatrag može se opisati kao povratno postizanje cilja. Mnogi programski jezici podržavaju povratno vezivanje unutar svojih motora.
Naoko vezivanje naziva se i rezonovanjem unatrag.
Tehopedija objašnjava povratno vezivanje
Leđno vezivanje koristi se u logičkom programiranju kroz selektivnu linearnu određenu rezoluciju klauzule. To je jedna od najčešće korištenih metoda zaključivanja s interferencijskim pravilima i logičkom implikacijom. Naoko vezivanje djeluje unatrag s popisa ciljeva kako bi se utvrdilo postoje li podaci koji bi ih podržali. Mehanizam zaključivanja koji koristi lančano kretanje unatrag pretražuje pravila zaključivanja sve dok ne nađe pravilo s posljedicom koje odgovara željenom cilju. Ako je poznato da antecedent ovog pravila nije istinit, pravilo se dodaje popisu ciljeva tako da se mogu pronaći podaci koji to potvrđuju.
