Model-theoretical foundation of action and progression

	Model-theoretical foundation of action and progression
	Tian, QJ; Shi, ZZ
	1997-08-01
发表期刊	SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES
ISSN	1006-9321
卷号	40 期号:4 页码:430-438
摘要	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.
关键词	situation calculus many-sorted logic model theory action progression
收录类别	SCI
语种	英语
WOS研究方向	Engineering ; Materials Science
WOS类目	Engineering, Multidisciplinary ; Materials Science, Multidisciplinary
WOS记录号	WOS:A1997XR16100013
出版者	SCIENCE CHINA PRESS
引用统计
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/5470
专题	中国科学院计算技术研究所期刊论文_英文
通讯作者	Tian, QJ
作者单位	CHINESE ACAD SCI, INST COMP TECHNOL, BEIJING 100080, PEOPLES R CHINA
推荐引用方式 GB/T 7714	Tian, QJ,Shi, ZZ. Model-theoretical foundation of action and progression[J]. SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES,1997,40(4):430-438.
APA	Tian, QJ,&Shi, ZZ.(1997).Model-theoretical foundation of action and progression.SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES,40(4),430-438.
MLA	Tian, QJ,et al."Model-theoretical foundation of action and progression".SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES 40.4(1997):430-438.