A New Method for Reasoning about Action

Reasoning about action is an important aspect of common sense reasoning and planning. It gives rise to three classical problems: the frame problem,the qualification problem and the ramification problem. Ekisting approaches cannot deal with these problems efficiently. This paper presents a new method which uses the stratified ATMS for reasoning about action to overcome the limitations of these approaches.