通过 ologs 与接线图量化概念类比

我们延续 Spivak 与 Kent 所创的本体日志（olog）理论，定义了一种接线图（wiring diagram）的概念。在本文中，接线图是一种有限的有向标记图。标记对应于 olog 中的类型；它们也可以解释为自主系统中传感器的阅读。因此，接线图可作为自主系统形成抽象概念的框架。我们展示了支架接线图的底层图构成一个范畴。这使得支架接线图能够运用图论与范畴论中的技术进行比较与操作。我们还通过仅使用接线图特有的运算，将常规图编辑距离扩展到接线图，从而在所有支架接线图的集合上定义度量。最终，我们给出一个计算由接线图表示的两个概念之间距离的扩展示例，并说明如何将我们的框架应用于任何应用领域。