Consistency Is Not Coherence: Orientation Search for Certified Alignments Between 4D Defence Upper Ontologies
本文提出了一种针对三个关键的英国及北约国防上层本体（IES、HQDM 和 BFO）进行的创新型人工策展对齐，证明了虽然可以通过自动推理实现一致性，但真正的连贯性需要通过精心的定向和人工策展，以弥合此前未曾关联的数据标准。
原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。 阅读完整免责声明
在国家防御与情报的高风险领域，数据是安全的货币。政府和军事联盟依赖庞大的数字系统来追踪人员、事件和地点，以确保在前线的士兵与指挥中心的战略家使用的是同一种语言。为了让这些系统能够相互通信，专家们构建了被称为“本体”（ontologies）的数字词典。请将本体理解为不仅仅是一个简单的单词列表，而是一张关于特定群体如何理解现实的严密地图。它定义了什么是“人”，什么是“事件”，以及这些事物如何相互关联。当两个不同的组织（例如英国国防力量与一个更广泛的国际联盟）试图共享信息时，它们必须对齐各自的地图。如果一张地图认为“人”是一个随时间存在的物理对象，而另一张地图认为“人”是一系列时间中的瞬间，那么试图合并这些地图的计算机就会崩溃，或者更糟——产生导致错误决策的隐性错误。这项工作的目标是确保当这些数字地图被合并时，生成的图像不仅是一致的，而且实际上是符合逻辑的。
研究人员在处理涉及防御领域三个特定数字地图的难题时，开展了这项研究：一是英国用于共享情报的信息交换标准（Information Exchange Standard），二是支撑国家建筑环境数字孪生的高质量数据模型（Higher Quality Data Model），三是北约和美国使用的基础形式本体（Basic Formal Ontology）。在这项工作之前，还没有人成功地在英国的信息交换标准与高质量数据模型之间建立起机器可读的桥梁。团队采用了由人类专家创建的一份包含十七个连接点的精选列表，这些专家认为这两个系统是相关的，并测试了如果计算机将这些连接视为绝对逻辑事实时会发生什么。结果是一个令人震惊的发现：仅仅检查合并后的数据是否“一致”是不够的。
当研究人员使用专家的连接点合并这两个地图时，计算机通过了标准的相容性检查。它找到了一个理论上所有事物都可以存在的模型。然而，更深入的检查揭示了合并后的系统在标准检查未能察觉的地方出现了损坏。这种组合创造了一百个在逻辑上不可能存在的新的数据类别。例如，合并后的系统宣布某些现实世界的运作类别（如“被捕人员”或“证人”）是空集——即这些概念永远不可能有单个实例。这是因为目标地图（高质量数据模型）在合并开始之前就已经包含了三十九个损坏的类别。这些损坏的类别隐藏在地图结构的深处，在标准检查中是不可见的。当研究人员将英国的数据映射到这些损坏的类别上时，他们本质上是在尝试往一个底部有洞的杯子里倒水；这种连接在技术上是“正确”的，因为没有任何东西可以填补那个空隙，但对于任何实际应用来说，它是毫无用处的。
论文指出，通常修复这些问题的方法过于粗放。通常情况下，当计算机发现冲突时，它会简单地删除导致问题的连接。研究人员发现，这种方法会丢弃有价值的信息。相反，他们开发了一种称为“方向搜索”（orientation search）的新方法。与其问“我们应该保留这个连接还是删除它？”，他们的方法是在问“这个连接向哪个方向流动？”它将两个概念之间的关系视为一个可以调整的变量。有时两个事物是完全相同的；其他时候，一个是另一个的类型，但反之则不然。通过让计算机推理器测试每个连接的所有可能方向，团队能够在不删除专家原始见解的情况下修复了这座桥梁。他们发现，对于大多数连接，两个系统完全一致。但在少数存在分歧的地方，计算机可以精确指出原因。它会说：“这两个概念不能相等，因为如果它们相等，将会迫使某个特定的现实事件成为一种物理对象，这与第一个系统的规则相矛盾。”计算机随后提供了一个具体的反例来证明这一点，将一个潜在的错误转变为对两个标准看待世界方式差异的记录。
该研究还测试了现有计算机系统自行解决此问题的能力。他们针对相同的数据运行了两个成熟的匹配程序和一个类似于现代聊天机器人技术的语言大模型。它们都以同样的方式失败了。它们都被一个“假朋友”（false friend）——即一对看起来完全相同但含义不同的词——所误导。两个系统都试图将英国系统中的一个“事件”与另一个系统中的“事件”进行连接。在英国系统中，一个事件是随时间发生并涉及人员的过程；而在另一个系统中，一个事件是一个没有持续时间的瞬时时刻。计算机依靠名称的相似性，强行将这两个不同的概念视为相同，这立即破坏了整个系统的逻辑。人类专家曾就此陷阱提出过警告，但自动化系统却直接掉入了陷阱。即使研究人员将专家的连接列表交给自动化系统并要求其修复错误，这些系统要么删除了正确的连接，要么反转了连接，从而丢失了专家原本想要表达的精确含义。
这项工作的最终成果是建立了三个主要防御本体之间的认证桥梁。它是一套包含二十一条逻辑规则的集合，将英国的数据标准连接到国际标准，且不会产生任何不可能的类别或破坏现有的规则。至关重要的是，这座桥梁并没有掩盖分歧。在系统达成一致的地方，它声明它们是相等的；在存在分歧的地方，它仅声明单向的关系，并附带一份机器生成的解释，说明为什么它们不能相等。这种方法确保了数据仍然可用，并且标准之间的差异被记录为事实而非错误。研究人员还发现，将英国的四维世界观连接到国际的三维世界观需要一个特定的调整：在国际系统中，“人”不是一个物理对象，而是该物体存在的历史。这种微妙的转变是使整个系统运作的关键。
论文总结道，我们构建和测试这些数字桥梁的方式需要改变。依赖简单的相容性检查是危险的，因为它允许损坏的地图通过检查。相反，每当两个系统合并时，过程必须包括一项“连贯性”（coherence）检查，以确保没有任何类别变得无法填充。此外，连接的方向与连接本身一样重要。通过将方向视为一个待测试的变量，而非一个固定的假设，研究人员可以在保留人类专家知识的同时，让计算机找到精确的逻辑路径。这项工作证明，通过正确的工具，我们可以构建出不仅是一致的，而且真正具有连贯性的数字桥梁，从而让不同的防御系统能够带着信心和清晰度共享信息。
您所在领域的论文太多了？
获取与您研究关键词匹配的最新论文每日摘要——附技术摘要，使用您的语言。