Taula de continguts:
Definició: què significa el retrocés?
El encadenament endarrere és un mètode d’inferència àmpliament utilitzat en intel·ligència artificial, demostradors automatitzats de teorema i auxiliars de prova. La metodologia d’encadenament endarrere es pot descriure com treballar des d’un objectiu. Molts llenguatges de programació admeten els encadenaments endarrerits dins dels seus motors d'inferència.
L'encadenament enrere també es coneix com a raonament enrere.
La Techopedia explica Backinning Chaining
L'encadenament endarrere s'utilitza en la programació lògica mitjançant una resolució selectiva de clàusules lineals. És un dels mètodes de raonament més utilitzats amb regles d’interferència i implicació lògica. La cadena enrere funciona enrere en una llista d'objectius per determinar si hi ha dades que els suportin. Un motor d'inferència que utilitza encadenament cap enrere busca les regles d'inferència fins a trobar una regla amb una conseqüent que coincideixi amb l'objectiu desitjat. Si no es coneix l’antecedent d’aquesta regla, la regla s’afegeix a la llista d’objectius de manera que es poden trobar dades que ho confirmin.
