A syntax-based approach to reasoning about actions and events

In this paper, we introduce an alternative approach to reasoning about action. The approach provides a solution to the frame and the ramification problem in a uniform manner. The approach involves keeping a (syntax-based) model of the world that is updated when actions are performed. The approach is similar to the STRIPS system in which formulas are deleted and added as effects of an action. The approach however does not suffer from STRIPS' limitations in expressivity.