Obsah:
Definícia - Čo znamená spätné reťazenie?
Spätné reťazenie je inferenčná metóda široko používaná v umelej inteligencii, automatizovaných dokazovačoch vety a asistentoch kontroly. Metodiku spätného reťazenia možno opísať ako prácu späť od cieľa. Mnoho programovacích jazykov podporuje spätné reťazenie v rámci svojich inferenčných motorov.
Spätné reťazenie sa označuje aj ako spätné zdôvodnenie.
Techopedia vysvetľuje spätné reťazenie
Spätné reťazenie sa používa v logickom programovaní prostredníctvom selektívneho lineárneho definitívneho rozlíšenia klauzúl. Je to jedna z najbežnejšie používaných metód zdôvodňovania pravidiel rušenia a logických dôsledkov. Spätné reťazenie funguje dozadu od zoznamu cieľov a určuje, či existujú nejaké údaje na ich podporu. Inferenčný motor, ktorý používa spätné reťazenie, vyhľadáva pravidlá odvodenia, až kým nenájde pravidlo s následkom, ktoré zodpovedá požadovanému cieľu. Ak predchodca tohto pravidla nie je známy ako pravdivý, pravidlo sa pridá do zoznamu cieľov, aby bolo možné nájsť údaje, ktoré ho potvrdia.
