Comment by Bolwin
That's bizarre because I would expect the opposite. For reasoning you go step by step, and when you're done quickly diffuse the answer
That's bizarre because I would expect the opposite. For reasoning you go step by step, and when you're done quickly diffuse the answer
Unification in logic programming isn't a forwards-only process, so there's no reason to expect deduction in an AI to proceed in a sort of procedural step by step fashion either. What ultimately matters is that all of the various deductions unify coherently in the end.
However after step 4 you might notice that you made a mistake in step 2 and revise it. You might think in steps, but the state you are building is formed a bit diffusion-like