Sandewall, E. (1994). The Range of Applicability of some Nonmonotonic Logics for Strict Inertia. Technical Report LiTH-IDA-R-94-14, Department of Computer and Information Science, Linköping University, Sweden. To appear in the Journal of Logic and Computation. (bibtex),
Abstract: 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 the their validation criteria use a logic with explicit integer time, and has 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 behavior 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.
CS Dept TR Overview