POGTGolog swMATH ID: 32303 Software Authors: Finzi, Alberto; Lukasiewicz, Thomas Description: Partially observable game-theoretic agent programming in golog. 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. Homepage: https://www.sciencedirect.com/science/article/abs/pii/S0888613X19301094 Keywords: agent programming; cognitive robotics; multi-agent systems; reasoning about actions and change Related Software: GTGolog; Gambit; GOLOG Cited in: 2 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year Partially observable game-theoretic agent programming in Golog. Zbl 1434.68583Finzi, Alberto; Lukasiewicz, Thomas 2020 Cited by 4 Authors 1 Bellodi, Elena 1 Finzi, Alberto 1 Lukasiewicz, Thomas 1 Schrijvers, Tom Cited in 1 Serial 2 International Journal of Approximate Reasoning Cited in 3 Fields 2 Computer science (68-XX) 1 General and overarching topics; collections (00-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year