Representing and reasoning about a dynamic world