可视化析取时态推理器的设计与实现

• 作者: 刘越畅 林晓骏 汤庸
• 来源期刊: 中山大学学报（自然科学版）
• 学科: 工学
• 关键词: 人工智能 时态推理 析取时态问题 约束可满足问题 弱演化析取时态网络
• 年，卷（期）: 2013,（6）
• 页码范围: 38-43
• 页数: 6页
• 分类号: TP181
• 字数: 4977字
• 语种: 中文

摘要

时态推理是人工智能领域的重要研究方向。析取时态问题（disjunctive temporal problem，DTP）是一类表达力极强的定量时态模型，被广泛应用于智能规划和调度领域的时态建模，近年来吸引了研究人员的关注。提出DTP弱蕴含性和弱演化析取时态网络（weakly evolutional disjunctive temporal network，WEDTN）的定义，基于WEDTN设计和实现了可视化DTP求解器TRSE。系统演示发现基于WEDTN的可视化比常见的基于搜索树的可视化更能有利于人们直观理解DTP的求解算法过程、挖掘和发现问题的结构特征对求解过程的影响。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	汤庸	华南师范大学计算机学院	92	593	13.0	19.0
2	刘越畅	嘉应学院计算机学院	6	50	3.0	6.0
6	林晓骏	华南理工大学计算机学院	1	0	0.0	0.0