###
DOI:
Journal of Software:2010.21(zk):140-148

联合作战想定中基于描述任务逻辑的任务规划
张巍,曾亮,张会,李思昆
(国防科学技术大学 计算机学院,湖南 长沙 410073;海军潜艇学院 军事运筹教研室,山东 青岛 266071)
Task Planning Based on the Description Logic of Tasks in Joint Operation Scenarios
ZHANG Wei,ZENG Liang,ZHANG Hui,LI Si-Kun
(School of Computer, National University of Defense Technology, Changsha 410073, China;Section of Military Operations, Naval Submarine College, Qingdao 266071, China)
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2586   Download 4053
Received:May 01, 2010    Revised:November 09, 2010
> 中文摘要: 现有联合作战想定中的任务规划研究没有完整的形式化理论支撑,只能进行底层实体级别的交互,无法支持多层组织群体规划.描述任务逻辑是一种用于描述组织结构和协同行为规划的理论,基于描述任务逻辑理论提出了一种任务规划方法TPDLT(task planning based on the description logic of tasks).该方法对联合作战想定中的任务规划及其可完成性进行了形式化建模,然后提出了联合策略下的规划可完成性的判定理论,最后给出了任务规划的推演算法.通过示例说明了TPDLT 方法能够准确地描述虚拟群体组织指挥关系的任务交互语义,支持组织任务规划可完成性的可判定的推理验证.
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.
文章编号:     中图分类号:    文献标志码:
基金项目: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)) 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))
Foundation items:
Reference text:

张巍,曾亮,张会,李思昆.联合作战想定中基于描述任务逻辑的任务规划.软件学报,2010,21(zk):140-148

ZHANG Wei,ZENG Liang,ZHANG Hui,LI Si-Kun.Task Planning Based on the Description Logic of Tasks in Joint Operation Scenarios.Journal of Software,2010,21(zk):140-148