Interesting distinction. It's almost like the traditional distinction in formal logic, deductive vs inductive logic. One gives definite results but can only give you what it already knows. The other relies on observed patterns but may be biased if the patterns are not representative of the whole.