Breadth-first exploration
Most logical inference (e.g. resolution theorem proving) is depth-first
Common sense is broad, not deep
What we want is that, if a simple answer exists, we will find it quickly
Best-first or most-relevant-first limits search