Cuprins:
Definiție - Ce înseamnă Backward Chaining?
Înlănțuirea înapoi este o metodă de inferență utilizată pe scară largă în inteligența artificială, în dovererele automate și în asistenții de probă. Metodologia de înlănțuire înapoi poate fi descrisă ca lucrând înapoi de la un obiectiv. Multe limbaje de programare acceptă înlănțuirea înapoi în interiorul motoarelor lor inferențe.
Înlănțuirea înapoi se mai numește raționament înapoi.
Techopedia explică înlănțuirea înapoi
Înlănțuirea înapoi este utilizată în programarea logică prin rezoluție selectivă liniară definitivă. Este una dintre cele mai utilizate metode de raționare cu reguli de interferență și implicații logice. Înlănțuirea înapoi funcționează înapoi dintr-o listă de obiective pentru a determina dacă există date care să le susțină. Un motor de inferență care folosește înlănțuirea înapoi caută regulile de inferență până găsește o regulă cu o consecință care se potrivește cu obiectivul dorit. Dacă nu se cunoaște că antecedentul acestei reguli este adevărat, regula este adăugată pe lista obiectivelor, astfel încât să poată fi găsite date care să o confirme.
