论文研究有限域情境演算理论中的时间推理可判定性

基于论文摘要，作者报告在情境演算中采用实值时间函数表示时间时，即使对象域有限，可达情境是否满足给定公式仍不可判定。为解决这一问题，作者引入受限制的实值时钟和比较算子，使有限域基本行动理论的可达性问题可判定，并将结果用于求取执行Golog程序的成功动作序列。