停止递归图神经网络与分级μ-逻辑

本研究解决了当前递归图神经网络面临的图大小限制和缺乏终止保证的问题。我们提出了一种递归图神经网络的停止机制，证明该机制能够表达所有可通过分级模态μ-逻辑定义的节点分类器，具有重要的理论和实际应用价值。我们的工作引入了一种新的近似语义和计数算法，使得模型能够处理任意大小的图。