The author discusses Reiter's formalization method of causal reasoning and his partial solution of the frame problem. In paragraph one, simple, causal reasoning scenario is presented. In paragraph two, language of situation calculus is discussed. In paragraph three, both action precondition axioms and the qualification problem for actions are analyzed. In paragraph four, the author introduces effect axioms. In paragraph five, not only frame axioms but the frame problem is presented as well. Next, explanation closure axioms, unique names axioms for actions and a partial solution to the frame problem are given. Paragraph six contains formalization of scenario described at the beginning of the article. Finally, comments about limitations of the presented method are made.
Financed by the National Centre for Research and Development under grant No. SP/I/1/77065/10 by the strategic scientific research and experimental development program:
SYNAT - “Interdisciplinary System for Interactive Scientific and Scientific-Technical Information”.