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. Existing 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.
Keywords Reasoning about action - nonmonotonic reasoning - stratified ATMS
Yang Jie received his B.S. degree in automatic control in 1985 and M.S. degree in pattern recognition & intelligent control in 1988
both from Shanghai Jiaotong University. In 1994 he received his Ph.D. degree in computer science from University of Hamburg,
Germany. He is currently an Associate Professor of Institute of Image Processing & Pattern Recognition, Shanghai Jiaotong
University. His research interests include artificial intelligence, pattern recognition and intelligent control.