Temporal reasoning is an essential process that underlies how humans conceptualize time. Reasoners routinely make inferences about durations in order to carry out time-dependent tasks, such as picking a friend up at the airport.
But, how do people mentally represent and reason about temporal relations, i.e., relations such as before, after, while, and during? Such relations describe events that can persist across multiple points in time, and many logical frameworks exist that describe ideal temporal reasoning patterns. But those frameworks do not explain how people mentally represent time, and so they cannot characterize the mental processes or the strategies people use when reasoning about time. Recent treatments of temporal reasoning explain how people mentally represent temporal relations. They are based on the idea that people construct mental models, i.e., iconic mental simulations, to draw conclusions from premises or observations. Models can be used to reason about time in two ways: first, they can implement a mental timeline, i.e., models can use space to represent time. To mentally simulate durative relations, reasoners do not represent all of the time points across which an event might endure. Instead, they construct discrete tokens that stand in place of the beginnings and endings of durative events.
Second, models can use time to represent time, i.e., they can mentally represent a sequence of events that unfold in the same order as would unfold in real life. Recent studies show that people use such kinematic models when they solve problems, abductively infer informal algorithms, and deductively infer the consequences of algorithms.
Monica Bucciarelli, Geoff Goodwin, Phil Johnson-Laird, Laura Kelly, Sangeet Khemlani, Robert Mackiewicz, Cristina Quelhas, Walter Schaeken, Andre Vandierendonck