{'fraction_non_alphanumeric': 0.01381509032943677, 'fraction_numerical': 0.0, 'mean_word_length': 5.0, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
The Range of Applicability of Some Non-monotonic Logics for Strict Inertia

We present assessments for a number of previously proposed theories of action and change as well as some new ones. Each assessment iden-tiies 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.