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...
| Main Authors: | , |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
Elsevier
2020
|
| _version_ | 1826278304224641024 |
|---|---|
| author | Finzi, A Lukasiewicz, T |
| author_facet | Finzi, A Lukasiewicz, T |
| author_sort | Finzi, A |
| collection | OXFORD |
| description | 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.
|
| first_indexed | 2024-03-06T23:41:56Z |
| format | Journal article |
| id | oxford-uuid:6f9e6eb1-f4e9-4fae-8111-8def7d64b70b |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-06T23:41:56Z |
| publishDate | 2020 |
| publisher | Elsevier |
| record_format | dspace |
| spelling | oxford-uuid:6f9e6eb1-f4e9-4fae-8111-8def7d64b70b2022-03-26T19:31:46ZPartially observable game-theoretic agent programming in GologJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:6f9e6eb1-f4e9-4fae-8111-8def7d64b70bEnglishSymplectic Elements at OxfordElsevier2020Finzi, ALukasiewicz, TIn 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. |
| spellingShingle | Finzi, A Lukasiewicz, T Partially observable game-theoretic agent programming in Golog |
| title | Partially observable game-theoretic agent programming in Golog |
| title_full | Partially observable game-theoretic agent programming in Golog |
| title_fullStr | Partially observable game-theoretic agent programming in Golog |
| title_full_unstemmed | Partially observable game-theoretic agent programming in Golog |
| title_short | Partially observable game-theoretic agent programming in Golog |
| title_sort | partially observable game theoretic agent programming in golog |
| work_keys_str_mv | AT finzia partiallyobservablegametheoreticagentprogrammingingolog AT lukasiewiczt partiallyobservablegametheoreticagentprogrammingingolog |