Search

Search is just RL; idk what reasoning is.

Well actually I guess the search-reasoning connection is “reasoning is search through the graph of theorems”.

---

I mean that any state-space search problem can be phrased as an MDP, and RL is the natural way to solve search on a general domain.