Índice:
Definição - O que significa Backward Chaining?
O encadeamento reverso é um método de inferência amplamente utilizado em inteligência artificial, provadores de teoremas automatizados e assistentes de provas. 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 para trás também é chamado de raciocínio para trás.
Techopedia explica encadeamento reverso
O encadeamento reverso é usado na programação lógica através da resolução de cláusulas definidas lineares seletivas. É um dos métodos mais usados de raciocínio com regras de interferência e implicação lógica. O encadeamento reverso funciona de trás para frente a partir de uma lista de objetivos para determinar se existem 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 será adicionada à lista de objetivos para que os dados possam ser encontrados para confirmá-la.