| 引用本文: | 王炎娟,郝智勇,姚莉.计划中的时序偏好表示和非单调推理.[J].国防科技大学学报,2014,36(4):177-183.[点击复制] |
| WANG Yanjuan,HAO Zhiyong,YAO Li.Temporal reference representation and nonmonotonic deduction in planning[J].Journal of National University of Defense Technology,2014,36(4):177-183[点击复制] |
|
| |
|
|
| 本文已被：浏览 10270次 下载 6642次 |
| 计划中的时序偏好表示和非单调推理 |
| 王炎娟, 郝智勇, 姚莉 |
|
(国防科技大学 信息系统工程重点实验室，湖南 长沙 410073)
|
| 摘要: |
| 针对行动序列计划中的时序偏好问题开展研究，重点关注时序偏好集合内部存在不一致性时完成行动计划的方法。论文的难点和创新点体现在两个方面。针对时序偏好的表示问题，建立了一种二元描述结构，能够实现对时序约束和时序偏好的归一化描述。使用计算辩论技术建立推理框架，用以排除约束/偏好集合中的冲突关系，获得具有最大一致性的约束/偏好子集。在此基础上建立了一种新的计划生成策略，通过映射的方法得到行动序列片段，组合这些片段后形成完整的行动序列计划。通过实例验证了方法的可行性。 |
| 关键词: 计算辩论 偏好 时序逻辑 行动序列 计划生成 |
| DOI：10.11887/j.cn.201404030 |
| 投稿日期：2013-03-20 |
| 基金项目:国家自然科学基金资助项目（71371184） |
|
| Temporal reference representation and nonmonotonic deduction in planning |
| WANG Yanjuan, HAO Zhiyong, YAO Li |
|
(Science and Technology on Information Systems Engineering Laboratory, National University of Defense Technology, Changsha 410073 China)
|
| Abstract: |
| A research on the temporal preference in course-of-action planning is presented, focusing on the scheme to implement planning with inconsistent temporal preference. The difficulties and innovations lie in two aspects. Firstly, considering the representation issue, a unified binary format is established for temporal preference and temporal constraints. Secondly, argumentation is utilized to develop a deduction framework in order to sort out the conflicts inside the constraint/preference set, achieving a subset of constraints/preferences with maximum consistence. A plan generation strategy was then proposed to acquire segments of plan via mapping, and to combine the segments into a complete plan. A case study was done in detail to show the effectiveness of the scheme. |
| Keywords: computational argumentation preference temporal logic course of action plan generation |
|
|
