A Logic for Reasoning About Decision-Theoretic Projections

Rens, Gavin; Meyer, Thomas; Lakemeyer, Gerhard

doi:10.1007/978-3-319-27947-3_5

Search citation statements

Order By: Relevance

Paper Sections

Select...

Related Work1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2020

Publication Types

Select...

Article1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Differently from POGTGolog, the setting is fully observable and no game-theoretic mechanism is used. POMDPs are considered in [57], but the focus is on reasoning about decision-theoretic projections, while game-theoretic strategies are not considered. A high-level programming language that can manage belief states is also provided by [4].…”

Section: Related Workmentioning

confidence: 99%

Partially observable game-theoretic agent programming in Golog

Finzi

Lukasiewicz

2020

International Journal of Approximate Reasoning

View full text Add to dashboard Cite

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.

show abstract

Section: Related Workmentioning

confidence: 99%