| 基于量化布尔公式的条件规划编码方式 |
| |
| 引用本文： | 高冰冰,张长海,吕帅.基于量化布尔公式的条件规划编码方式[J].计算机科学,2010,37(11):252-256. |
| |
| 作者姓名： | 高冰冰 张长海 吕帅 |
| |
| 作者单位： | 吉林大学计算机科学与技术学院,长春,130012 |
| |
| 基金项目： | 本文受国家自然科学基金(60603031,60773097,60873044,60873148)，高等学校博士学科点专项科研基金(20060183044,20070183057)资助。 |
| |
| 摘 要： | 介绍条件规划问题及其相关的求解系统，着重分析以逻辑为基拙的编码方式。针对基于量化布尔公式的转换方法进行详细分析，给出3种不同形式的量化布尔公式编码。最后，对这3种编码进行比较，分析基于命题逻辑公式与量化布尔公式这两种不同转换方式的优劣，讨论基于量化布尔公式的规划方法未来的研究方向和发展趋势。
|
| 关 键 词： | 条件规划，不确定性规划，量化布尔公式，编码 |
| 收稿时间： | 2009/12/15 0:00:00 |
| 修稿时间： | 3/7/2010 12:00:00 AM |
Conditional Planning Encodings Based on Quantified Boolean Formulas |
| |
| GAO Bing-bing,ZHANG Chang-hai,LU Shuai.Conditional Planning Encodings Based on Quantified Boolean Formulas[J].Computer Science,2010,37(11):252-256. |
| |
| Authors: | GAO Bing-bing ZHANG Chang-hai LU Shuai |
| |
| Affiliation: | (College of Computer Science and Technology,Jilin University,Changchun 130012,China) |
| |
| Abstract: | This paper introduced the conditional planning problems and their associated planners, and analyzed logic based encoding methods. By analyzing translation based planning methods,whose targets are ctuantified boolean formulas, it introduced three different forms of quantified boolean formula encodings. Finally, it compared the above encodings,analyzed their respective advantages and disadvantages of two different translation mode based on propositional logic formulas and ctuantified boolean formulas,and then discussed the future research directions and trends on planning methods basal on quantified boolcan formulas. |
| |
| Keywords: | Conditional planning Nondctcrministic planning Quantified boolcan formulas Encoding |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
