有限域情境演算时间推理可判定方法

2026年10月15日，arXiv Artificial Intelligence 刊出 Till Hofmann、Stefan Schupp、Gerhard Lakemeyer 的论文，研究有限域情景演算中时间推理的可判定性。论文指出，针对情景演算中常用的实数时间函数方法，即使域中仅含有限对象，判定是否存在满足公式的可达情景也是不可判定的。作者提出基于时间自动机理论的替代方法，引入带受限后继状态公理和比较算子的时钟作为实值流，证明有限域基本动作理论的可达性问题可判定，并给出判定 Golog 程序成功执行动作序列的可判定过程。目前该事件仅有这一篇主报道，尚无后续跟进报道，论文结论的适用范围与限制以原文为准。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。