modal-logic

该研究将人工智能开发建模为一个转移系统，以探索AGI的形式可达性，使用模态逻辑和可计算性理论区分基本、稳定和安全可达性。

本文建立了一个语义框架，将图神经网络分类器与分级模态逻辑的片段联系起来，表明在嵌入、同态等结构属性下的保持对应于特定的逻辑片段。它提供了独立于架构选择的刻画，并展示了每类分类器都存在一个具有相同表达力的GNN架构。