MODEL-THEORETICAL FOUNDATION OF ACTION AND PROGRESSION

Authors
TIAN QJ SHI ZZ
Citation
Qj. Tian et Zz. Shi, MODEL-THEORETICAL FOUNDATION OF ACTION AND PROGRESSION, SCI CHINA E, 40(4), 1997, pp. 430-438
Citations number
5
Categorie Soggetti
Engineering,"Material Science
Journal title
SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES
ISSN journal
20950624 → ACNP
Volume
40
Issue
4
Year of publication
1997
Pages
430 - 438
Database
ISI
SICI code
2095-0624(1997)40:4<430:MFOAAP>2.0.ZU;2-C
Abstract
Action is one of the most important concepts in computer science, and situation calculus is tile standard formalism for representing and rea soning about actions and their effects. Situation calculus essentially could be presented in a logic framework. Based on the framework LR, s uch a logic framework is given. Minimal action theory is proposed and studied from the point of view of model theory, By theorems of mathema tical logic, some results about the definability about the progression in minimal action theory are obtained.