A SUMMARY OF APPLICATIONS OF SITUATION CALCULUS IN REASONING ABOUT ACTIONS
Zhou Sheng-ming · Journal of Guangxi Normal University · 2003
The situation calculus is a formal tool for describing dynamical system and has powerful abilities of representation and implementation in reasoning about action. In the situation calculus,actions,the concurrency and time of actions, belief and knowledge of the agent are formally characterized and the plans with sensing actions are implemented by Prolog in an open world. The main ideas,basic methods and some newly researching results on the situation calculus and its application of reasoning about actions are addressed in this paper.