引用本文: | 王炎娟,郝智勇,姚莉.计划中的时序偏好表示和非单调推理[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[点击复制] |
|
|
|
本文已被:浏览 9671次 下载 6060次 |
计划中的时序偏好表示和非单调推理 |
王炎娟, 郝智勇, 姚莉 |
(国防科技大学 信息系统工程重点实验室,湖南 长沙 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 |
|
|