期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于问题结构的启发式策略在析取时态问题求解中的应用
被引量：
4
1
作者
刘越畅
姜云飞
钱红
《计算机研究与发展》
EI
CSCD
北大核心
2008年第11期1840-1849,共10页
智能规划和调度中的许多时态(或时序)问题可以表达为析取时态问题(DTP).目前,多数析取时态问题求解器将析取时态问题看作约束可满足问题(CSP)或可满足问题(SAT),并使用标准的CSP(或SAT)技术来求解DTP.虽然这些技术在求解DTP时已经可以...
智能规划和调度中的许多时态(或时序)问题可以表达为析取时态问题(DTP).目前,多数析取时态问题求解器将析取时态问题看作约束可满足问题(CSP)或可满足问题(SAT),并使用标准的CSP(或SAT)技术来求解DTP.虽然这些技术在求解DTP时已经可以达到较好的效率,然而,文献中极少研究者关注利用DTP本身特殊的结构中隐含的信息来帮助DTP求解.尝试从DTP的拓扑结构中提取出一种启发式策略.这种启发式策略试图从DTP的结构中提取出定性和定量的标准(TVS)来选择优先赋给当前变量的值,同时基于这种定量值选择标准设计了一个动态变量选择策略(TVO).这种技术基于定义的一种DTP的图模型——析取时态网络(DTN).实验结果显示TVS和TVO策略均可以有效减小搜索中节点访问次数;同时它与已有的RSV值选择策略效果相当,而TVO优于最少剩余值(MRV)方法(节省一个数量级以上的访问节点数);此外,配合其他CSP启发技术,可以得到一个高效的DTP求解算法DTN-DTP.
展开更多
关键词
时态
推理
析取时态问题
约束可满足
问题
值选择
变量排序
智能规划和调度
在线阅读
下载PDF
职称材料
可视化析取时态推理器的设计与实现
2
作者
刘越畅
林晓骏
汤庸
《中山大学学报（自然科学版）》
CAS
CSCD
北大核心
2013年第6期38-43,共6页
时态推理是人工智能领域的重要研究方向。析取时态问题(disjunctive temporal problem,DTP)是一类表达力极强的定量时态模型,被广泛应用于智能规划和调度领域的时态建模,近年来吸引了研究人员的关注。提出DTP弱蕴含性和弱演化析取时态网...
时态推理是人工智能领域的重要研究方向。析取时态问题(disjunctive temporal problem,DTP)是一类表达力极强的定量时态模型,被广泛应用于智能规划和调度领域的时态建模,近年来吸引了研究人员的关注。提出DTP弱蕴含性和弱演化析取时态网络(weakly evolutional disjunctive temporal network,WEDTN)的定义,基于WEDTN设计和实现了可视化DTP求解器TRSE。系统演示发现基于WEDTN的可视化比常见的基于搜索树的可视化更能有利于人们直观理解DTP的求解算法过程、挖掘和发现问题的结构特征对求解过程的影响。
展开更多
关键词
人工智能
时态
推理
析取时态问题
约束可满足
问题
弱演化
析取
时态
网络
在线阅读
下载PDF
职称材料
题名
基于问题结构的启发式策略在析取时态问题求解中的应用
被引量：
4
1
作者
刘越畅
姜云飞
钱红
机构
中山大学软件研究所
出处
《计算机研究与发展》
EI
CSCD
北大核心
2008年第11期1840-1849,共10页
基金
国家自然科学基金项目(60773201)~~
文摘
智能规划和调度中的许多时态(或时序)问题可以表达为析取时态问题(DTP).目前,多数析取时态问题求解器将析取时态问题看作约束可满足问题(CSP)或可满足问题(SAT),并使用标准的CSP(或SAT)技术来求解DTP.虽然这些技术在求解DTP时已经可以达到较好的效率,然而,文献中极少研究者关注利用DTP本身特殊的结构中隐含的信息来帮助DTP求解.尝试从DTP的拓扑结构中提取出一种启发式策略.这种启发式策略试图从DTP的结构中提取出定性和定量的标准(TVS)来选择优先赋给当前变量的值,同时基于这种定量值选择标准设计了一个动态变量选择策略(TVO).这种技术基于定义的一种DTP的图模型——析取时态网络(DTN).实验结果显示TVS和TVO策略均可以有效减小搜索中节点访问次数;同时它与已有的RSV值选择策略效果相当,而TVO优于最少剩余值(MRV)方法(节省一个数量级以上的访问节点数);此外,配合其他CSP启发技术,可以得到一个高效的DTP求解算法DTN-DTP.
关键词
时态
推理
析取时态问题
约束可满足
问题
值选择
变量排序
智能规划和调度
Keywords
temporal reasoning
disjunctive temporal problem （DTP）
constraint satisfaction problem （CSP）
value selection
variable ordering
intelligent planning and scheduling
分类号
TP181 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
可视化析取时态推理器的设计与实现
2
作者
刘越畅
林晓骏
汤庸
机构
嘉应学院计算机学院
华南师范大学计算机学院
华南理工大学计算机学院
出处
《中山大学学报（自然科学版）》
CAS
CSCD
北大核心
2013年第6期38-43,共6页
基金
国家自然科学基金资助项目(61272067
41172028)
+2 种基金
广东省教育厅科技创新资助项目(2012KJCX0097)
梅州市科技计划资助项目(梅市科2012(14)号)
广东省自然基金团队研究资助项目(S2012030006242)
文摘
时态推理是人工智能领域的重要研究方向。析取时态问题(disjunctive temporal problem,DTP)是一类表达力极强的定量时态模型,被广泛应用于智能规划和调度领域的时态建模,近年来吸引了研究人员的关注。提出DTP弱蕴含性和弱演化析取时态网络(weakly evolutional disjunctive temporal network,WEDTN)的定义,基于WEDTN设计和实现了可视化DTP求解器TRSE。系统演示发现基于WEDTN的可视化比常见的基于搜索树的可视化更能有利于人们直观理解DTP的求解算法过程、挖掘和发现问题的结构特征对求解过程的影响。
关键词
人工智能
时态
推理
析取时态问题
约束可满足
问题
弱演化
析取
时态
网络
Keywords
artificial intelligence
temporal reasoning
disjunctive temporal problem （DTP）
constraint satisfaction problem （CSP）
weakly evolutional disjunctive temporal network （WEDTN）
分类号
TP181 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于问题结构的启发式策略在析取时态问题求解中的应用
刘越畅
姜云飞
钱红
《计算机研究与发展》
EI
CSCD
北大核心
2008
4
在线阅读
下载PDF
职称材料
2
可视化析取时态推理器的设计与实现
刘越畅
林晓骏
汤庸
《中山大学学报（自然科学版）》
CAS
CSCD
北大核心
2013
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
