联合作战想定中基于描述任务逻辑的任务规划
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
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    现有联合作战想定中的任务规划研究没有完整的形式化理论支撑,只能进行底层实体级别的交互,无法支持多层组织群体规划.描述任务逻辑是一种用于描述组织结构和协同行为规划的理论,基于描述任务逻辑理论提出了一种任务规划方法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.

    参考文献
    相似文献
    引证文献
引用本文

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

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2010-05-01
  • 最后修改日期:2010-11-09
  • 录用日期:
  • 在线发布日期:
  • 出版日期:
文章二维码
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号