Reasoning about concurrent actions within features and fluents

Abstract

E. Sandewall (1994) proposed a systematic assessment method for temporal logics. In favour of the assessment of logics, we have introduced concurrency into his framework. The resulting formalism is capable of reasoning about interdependent as well as independent concurrent actions. We have then applied the entailment criteria PCM (prototypical chronological minimization of change) and PCMF (filtered PCM) to selecting intended models of common-sense theories where concurrent actions are allowed, and have proved that the criteria only lead to those intended models for the respective subsets of such theories.