Model-theoretical foundation of action and progression

CORC > 计算技术研究所 > 中国科学院计算技术研究所 > 中国科学院计算技术研究所期刊论文 > 英文

	Model-theoretical foundation of action and progression
	Tian, QJ; Shi, ZZ
刊名	SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES
	1997-08-01
卷号	40 期号:4 页码:430-438
关键词	situation calculus many-sorted logic model theory action progression
ISSN号	1006-9321
英文摘要	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.
WOS研究方向	Engineering ; Materials Science
语种	英语
出版者	SCIENCE CHINA PRESS
WOS记录号	WOS:A1997XR16100013
内容类型	期刊论文
源URL	[http://119.78.100.204/handle/2XEOYT63/5469]
专题	中国科学院计算技术研究所期刊论文_英文
通讯作者	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.