CSpace  > 中国科学院计算技术研究所期刊论文  > 英文
Model-theoretical foundation of action and progression
Tian, QJ; Shi, ZZ
1997-08-01
发表期刊SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES
ISSN1006-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.
条目包含的文件
条目无相关文件。
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[Tian, QJ]的文章
[Shi, ZZ]的文章
百度学术
百度学术中相似的文章
[Tian, QJ]的文章
[Shi, ZZ]的文章
必应学术
必应学术中相似的文章
[Tian, QJ]的文章
[Shi, ZZ]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。