图层级中的知识表示与更新

本文提出了一个数学理论，用于以范畴中对象的定向无环层级形式表示知识，其中任意给定对象对之间的所有路径均被要求相等。分析了以层级中对象的半推出重写形式进行的知识更新，为保持所有所需的路径相等性而传播至层级其余部分的条件：某些重写必须沿箭头方向向前传播，而另一些必须逆箭头方向向后传播，并且依据层级的精确形式，某些可组合性条件可能也是必要的。随后在ReGraph Python库（用于带节点与边属性的（简单）有向图）中讨论了该理论的实现，并结合两个重要用例加以说明。