关于智能化的军事决策

本文提出了一个智能指挥与控制系统的简要模型 ,依据这个模型分析了专家系统技术在军事决策过程中的应用 ,并分析了分布式专家系统技术在C3 I中应用的前景和意义。最后简要介绍了一个以模型中的重要环节———态势估计任务为背景的分布式多智能主体知识表示框架DESW系统     

一种面向语义正确性的关系数据库访问方法

从异构关系数据源中获取语义正确的信息是当前利用数据资产辅助决策所面临的一大难题.为解决这一问题,提出了一种研究面向语义正确性的关系数据库访问方法(SCORDA).SCORDA方法采用DL -LiteNOWL本体作为支持数据访问任务的概念视图,在本体的表达能力和推理复杂度之间做了一定折中;SCORDA方法通过LAV+ GAV的映射方式建立本体与关系数据源之间的语义关联,兼顾了模式异构和阻抗失配问题;此外,SCORDA方法采用了一种动态ABox结构,即时从异构关系数据源中恢复虚拟对象,并且利用动态ABox进行实例检测推理任务,通过本体的模型语义来保证数据访问的正确性.通过原型系统验证了该方法的可行性.     

多主体系统建模方法探索

本文提出结合组织学理论研究多主体系统（ Ｍ Ａ Ｓｓ）建模的一种方法。文章从宏观到微观，在整体组织、个体和并发行为等不同抽象层次上论述了分析与设计多主体系统的建模方法，并详细介绍了用于多主体系统设计的系统组织模型、主体概念模型和分布式协作求解模型三个抽象模型的主要研究内容。     

计划中的时序偏好表示和非单调推理

针对行动序列计划中的时序偏好问题开展研究,重点关注时序偏好集合内部存在不一致性时完成行动计划的方法。论文的难点和创新点体现在两个方面。针对时序偏好的表示问题,建立了一种二元描述结构,能够实现对时序约束和时序偏好的归一化描述。使用计算辩论技术建立推理框架,用以排除约束/偏好集合中的冲突关系,获得具有最大一致性的约束/偏好子集。在此基础上建立了一种新的计划生成策略,通过映射的方法得到行动序列片段,组合这些片段后形成完整的行动序列计划。通过实例验证了方法的可行性。     

一种基于协调理论的军事决策过程建模方法

在分析协调理论应用的基础上,针对军事决策过程的建模,基于UML2.0的用例图,提出了基于协调理论的军事决策过程建模方法。应用该建模方法,有利于分析军事决策过程中的核心任务活动及其相关依赖,为指挥员实施平行决策,并发地制订和确定作战方案(Course of Action)提供依据,从而提高军事决策过程的适应性。     

基于辩证语义的分布式协同态势分析方法

分布式协同态势分析在联合作战战役筹划中起着十分重要的作用。当前的战场环境呈现动态不确定性,传统的态势分析方法在处理不确定、不一致及不完全信息等实际应用中存在较大的局限性。本文基于辩论理论的辩证语义,提出了一种新的分布式协同态势分析方法。该方法通过多方对话博弈展现不同参与者的主张和论据之间的攻击关系及矛盾焦点,进而构建相应的辩证分析树网格以辅助决策者协同解决态势分析中的信息不一致和观点冲突问题。该方法的研究将为联合作战的态势分析提供新的方法论。     

基于SysML的作战行动序列建模方法

为了达到组织目标和任务使命,必须建立一系列彼此相互关联的、具有层次结构的活动和过程之间的关系.要实现对组织的有效管理,核心就在于通过计划建模和控制系统来协调这些关系.在介绍与分析SysML语言特点的基础上,建立了作战行动序列(COA,Course of Action)的形式化定义,提出了基于SysML的作战行动序列建模方法,并给出了应用实例.应用该建模方法,有利于提高作战行动计划的适应性和开放性.     

用于军事态势估计的协作知识模型

分布式人工智能（ＤＡＩ）是ＡＩ领域的一个新分支。ＤＡＩ研究的主要目的在于分析和设计大型复杂的协作智能系统。本文以军事智能决策过程中的重要环节──态势估计任务为背景,提出了用于实现分布式协作求解的知识表示框架ＤＥＳＷ系统。文章简要分析了军事态势估计领域背景,然后从系统设计的三个方面依次介绍了ＤＥＳＷ的系统组织模型、主体概念模型和分布式协作推理模型。     

一种基于规则的OWL-S本体语法一致性维护方法

OWL-S本体语法一致性维护是语义Web服务维护工程中需要重点研究的问题.提出一个一致性维护框架指导知识工程师进行OWL-S本体语法一致性维护,定义并抽象出OWL-S本体基本变化,提出变化关联矩阵分析基本变化间的依赖关系,基于关联矩阵提出额外变化序列生成算法分析基本变化对全局的影响,并分析了算法时间复杂性.对OWL-S本体语法一致性规则进行了形式化定义,使机器能够自动检测这些规则,辅助知识工程师完成OWL-S本体语法一致性维护工作.     

多主体技术在空军战役规划中的应用

本文在讨论空军战役规划的一般组织流程基础上 ,提出了一种将多主体规划技术应用到空军战役规划过程的方法。该方法采用了基于位置的计划表示形式和知识表示方法 ,并通过算子来实现基于位置的推理