In this paper we propose a new approach to address the ramification problem in common-sense reasoning about action and change. We contrast the methods of McCain and Turner , Thielscher  and Sandewall  and, based on some of the limitations they encounter, we introduce a trajectory-based approach which keeps a history of the states through which a system evolves to characterise its dynamical state. We furnish an underlying state-transition semantics and a logic that admits an expressive, dynamical account of some typical scenarios which encounter modelling difficulties in the other approaches mentioned.
|Number of pages||17|
|Publication status||Published - 2001|
- Commonsense Reasoning
- Ramification Problem
- Reasoning about Action and Change
- Trajectory Semantics