Presná definícia
Čo znamená spätné reťazenie?
Spätné reťazenie je cieľom riadená inferencia, ktorá začne dotazom, nájde pravidlá schopné ho dokázať a rekurzívne vytvára podciele pre ich podmienky. Vyhodnocuje iba znalosti relevantné k cieľu, no môže sa zacykliť alebo opakovane riešiť rovnaký podcieľ. Používa ho Prolog a mnohé expertné systémy.
Skúsenosť a kontext
Ako sa pojem používa v praxi
Diagnostický systém začne hypotézou poruchy a vyžiada iba merania potrebné na jej potvrdenie. Podciele sa memoizujú, cykly detegujú a drahé či citlivé testy majú náklady a oprávnenia. Výstup ukáže dôkazový strom aj alternatívne nedokončené cesty.
Overiteľnosť
Odborné zdroje
Praktické odpovede
Často kladené otázky
Ako funguje spätné reťazenie?
Resolver unifikuje cieľ s hlavou pravidla a nahradí ho zoznamom podcieľov, ktoré skúša dokázať spätným prehľadávaním.
Kedy má spätné reťazenie praktický význam?
Diagnostický systém začne hypotézou poruchy a vyžiada iba merania potrebné na jej potvrdenie.
S čím si pojem nezamieňať?
Forward chaining materializuje dôsledky zo známych dát; backward chaining hľadá iba podporu požadovaného cieľa.
Ako sa výsledok kontroluje?
Overuje sa správnosť a úplnosť odpovedí, ukončenie, memoizácia, poradie cieľov a dôkazová stopa.
Na čo si dať pozor?
Rekurzia bez kontroly neukončí výpočet a prvá nájdená cesta môže skryť inú, vhodnejšiu odpoveď.