A model-theoretical approach to action and progression
Qijia Tian, Zhongzhi Shi · 2002
Action is one of the most important concepts in computer science, and situation calculus is the standard formalism for representing and reasoning about actions and their effects. Situation calculus essentially could be presented in a logic framework. In this paper, based on Fangzhen and Reiter's first-order logic framework LR (1994), we propose such a logic framework and study it from the point view of model theory. By theorems of mathematical logic, we research minimal action theory and progression.