backward chaining, encadeamento inverso

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