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

刘越畅; 林晓骏; 汤庸

您当前的位置：

首页 >

文章列表页 >

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

研究论文 | 更新时间：2023-12-11

- 可视化析取时态推理器的设计与实现
- Design and Implementation of a Visualisable Disjunctive Temporal Problem Solver
- 中山大学学报(自然科学版)(中英文) 2013年52卷第6期页码：38-43
- 作者机构：
  
  1. 嘉应学院计算机学院,广东,梅州,514015
  2. 
  3. 华南师范大学计算机学院,广东,广州,510631
- 作者简介：
- 基金信息：
- DOI：
  中图分类号：
- 纸质出版日期：2013，
  
  网络出版日期：2013-12-25，
扫描看全文
刘越畅, 林晓骏, 汤庸. 可视化析取时态推理器的设计与实现[J]. 中山大学学报(自然科学版)(中英文), 2013,52(6):38-43.

LIU Yuechang, LIN Xiaojun, TANG Yong. Design and Implementation of a Visualisable Disjunctive Temporal Problem Solver[J]. Acta Scientiarum Naturalium Universitatis SunYatseni, 2013,52(6):38-43.
刘越畅, 林晓骏, 汤庸. 可视化析取时态推理器的设计与实现[J]. 中山大学学报(自然科学版)(中英文), 2013,52(6):38-43. DOI：

LIU Yuechang, LIN Xiaojun, TANG Yong. Design and Implementation of a Visualisable Disjunctive Temporal Problem Solver[J]. Acta Scientiarum Naturalium Universitatis SunYatseni, 2013,52(6):38-43. DOI：

摘要

时态推理是人工智能领域的重要研究方向。析取时态问题（disjunctive temporal problem

DTP）是一类表达力极强的定量时态模型，被广泛应用于智能规划和调度领域的时态建模，近年来吸引了研究人员的关注。提出DTP弱蕴含性和弱演化析取时态网络（weakly evolutional disjunctive temporal network

WEDTN）的定义，基于WEDTN设计和实现了可视化DTP求解器TRSE。系统演示发现基于WEDTN的可视化比常见的基于搜索树的可视化更能有利于人们直观理解DTP的求解算法过程、挖掘和发现问题的结构特征对求解过程的影响。

Abstract

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)

references

浏览量

335

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

克隆选择算法在遥感影像分类中的应用