JAIR

Qiana: A First-Order Formalism to Quantify over Contexts and Formulas with Temporality

Qiana：一种用于量化上下文和具有时间性的公式的一阶形式化方法

Simon Coumes, Pierre-Henri Paris, François Schwarzentruber, Fabian Suchanek

AI总结 Qiana通过量化公式和上下文，能够表达如'所有人知道Alice所说的一切'，并支持在上下文中使用paraconsistent逻辑，基于一阶逻辑且可有限公理化，适用于表示时间性、事件演算和模态逻辑。

Journal ref Journal of Artificial Intelligence Research, 2026, 85