後ろ向き推論

　後ろ向き連鎖，トップダウン推論ともいう．ゴール，または仮説を結論部に持つルールを探し，その条件部を次の仮説として進める推論方式．