====== 後ろ向き推論 ======
==== backward reasoning ====

{{tag>..c01}}

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


~~NOCACHE~~