L'encadenament cap enrere comença amb una llista d'objectius (o una hipòtesi) i funciona cap enrere des del conseqüent fins a l'antecedent per veure si alguna dada admet alguna d'aquestes conseqüències. Un motor d'inferència que utilitza l'encadenament cap enrere cercaria les regles d'inferència fins que en trobe una amb una consegüent clàusula (Then) que coincideixi amb un objectiu desitjat. Si no se sap que l'antecedent (clàusula If ) d'aquesta regla és cert, llavors s'afegeix a la llista d'objectius (perquè es confirmi l'objectiu també cal proporcionar dades que confirmin aquesta nova regla).
Un exemple d'encadenament cap enrere
Per exemple, suposem que una mascota nova, Fritz, s'entrega en una caixa opaca juntament amb dos fets sobre Fritz:
Fritz gralla
Fritz menja mosques
L'objectiu és decidir si Fritz és verd, basant-se en una base de regles que conté les quatre regles següents:
Si X gralla i X menja mosques, llavors X és una granota
Si X xiula i X canta, llavors X és un canari
Si X és una granota, llavors X és verd
Si X és un canari, llavors X és groc
Amb un raonament cap enrere, un motor d'inferència pot determinar si Fritz és verd en quatre passos. Per començar, la consulta es formula com una afirmació d'objectiu que s'ha de demostrar: "Fritz és verd".[4]
