A new method for reasoning about action
- 12 Downloads
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.
KeywordsReasoning about action nonmonotonic reasoning stratified ATMS
Unable to display preview. Download preview PDF.
- Hanks S, McDermott D. Default reasoning, nonmonotonic logics and the frame problem. InProc. of AAAI-86, pp.328–333.Google Scholar
- 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
- Shoham Y. Chronological ignorance. InProc. of AAAI-86, pp.389–393.Google Scholar
- Haugh B. Simple causal minimization for temporal persistence and projection. InProc. of AAAI-86, pp.218–223Google Scholar
- 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
- Winslett M. Reasoning about action using a possible models approach. InProc. of AAAI-88, pp.89–93.Google Scholar