Journal of Computer Science and Technology

, Volume 11, Issue 2, pp 188–192 | Cite as

A new method for reasoning about action

  • Yang Jie 


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.


Reasoning about action nonmonotonic reasoning stratified ATMS 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Hanks S, McDermott D. Default reasoning, nonmonotonic logics and the frame problem. InProc. of AAAI-86, pp.328–333.Google Scholar
  2. [2]
    de Kleer J. An assumption-based TMS.Artificial Intelligence, 1986, 28: 127–162.CrossRefGoogle Scholar
  3. [3]
    Yang Jie. Prioritized justification-based nonmonotonic logic and its applications. Ph.D. dissertation (University of Hamburg, Germany), Shaker Verlag, 1994, ISBN: 3-8265-0120-9.Google Scholar
  4. [4]
    Shoham Y. Chronological ignorance. InProc. of AAAI-86, pp.389–393.Google Scholar
  5. [5]
    Haugh B. Simple causal minimization for temporal persistence and projection. InProc. of AAAI-86, pp.218–223Google Scholar
  6. [6]
    Baker A B. Nonmonotonic reasoning in the framework of situation calculus.Artificial Intelligence, 1991, 49: 5–23.zbMATHCrossRefMathSciNetGoogle Scholar
  7. [7]
    McCarthy J. Circumscription—A form of nonmonotonic reasoning.Artificial Intelligence, 1980, 13: 27–39.zbMATHCrossRefMathSciNetGoogle Scholar
  8. [8]
    Ginsberg M L, Smith D E. Reasoning about action II: The qualification problem. InProc. of the 1987 Workshop of the Frame Problem in AI, pp. 259–287.Google Scholar
  9. [9]
    Winslett M. Reasoning about action using a possible models approach. InProc. of AAAI-88, pp.89–93.Google Scholar

Copyright information

© Science Press, Beijing China and Allerton Press Inc. 1996

Authors and Affiliations

  • Yang Jie 
    • 1
  1. 1.Institute of Image Processing & Pattern RecognitionShanghai Jiaotong UniversityShanghai

Personalised recommendations