Design and Implementation of a Visualisable Disjunctive Temporal Problem Solver
返回论文页
|更新时间:2023-12-11
|
Design and Implementation of a Visualisable Disjunctive Temporal Problem Solver
Acta Scientiarum Naturalium Universitatis SunYatseniVol. 52, Issue 6, Pages: 38-43(2013)
作者机构:
1. 嘉应学院计算机学院,广东,梅州,514015
2.
3. 华南师范大学计算机学院,广东,广州,510631
作者简介:
基金信息:
DOI:
CLC:
Published:2013,
Published Online:25 December 2013,
扫 描 看 全 文
LIU Yuechang, LIN Xiaojun, TANG Yong. Design and Implementation of a Visualisable Disjunctive Temporal Problem Solver. [J]. Acta Scientiarum Naturalium Universitatis SunYatseni 52(6):38-43(2013)
DOI:
LIU Yuechang, LIN Xiaojun, TANG Yong. Design and Implementation of a Visualisable Disjunctive Temporal Problem Solver. [J]. Acta Scientiarum Naturalium Universitatis SunYatseni 52(6):38-43(2013)DOI:
Design and Implementation of a Visualisable Disjunctive Temporal Problem Solver
Temporal reasoning is an important research direction of Artificial Intelligence (AI). Disjunctive temporal problem (DTP) is an expressive quantitative temporal model which is widely used in automated 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 information on that than usual search tree based visualization.
关键词
人工智能时态推理析取时态问题约束可满足问题弱演化析取时态网络
Keywords
artificial intelligencetemporal reasoningdisjunctive temporal problem (DTP)constraint satisfaction problem (CSP)weakly evolutional disjunctive temporal network (WEDTN)