CAJ | 학술논문

关注了一类典型行动序列，研究如何在动作集合上存在定性偏好，且偏好集合存在不一致性时开展规划。所考虑的行动序列问题称为任务级COA，以抽象层次的动作为基本要素，所考虑的定性偏好包括静态偏好和时序偏好，所讨论的规划目的是获得最大满意度的COA方案。首先建立了偏好与约束的归一化形式描述，在此基础上形成了COA方案设计算法；进一步，使用计算辩论技术排除偏好集合中的不一致性，形成用户接受度最高的COA方案。文中建立的以定性推理为基础的规划框架，实现了偏好解耦，能够适应不同的领域问题，是以定量计算为基础的传统规划算法的有效补充。通过快速响应卫星成像的COA案例，演示了算法的可行性。
관주료일류전형행동서렬，연구여하재동작집합상존재정성편호，차편호집합존재불일치성시개전규화。소고필적행동서렬문제칭위임무급COA，이추상층차적동작위기본요소，소고필적정성편호포괄정태편호화시서편호，소토론적규화목적시획득최대만의도적COA방안。수선건립료편호여약속적귀일화형식묘술，재차기출상형성료COA방안설계산법；진일보，사용계산변론기술배제편호집합중적불일치성，형성용호접수도최고적COA방안。문중건립적이정성추리위기출적규화광가，실현료편호해우，능구괄응불동적영역문제，시이정량계산위기출적전통규화산법적유효보충。통과쾌속향응위성성상적COA안례，연시료산법적가행성。
This paper focuses on a special type of course-of-action.Specifically, performing study on planning with the existence of qualitative preferences and functions on the actions and owns the inner inconsistence.The course-of-action that is taken into consideration is called ‘task-level’ course-of-action(COA), with abstracted action as basic element.The qualitative preferences in discussion include static preferences and temporal preference.The ob-jective of planning is a COA plan with satisfaction.Firstly, a unified formulated description is established for con-straints and preferences, based on which an algorithm for COA planning is developed.Furthermore, computational argumentation is utilized to exclude inconsistence in the set of preferences, to maximize the user’ s satisfaction for COA planning.The planning framework based on qualitative deduction is an effective add-in for conventional plan-ning scheme based on quantitative computation.The property of preference-decoupling makes itself adaptable to ap-plications in different domain.A case study on scheduling responsive imaging satellites is proposed to demonstrate the effectiveness of the scheme.