Golog 是一种表达能力很强的、高层次的智能体语言，它包含非确定性操作符，允许在执行时才做出一些决定。这种所谓的程序实现通常通过搜索或增量在线的方式实现。本文考虑了更现实的情况，即非确定性的部分由环境控制。因此，程序实现变成了一个合成问题，其中成功的实现会执行程序并满足所有可能的环境行为的时态目标。本文将 Golog 程序与一类表达能力强的、一阶动作理论相结合，该理论允许无界数量的对象和非局部效应，以及用 LTLf 的一阶扩展表示的时态目标。本文通过构建一个游戏竞技场来解决合成问题，该竞技场捕获了程序的所有可能执行，同时跟踪时态目标的满足情况，然后解决由此产生的两人游戏。本文在两个领域评估了该方法，证明了该方法的普遍可行性。