Definição – O que significa Backward Chaining?
O encadeamento reverso é um método de inferência amplamente usado em inteligência artificial, provadores automatizados de teoremas e assistentes de prova. A metodologia de encadeamento reverso pode ser descrita como uma recuperação de um objetivo. Muitas linguagens de programação suportam encadeamento reverso em seus mecanismos de inferência.
O encadeamento reverso também é conhecido como raciocínio reverso.
Definirtec explica o encadeamento reverso
O encadeamento reverso é usado na programação lógica por meio da resolução seletiva de cláusulas definidas lineares. É um dos métodos mais comumente usados de raciocínio com regras de interferência e implicação lógica. O encadeamento reverso funciona retroativamente a partir de uma lista de objetivos para determinar se há dados para apoiá-los. Um mecanismo de inferência que usa encadeamento reverso pesquisa as regras de inferência até encontrar uma regra com um consequente que corresponda ao objetivo desejado. Se o antecedente desta regra não for verdadeiro, a regra é adicionada à lista de metas para que dados possam ser encontrados para confirmá-la.