Skip to main content
SpringerLink
Log in

A new method for reasoning about action

  • Published:
Journal of Computer Science and Technology Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Hanks S, McDermott D. Default reasoning, nonmonotonic logics and the frame problem. InProc. of AAAI-86, pp.328–333.

  2. de Kleer J. An assumption-based TMS.Artificial Intelligence, 1986, 28: 127–162.

    Article  Google Scholar 

  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.

  4. Shoham Y. Chronological ignorance. InProc. of AAAI-86, pp.389–393.

  5. Haugh B. Simple causal minimization for temporal persistence and projection. InProc. of AAAI-86, pp.218–223

  6. Baker A B. Nonmonotonic reasoning in the framework of situation calculus.Artificial Intelligence, 1991, 49: 5–23.

    Article  MATH  MathSciNet  Google Scholar 

  7. McCarthy J. Circumscription—A form of nonmonotonic reasoning.Artificial Intelligence, 1980, 13: 27–39.

    Article  MATH  MathSciNet  Google Scholar 

  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.

  9. Winslett M. Reasoning about action using a possible models approach. InProc. of AAAI-88, pp.89–93.

Download references

Author information

Authors and Affiliations

  1. Institute of Image Processing & Pattern Recognition, Shanghai Jiaotong University, 200030, Shanghai

    Yang Jie

Authors
  1. Yang Jie
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

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.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Yang, J. A new method for reasoning about action. J. of Comput. Sci. & Technol. 11, 188–192 (1996). https://doi.org/10.1007/BF02943534

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02943534

Keywords

Search

Navigation