摘要
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. Based on the framework LR, such a logic framework is given. Minimal action theory is proposed and studied from the point of view of model theory. By theorems of mathematical logic, some results about the definability about the progression in minimal action theory are obtained.
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. Based on the framework LR, such a logic framework is given. Minimal action theory is proposed and studied from the point of view of model theory. By theorems of mathematical logic, some results about the definability about the progression in minimal action theory are obtained.
基金
Project supported by the Chinese Postdoctoral Foundation.
