backward chaining, encadeamento inverso
Nos sistemas especialistas, uma forma de resolução de problemas que parte de uma afirmativa e de um conjunto de regras que conduzem à afirmativa, e depois faz o procedimento inverso, comparando as regras com as afirmações armazenadas num banco de dados de fatos até que a veracidade da afirmativa possa ser comprovada ou negada. Comparar com forward chaining (encadeamento direto).