Преглед садржаја:
Дефиниција - Шта значи повратно везивање?
Ланац уназад је метода закључивања која се широко користи у вештачкој интелигенцији, аутоматизованим доказима теорема и помоћницима у испитивању. Методологија ланчаног уназад може се описати као повратно постизање циља. Многи програмски језици подржавају кретање уназад унутар својих мотора.
Ланац уназад се такођер назива и расуђивање уназад.
Техопедија објашњава повратно везивање
Повратно везивање користи се у логичком програмирању путем селективне линеарне дефиниције резолуције клаузуле. То је један од најчешће коришћених метода закључивања са правилима ометања и логичке импликације. Ланац уназад делује уназад с списка циљева како би се утврдило да ли постоје подаци који би их подржали. Механизам закључивања који користи ланчано кретање уназад претражује правила закључивања док не нађе правило са последицом које одговара жељеном циљу. Ако се не зна да је антецедент овог правила тачан, правило се додаје на листу циљева тако да се могу пронаћи подаци који га потврђују.
