主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公English
2020-2021年专刊出版计划 微信服务介绍 最新一期:2020年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
张巍,曾亮,张会,李思昆.联合作战想定中基于描述任务逻辑的任务规划.软件学报,2010,21(zk):140-148
联合作战想定中基于描述任务逻辑的任务规划
Task Planning Based on the Description Logic of Tasks in Joint Operation Scenarios
投稿时间:2010-05-01  修订日期:2010-11-09
DOI:
中文关键词:  联合作战  想定  任务规划  描述任务逻辑  任务逻辑
英文关键词:joint operation  scenario  task planning  description logic of task  logic of task
基金项目: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))
作者单位E-mail
张巍 国防科学技术大学 计算机学院,湖南 长沙 410073 wadezhang@nudt.edu.cn 
曾亮 国防科学技术大学 计算机学院,湖南 长沙 410073  
张会 海军潜艇学院 军事运筹教研室,山东 青岛 266071  
李思昆 国防科学技术大学 计算机学院,湖南 长沙 410073  
摘要点击次数: 2926
全文下载次数: 4449
中文摘要:
      现有联合作战想定中的任务规划研究没有完整的形式化理论支撑,只能进行底层实体级别的交互,无法支持多层组织群体规划.描述任务逻辑是一种用于描述组织结构和协同行为规划的理论,基于描述任务逻辑理论提出了一种任务规划方法TPDLT(task planning based on the description logic of tasks).该方法对联合作战想定中的任务规划及其可完成性进行了形式化建模,然后提出了联合策略下的规划可完成性的判定理论,最后给出了任务规划的推演算法.通过示例说明了TPDLT 方法能够准确地描述虚拟群体组织指挥关系的任务交互语义,支持组织任务规划可完成性的可判定的推理验证.
英文摘要:
      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.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利