後こう方ほう推すい論ろん

noun

backward reasoning; backward chaining

In AI and logic, a reasoning method that starts from a goal and works backward to find supporting facts or rules. Often contrasted with forward reasoning.

• エキスパートシステムでは、後こう方ほう推すい論ろんを使つかって結けつ論ろんから必ひつ要ような条じょう件けんを導みちびき出だす。

  In expert systems, backward reasoning is used to derive necessary conditions from a conclusion.