A Computational Model of Backward Reasoning in Human Problem Solving
When solving a problem with a clear goal, people often break down the problem into subgoals, a form of reasoning known as backward reasoning. The cognitive mechanisms of backward reasoning are poorly understood. Inspired by classic ideas from Newell and Simon, we conceptualize backward reasoning as search through a s...