有效的AGM信念收缩：超越有限域之旅（技术报告）

尽管在将AGM信念变更范式扩展到非有限逻辑方面做出了巨大努力，但AGM的计算方面几乎仍未触及。我们研究了非有限逻辑上AGM收缩的可计算性，并展示了一个有趣的负面结果：在此类逻辑中存在无限多个不可计算的AGM收缩函数。更为严重的是，我们还表明，当前依赖限制认知状态空间来控制可计算性的事实标准策略是失败的：在所有非有限情况下，不可计算性依然存在。受这一颠覆性结果的启发，我们提出了在有限域之外控制可计算性的新方法。以线性时序逻辑（LTL）作为案例研究，我们识别出一类无限的、通过设计即可计算的完全理性AGM收缩函数。我们使用Büchi自动机来构造此类函数，并用于表示和推理LTL信念。