将直觉主义时序逻辑引入时序答案集编程，建立新理论框架。
Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
- 用时序均衡逻辑统一直觉主义与时序逻辑编程
- 证明时序直觉逻辑与时序答案集编程存在形式对应
- 为时序推理研究提供新理论基础，适合逻辑编程学者
直觉主义或中间逻辑与逻辑编程的关系已被广泛研究，代表性工作包括Pearce的均衡逻辑和Osorio的安全信念。均衡逻辑基于“此时此地”逻辑具有不动点刻画，类似默认逻辑和自认知逻辑中的理论完成。安全信念也通过不动点算子定义，但基于直觉主义或其他中间逻辑语义。本文从时序均衡逻辑视角研究时序答案集编程的逻辑基础，该形式化结合了均衡逻辑与线性时序算子。我们将在经典方法基础上推广至时序场景，建立时序直觉逻辑与时序逻辑编程之间的形式对应。研究成果深化了时序答案集编程的理论根基，并为时序推理研究开辟新路径。
原文摘要 · Abstract (English)
The relationship between intuitionistic or intermediate logics and logic programming has been extensively studied, prominently featuring Pearce's equilibrium logic and Osorio's safe beliefs. Equilibrium logic admits a fixpoint characterization based on the logic of here-and-there, akin to theory completion in default and autoepistemic logics. Safe beliefs are similarly defined via a fixpoint operator, albeit under the semantics of intuitionistic or other intermediate logics. In this paper, we investigate the logical foundations of Temporal Answer Set Programming through the lens of Temporal Equilibrium Logic, a formalism combining equilibrium logic with linear-time temporal operators. We lift the seminal approaches of Pearce and Osorio to the temporal setting, establishing a formal correspondence between temporal intuitionistic logic and temporal logic programming. Our results deepen the theoretical underpinnings of Temporal Answer Set Programming and provide new avenues for research in temporal reasoning.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。