期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种不确定时段的扩展时段时序逻辑:时间Petri网模型表示和线性推理
被引量：
13
1
作者
林闯
刘婷
曲扬
《计算机学报》
EI
CSCD
北大核心
2001年第12期1299-1309,共11页
针对点 -时段时序逻辑的不足 ,提出了一种新的时段时序逻辑——扩展时段时序逻辑 ,对不确定时间段发生的事件具有较好的描述能力 .时间 Petri网模型表示的引入 ,增强了扩展时段时序逻辑的描述直观性及分析能力 ,为进行线性推理提供了有...
针对点 -时段时序逻辑的不足 ,提出了一种新的时段时序逻辑——扩展时段时序逻辑 ,对不确定时间段发生的事件具有较好的描述能力 .时间 Petri网模型表示的引入 ,增强了扩展时段时序逻辑的描述直观性及分析能力 ,为进行线性推理提供了有利的工具 .同时还提出了几种变迁间的实施推理规则 .运用这些规则可以简化复杂时序关系的 Petri网模型 ,并在线性时间复杂度内定量地得到各变迁间的时序逻辑关系 。
展开更多
关键词
点-
时段
时序
逻辑
扩展时段时序逻辑
时间Peter网
线性推理
人工智能
在线阅读
下载PDF
职称材料
扩展时段时序逻辑的推理机制
被引量：
4
2
作者
刘婷
林闯
刘卫东
《计算机学报》
EI
CSCD
北大核心
2002年第6期637-644,共8页
该文在扩展时段时序逻辑的基础上提出了一种推理机制 ,这种推理机制基于时间 Petri网模型及基本不等式规则 ,可由一组已知的扩展时段时序关系推出一些未知的扩展时段时序关系 ,对不确定时间段内发生的事件及其相互关系具有较好的描述能...
该文在扩展时段时序逻辑的基础上提出了一种推理机制 ,这种推理机制基于时间 Petri网模型及基本不等式规则 ,可由一组已知的扩展时段时序关系推出一些未知的扩展时段时序关系 ,对不确定时间段内发生的事件及其相互关系具有较好的描述能力 .这种推理机制的优势在于定性地对扩展时段之间的时序关系进行推理分析 .利用时间 Petri网模型 ,可以对复杂时序逻辑关系进行化简 ,比单纯利用不等式规则的推理更直观 ,也更简单 。
展开更多
关键词
扩展时段时序逻辑
时序
关系
推理机制
时间PETRI网
在线阅读
下载PDF
职称材料
题名
一种不确定时段的扩展时段时序逻辑:时间Petri网模型表示和线性推理
被引量：
13
1
作者
林闯
刘婷
曲扬
机构
清华大学计算机科学与技术系
出处
《计算机学报》
EI
CSCD
北大核心
2001年第12期1299-1309,共11页
基金
国家自然科学基金项目 ( 6 0 1730 12 )
国家重点基础研究发展规划项目( G19990 32 70 7)资助
文摘
针对点 -时段时序逻辑的不足 ,提出了一种新的时段时序逻辑——扩展时段时序逻辑 ,对不确定时间段发生的事件具有较好的描述能力 .时间 Petri网模型表示的引入 ,增强了扩展时段时序逻辑的描述直观性及分析能力 ,为进行线性推理提供了有利的工具 .同时还提出了几种变迁间的实施推理规则 .运用这些规则可以简化复杂时序关系的 Petri网模型 ,并在线性时间复杂度内定量地得到各变迁间的时序逻辑关系 。
关键词
点-
时段
时序
逻辑
扩展时段时序逻辑
时间Peter网
线性推理
人工智能
Keywords
point-interval temporal logic, extended interval temporal logic, time Petri nets, linear inference
分类号
TP183 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
扩展时段时序逻辑的推理机制
被引量：
4
2
作者
刘婷
林闯
刘卫东
机构
清华大学计算机科学与技术系
出处
《计算机学报》
EI
CSCD
北大核心
2002年第6期637-644,共8页
基金
国家自然科学基金 (60 173 0 12 )
国家重点基础研究发展规划项目(G19990 3 2 70 7)
清华大学信息学院 985基础创新研究基金资助
文摘
该文在扩展时段时序逻辑的基础上提出了一种推理机制 ,这种推理机制基于时间 Petri网模型及基本不等式规则 ,可由一组已知的扩展时段时序关系推出一些未知的扩展时段时序关系 ,对不确定时间段内发生的事件及其相互关系具有较好的描述能力 .这种推理机制的优势在于定性地对扩展时段之间的时序关系进行推理分析 .利用时间 Petri网模型 ,可以对复杂时序逻辑关系进行化简 ,比单纯利用不等式规则的推理更直观 ,也更简单 。
关键词
扩展时段时序逻辑
时序
关系
推理机制
时间PETRI网
Keywords
extended interval temporal logic, temporal relation, inference engine, time Petri nets
分类号
TP183 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种不确定时段的扩展时段时序逻辑:时间Petri网模型表示和线性推理
林闯
刘婷
曲扬
《计算机学报》
EI
CSCD
北大核心
2001
13
在线阅读
下载PDF
职称材料
2
扩展时段时序逻辑的推理机制
刘婷
林闯
刘卫东
《计算机学报》
EI
CSCD
北大核心
2002
4
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
