後うしろ向むき推すい論ろん

noun

backward reasoning; backward chaining

In AI and logic programming, a reasoning method that starts from a goal and works backward to find supporting facts or rules. Often contrasted with forward reasoning (前向き推論).

• エキスパートシステムでは後うしろ向むき推すい論ろんがよく使つかわれる。

  Backward reasoning is often used in expert systems.

• Prologは後うしろ向むき推すい論ろんを基き本ほんとする言げん語ごだ。

  Prolog is a language based on backward reasoning.