The Range of Applicability of some Non-monotonic Logics for Strict Inertia
Erik J. Sandewall · Journal of Logic and Computation · 1994
We present assessments for a number of previously proposed theories of action and change as well as some new ones. Each assessment identifies a class of scenarios for temporal reasoning where the theory is guaranteed to obtain the correct results. For some of the theories we have also obtained upper-bound results on the range of correct applicability. The theories and their validation criteria use a logic with explicit integer time, and have been generalized to linear and branching metric time. The assessments show how the correctness of each theory depends on factors such as whether actions are deterministic, whether scenarios involve prediction only, or what is the behaviour of each type of action within its execution period. The paper describes equally the methodology that has been used for obtaining the assessments, and the assessments themselves.