I think part of this connection reflects an universal (not just coincidental) equivalence: between intelligence, (logical) reasoning and planning. Finding a sol

I think part of this connection reflects an universal (not just coincidental) equivalence: between intelligence, (logical) reasoning and planning. Finding a solution to a logical problem is perhaps similar to finding a path in a motion planning problem. You have to consider a number of paths going from A (premises, or in general your current state), to B (a desired proposition, or in general "something that is good/satisfies you"). You have to search a path (within a heuristic list of possible paths) or plan a path of consistent propositions that in the end prove what you want (although our notions of proof and consistency are usually relaxed for practical purposes: when I say "The window was left open, and we are in the winter, therefore the room will be cold", this is not a real proof in the Euclidean sense.