Spisu treści:
Definicja - Co oznacza łączenie wsteczne?
Łańcuch wsteczny jest metodą wnioskowania szeroko stosowaną w sztucznej inteligencji, automatycznych dowodzeniach twierdzeń i asystentach dowodowych. Metodologię łączenia wstecznego można opisać jako wycofywanie się z celu. Wiele języków programowania obsługuje łańcuchy wsteczne w swoich silnikach wnioskowania.
Łańcuch wsteczny jest również nazywany rozumowaniem wstecznym.
Techopedia wyjaśnia tworzenie łańcuchów wstecznych
Łańcuch wsteczny jest wykorzystywany w programowaniu logicznym poprzez selektywne liniowe rozstrzyganie klauzul określonych. Jest to jedna z najczęściej stosowanych metod wnioskowania z regułami interferencji i implikacjami logicznymi. Łańcuch wsteczny działa wstecz od listy celów, aby ustalić, czy są jakieś dane, które je obsługują. Mechanizm wnioskowania, który używa łańcucha wstecznego, przeszukuje reguły wnioskowania, dopóki nie znajdzie reguły z konsekwencją pasującą do pożądanego celu. Jeśli nie wiadomo, że poprzednik tej reguły jest prawdziwy, reguła jest dodawana do listy celów, aby można było znaleźć dane, które ją potwierdzą.
