| 摘要: |
| 现有联合作战想定中的任务规划研究没有完整的形式化理论支撑,只能进行底层实体级别的交互,无法支持多层组织群体规划.描述任务逻辑是一种用于描述组织结构和协同行为规划的理论,基于描述任务逻辑理论提出了一种任务规划方法TPDLT(task planning based on the description logic of tasks).该方法对联合作战想定中的任务规划及其可完成性进行了形式化建模,然后提出了联合策略下的规划可完成性的判定理论,最后给出了任务规划的推演算法.通过示例说明了TPDLT 方法能够准确地描述虚拟群体组织指挥关系的任务交互语义,支持组织任务规划可完成性的可判定的推理验证. |
| 关键词: 联合作战 想定 任务规划 描述任务逻辑 任务逻辑 |
| DOI： |
| 分类号: |
| 基金项目:Supported by the National Natural Science Foundation of China under Grant No.60873120 (国家自然科学基金); the National Basic
Research Program of China under Grant No.G2009CB723803 (国家重点基础研究发展计划(973)) |
|
| Task Planning Based on the Description Logic of Tasks in Joint Operation Scenarios |
|
ZHANG Wei1, ZENG Liang1, ZHANG Hui2, LI Si-Kun1
|
|
1.School of Computer, National University of Defense Technology, Changsha 410073, China;2.Section of Military Operations, Naval Submarine College, Qingdao 266071, China
|
| Abstract: |
| Most existing researches on task planning in joint operation simulations are not based on a complete formal theory, thus can only support the description of low-level interactions among entities, but can not support the planning of multi-level organizational groups. The description logic of tasks is a theory for describing organization structures and collaborative behavior plans. This paper proposes a method named TPDLT (task planning based on the description logic of tasks), which provides a formal description of the task planning in joint operation simulations based on the description logic of tasks, and gives a definition of the completeness of task plans and a decidable theorem of the completeness under joint strategies. At last, a deduction algorithm for task planning is given. As illustrated by a case study, with the method TPDLT, the task interaction semantics in virtual groups can be described succinctly and accurately, and powerful service for the accomplishment deduce of tasks is provided. |
| Key words: joint operation scenario task planning description logic of task logic of task |
