摘要
时态推理是人工智能领域的重要研究方向。析取时态问题(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.
出处
《中山大学学报（自然科学版）》
CAS
CSCD
北大核心
2013年第6期38-43,共6页
Acta Scientiarum Naturalium Universitatis Sunyatseni
基金
国家自然科学基金资助项目(61272067
41172028)
广东省教育厅科技创新资助项目(2012KJCX0097)
梅州市科技计划资助项目(梅市科2012(14)号)
广东省自然基金团队研究资助项目(S2012030006242)
关键词
人工智能
时态推理
析取时态问题
约束可满足问题
弱演化析取时态网络
artificial intelligence
temporal reasoning
disjunctive temporal problem （DTP）
constraint satisfaction problem （CSP）
weakly evolutional disjunctive temporal network （WEDTN）
