态势估计中编队作战空间关系表示及其推理

空间关系表示及其推理是态势估计的基本问题。提出了海军编队作战空间的概念,分析了几种典型的空间形式并探讨了相应的描述方法,基于对B.Clarke空间理论的分析,针对两支编队海上作战的态势演变,提出了海军编队作战的区域拓扑关系、及其符号表示和推理的符号集合,并采用合理化的形式推导了空间区域的相加、相交、补集和全集等谓词推理运算,它将适用于构建海军编队态势估计的空间推理基础框架。