Bel-Games: A Formal Theory of Games of Incomplete Information Based on Belief Functions in the Coq Proof Assistant.
Pierre Pomeret-CoquotHélène FargierÉrik Martin-DorelPublished in: ITP (2023)
Keyphrases
- incomplete information
- nash equilibria
- belief functions
- formal theory
- repeated games
- uncertain information
- commonsense reasoning
- stochastic games
- partial information
- missing information
- game theory
- probability theory
- dempster shafer
- nash equilibrium
- query answering
- autonomous agents
- game theoretic
- dempster shafer theory
- decision making
- neural network
- probability functions
- evidential reasoning
- theorem prover
- machine learning