Dynamics, Uncertainty and Reasoning