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

Design and Implementation of a Visualisable Disjunctive Temporal Problem Solver

作　　者：刘越畅[1,2] 林晓骏 汤庸[2] 

机构地区：[1]嘉应学院计算机学院,广东梅州514015 [2]华南师范大学计算机学院,广东广州510631 [3]华南理工大学计算机学院,广东广州510006

出　　处：《中山大学学报（自然科学版）》2013年第6期38-43,共6页Acta Scientiarum Naturalium Universitatis Sunyatseni

基　　金：国家自然科学基金资助项目(61272067;41172028);广东省教育厅科技创新资助项目(2012KJCX0097);梅州市科技计划资助项目(梅市科2012(14)号);广东省自然基金团队研究资助项目(S2012030006242)

摘　　要：时态推理是人工智能领域的重要研究方向。析取时态问题(disjunctive temporal problem,DTP)是一类表达力极强的定量时态模型,被广泛应用于智能规划和调度领域的时态建模,近年来吸引了研究人员的关注。提出DTP弱蕴含性和弱演化析取时态网络(weakly evolutional disjunctive temporal network,WEDTN)的定义,基于WEDTN设计和实现了可视化DTP求解器TRSE。系统演示发现基于WEDTN的可视化比常见的基于搜索树的可视化更能有利于人们直观理解DTP的求解算法过程、挖掘和发现问题的结构特征对求解过程的影响。Temporal reasoning is an important research direction of Artificial Intelligence （AI）. Disjunc- tive temporal problem （DTP） is an expressive quantitative temporal model which is widely used in auto- mated planning and scheduling and is therefore being well studied. The definition of weak implication and weakly evolutional disjunctive temporal network （WEDTN） is proposed. Based on the WEDTN structure a visual DTP solver TRSE is designed. The demonstration reveals that the visualization based on WEDTN better facilitates the understanding and discovery of DTP solving algorithm and the impact of structural in- formation on that than usual search tree based visualization.

关 键 词：人工智能 时态推理 析取时态问题 约束可满足问题 弱演化析取时态网络 

分 类 号：TP181[自动化与计算机技术—控制理论与控制工程]