Qiana：用于量化情境和公式的第一阶时序逻辑
人工智能
2026-04-03 v1
摘要
我们介绍 Qiana，这是一种用于推理仅在特定情境中成立的公式的逻辑框架。在 Qiana 中，可以对公式和情境进行量化，以表达诸如“每个人都知道 Alice 所说的全部内容”。Qiana 还允许在情境中包含矛盾的经典逻辑。此外，Qiana 基于第一阶逻辑，是有限可公理化的，因此 Qiana 理论与现有的第一阶逻辑定理证明器兼容。我们展示了 Qiana 可用于表示时序性、事件论和模态逻辑。我们还讨论了 Qiana 的不同设计选择。
引用
@article{arxiv.2604.01952,
title = {Qiana: A First-Order Formalism to Quantify over Contexts and Formulas with Temporality},
author = {Simon Coumes and Pierre-Henri Paris and François Schwarzentruber and Fabian Suchanek},
journal= {arXiv preprint arXiv:2604.01952},
year = {2026}
}