中央高校基本科研业务费专项资金(201103124)
- 作品数：2 被引量：0H指数：0
- 相关作者：吕帅张鹏刘吉迟学航张波更多>>
- 相关机构：吉林大学更多>>
- 发文基金：中央高校基本科研业务费专项资金国家自然科学基金吉林大学研究生创新基金资助更多>>
- 相关领域：自动化与计算机技术更多>>
- 智能规划的通用问题描述进展
- 2011年
- 规划领域定义语言是第一届国际规划竞赛提出的问题定义语言,随着两年一次的国际规划竞赛的举办,其语言的描述方式和能力也在不断扩展。本文将现有规划问题的通用描述予以综述,通过形式化地描述智能规划在不同发展阶段的通用描述方法,对其语法和语义以实例进行剖析,为后续的研究者提供精准的规划描述,并提出了未来的发展趋势。
- 刘吉迟学航吕帅
- 关键词：描述语言定义语言IPC
- Conformant规划的编码方式研究
- 2011年
- 以智能规划领域中的Conformant规划为研究对象,对几种Conformant规划中的编码方式予以综述;分别介绍了基于K(P)的编码方式、基于KT,M(P)的编码方式、基于K(iP)的编码方式、基于d-DNNF的编码方式和CF2SAT编码方式。通过对几种编码方式的分析,说明基于转换思想的编码方式在Conformant规划中的作用,探讨其相关的研究热点和趋势。
- 张波吕帅刘磊张鹏
