問題番号: No.765 (しっかりモード)

エキスパートシステムにおいて、与えられた初期データから規則を次々と適用して結論を導き出す手法がある一方で、先に仮説となる結論を設定し、その結論を証明するために必要な事実が揃っているかを逆方向から確認していく手法がある。診断や故障原因の特定など、目的が絞られている場合に計算効率が良いこの手法はどれか。