I'm pretty sure reasoning is important towards that goal, but how that is achieved is much less clear. Perhaps some probabilistic additions at the least.