情境演算实值时间推理不可判定，受限时钟方案恢复可判定

Till Hofmann、Stefan Schupp 与 Gerhard Lakemeyer 在 arXiv 论文 2402.03164v3（基于论文摘要）中报告：在有限域情境演算理论中用实值时间函数表示时间时，即使对象域有限，判断可达情境是否满足给定公式的问题仍不可判定。 为恢复可判定性，作者引入受限制的实值时钟和比较算子，证明在此限制下有限域基本行动理论的可达性问题可判定，并据此给出一个可判定过程，用于求取能成功执行给定 Golog 程序的动作序列。

AI 根据报道生成 · 33 分钟前更新

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