[Atlantium]

It sounds like general problem solving ie. Collect all the individual components of the problem and research the known methods of connecting the components to each other to achieve the desired result. When the desired result is found the problem is solved. It's how basic word problems are formatted. This is well documented. The problem is getting humans to follow the steps instead of making what they think are intuitive leaps but are really mental errors.

[User23]

Right. That’s what math is for. Intuition is well and good, but rigor demands deriving the path you leapt ahead on.