基于时间区间的并行行为与并发事件逻辑--《计算机工程》2002年03期

《计算机工程》 2002年03期

基于时间区间的并行行为与并发事件逻辑

【摘要】：在基于时间区间的时态逻辑基础上,提出了一种处理主体并行行为与并发事件的逻辑理论框架。文章提出的逻辑系统将事件与动作置于同一个逻辑体系下,以时间区间为基础,深入分析了二者之间的关系,充分发挥了事件的作用,动作的描述得到简化。文章给出了逻辑系统的语法和语义描述,还提出了基于领域描述结构的并发事件冲突消解方法。

【作者单位】：北京理工大学计算机科学工程系北京理工大学计算机科学工程系
【关键词】：主体动作事件 基于区间的时态逻辑 框架分枝
【分类号】：TP301
【DOI】：CNKI:SUN:JSJC.0.2002-03-004
【正文快照】：

主体行为逻辑的研究是当前多主体研究领域的焦点问题之一，主要工作都集中在复杂动作表达、行为中的时间逻辑、框架问题和分枝问题(Frame Problem)(Ramification 的解决上Problem)[1-6]。上述研究工作取得了很大的成果，然而也存在一定的缺陷。因此，在文献的基础上，我们在[7

下载全文更多同类文献

CAJ格式全文

PDF格式全文

(下载本文按0.5元/页收费，欢迎：购买知网卡、在线咨询)

CAJViewer阅读器支持CAJ，PDF文件格式，AdobeReader仅支持PDF格式

	【相似文献】
	【相似文献】

中国期刊全文数据库

前10条

1	温光均;;科技英语常用的动词时、体形式[J];河北理工学院学报;1980年01期
2	蒋齐生;;说“快”[J];新闻战线;1980年05期
3	周志成;;顺序控制器的设计[J];西南交通大学学报;1980年03期
4	P. Rechenberg;周炳生;;用属性文法进行编译[J];微电子学与计算机;1981年03期
5	方裕;A. J. MARTIN;;平行程序设计的分布式实现方法[J];计算机研究与发展;1981年12期
6	孟昭燕;;戏剧讲稿[J];编辑之友;1981年02期
7	温光均;;科技英语常用的动词时、体形式[J];凿岩机械气动工具;1981年02期
8	陈宗信;;WANG——2200机基本绘图程序剖析[J];物探化探计算技术;1983年03期
9	;科技英语常识(六)[J];中外公路;1983年04期
10	陈清璜;刘国珍;何小平;;浅谈太极拳锻炼中呼吸和动作相结合的问题[J];湖南师范大学自然科学学报;1983年S1期

中国重要会议论文全文数据库

前4条

1	徐铁生;;以实例介绍CSFC方法[A];1992年中国控制与决策学术年会论文集[C];1992年
2	金兌勁;;动态结构产品的设计特性研究[A];2006年中国机械工程学会年会暨中国工程院机械与运载工程学部首届年会论文集[C];2006年
3	张烨;;解读小学英语情境教学的密码[A];江苏省教育学会2006年年会论文集（英语专辑）[C];2006年
4	唐建兴;;凝冻灾害期间贵州北部电网低周减载装置动作情况分析[A];2008年抗冰保电优秀论文集[C];2008年

中国重要报纸全文数据库

前10条

1	;史红梅长安扮昭君[N];北京日报;2000年
2	金富怀龙志明丁勇;川渝电网沉着应对临危不乱[N];中国电力报;2000年
3	实习生郑灯康;跳舞毯大街小巷“舞”起来[N];中国电子报;2000年
4	本报记者梁洪波;婚姻法修改动作大[N];中国妇女报;2000年
5	记者高耀彬;500万重奖新生[N];中国教育报;2000年
6	王文林;怎样的批评更有效[N];中国教育报;2000年
7	马志强;走近“吴宇森电影”[N];重庆日报;2000年
8	漆月;关于芭蕾[N];重庆日报;2000年
9	;滑雪银色的行动[N];重庆商报;2000年
10	杨昌忠;体育摄影：表现个性的艺术[N];中国水利报;2000年

中国博士学位论文全文数据库

前1条

1	陈雪梅;中学向量课程与教学的研究[D];华东师范大学;2007年

中国硕士学位论文全文数据库

前2条

1	欧阳玲;关于康德“先天综合判断”假定前提来源的追问及思考[D];河南大学;2006年
2	蔡克;冲击载荷作用下机构可靠性分析研究[D];南京理工大学;2005年