Ten requirements for a theory of change

In order to focus the discussion on temporal reasoning in Artificial Intelligence, we propose a list of requirements that a rigorous theory of time and change must meet. These requirements refer to the desired expressiveness of the formalism (such as representing continuous change) and to potential pitfalls (such as theinter- andintra-frame problems) that should be avoided. We “benchmark” some of the better known temporal formalisms that have been proposed in Artificial Intelligence by stating which of the requirements are met, in our opinion, by each formalism.