一篇新论文通过考察图神经网络(GNN)的结构保持特性,探讨了其逻辑表达能力。研究人员建立了分级模态逻辑的特定片段与在嵌入、单射同态和同态下保持不变的GNN分类器类别之间的对应关系。研究结果独立于具体的架构选择,刻画了广泛GNN类别的表达能力,同时表明这些类别可以通过等效的GNN架构来实现。 AI
影响 建立了GNN架构与逻辑形式化之间的理论联系,可能指导未来的模型设计。
排序理由 该集群包含一篇在arXiv上发表的研究论文,详细介绍了关于图神经网络和逻辑的理论发现。
- graded modal logic
- graph neural networks
- arXiv
- existential graded modal logic
- existential-positive fragment
- existential-positive modal logic
AI 生成摘要 · Google Gemini · 来自 2 个来源。 我们如何撰写摘要 →