Title :
A model-theoretical approach to action and progression
Author :
Tian, Qijia ; Shi, Zhongzhi
Author_Institution :
Inst. of Comput. Technol., Acad. of Sci., China
Abstract :
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
Keywords :
process algebra; temporal logic; temporal reasoning; LR; computer science; first-order logic framework; mathematical logic; minimal action theory; model theory; model-theoretical approach; progression; situation calculus; Calculus; Computer science; Game theory; Logic;
Conference_Titel :
Systems, Man, and Cybernetics, 1996., IEEE International Conference on
Conference_Location :
Beijing
Print_ISBN :
0-7803-3280-6
DOI :
10.1109/ICSMC.1996.565484
