摘要
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.
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.
