DocumentCode
305418
Title
A model-theoretical approach to action and progression
Author
Tian, Qijia ; Shi, Zhongzhi
Author_Institution
Inst. of Comput. Technol., Acad. of Sci., China
Volume
3
fYear
1996
fDate
14-17 Oct 1996
Firstpage
2173
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Man, and Cybernetics, 1996., IEEE International Conference on
Conference_Location
Beijing
ISSN
1062-922X
Print_ISBN
0-7803-3280-6
Type
conf
DOI
10.1109/ICSMC.1996.565484
Filename
565484
Link To Document