Abstract In this paper, we present the agent programming language POGTGolog (Partially Observable Game-Theoretic Golog), which integrates explicit agent programming in Golog with game-theoretic multi-agent planning in partially observable stochastic games. In this framework, we assume one team of cooperative agents acting under partial observability, where the agents may also have different initial belief states and not necessarily the same rewards. POGTGolog allows for specifying a partial control program in a high-level logical language, which is then completed by an interpreter in an optimal way. To this end, we define a formal semantics of POGTGolog programs in terms of Nash equilibria, and we then specify a POGTGolog interpreter that computes one of these Nash equilibria.

中文翻译：

---

Golog 中部分可观察的博弈论代理程序设计

摘要 在本文中，我们提出了代理编程语言 POGTGolog（部分可观察博弈论 Golog），它将 Golog 中的显式代理编程与部分可观察随机博弈中的博弈论多代理规划相结合。在这个框架中，我们假设一组合作代理在部分可观察性下行动，其中代理也可能具有不同的初始信念状态，并且不一定具有相同的奖励。POGTGolog 允许以高级逻辑语言指定部分控制程序，然后由解释器以最佳方式完成。为此，我们根据纳什均衡定义了 POGTGolog 程序的形式语义，然后我们指定了一个 POGTGolog 解释器来计算这些纳什均衡之一。