BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Robert Samuel Simon contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We give an alternative proof that every two-person non-zero-sum absorbing positive recursive stochastic game with finitely many states has approximate equilibria, a result proven by Nicolas Vieille. Our proof uses a state specific discount factor which is similar to the conventional discount factor only when there is only one non-absorbing state.
Let C be a closed subset of a topological space X, and let f : C --> X. Let us assume that f is continuous and f(x) lies in C for every x in the boundary of C. How many times can one iterate f? This paper provides estimates on the number of iterations and examples of their optimality. In particular we show how some topological properties of f, C, X are related to the maximal number of iterations, both in the case of functions and in the more general case of set-valued maps.
In a game of incomplete information, an infinite state space can create problems. When the space is uncountably large, the strategy spaces of the players may be unwieldly, resulting in a lack of measurable equilibria. When the knowledge of a player allows for an infinite number of possibilities, without conditions on the behavior of the other players, that player may be unable to evaluate and compare the payoff consequences of her actions. We argue that local finiteness is an important and desirable property, namely that at every point in the state space every player knows that only a finite number of points are possible. Local finiteness implies a kind of common knowledge of a countable number of points. Unfortunately its relationship to other forms of common knowledge is complex. In the context of the multi-agent propositional calculus, if the set of formulas held in common knowledge is generated by a finite set of formulas but a finite structure is not determined then there are uncountably many locally finite structures sharing this same set of formulas in common knowledge and likewise uncountably many with uncountable size. This differs radically from the infinite generation of formulas in common knowledge, and we show some examples of this. One corollary is that if there are infinitely many distinct points but a uniform bound on the number of points any player knows is possible then the set of formulas in common knowledge cannot be finitely generated.
For every set of primitive propositions and agents there is a canonical Kripke structure and a canonical map from any Kripke structure (defined with the same primitive propositions and agents) to this canonical one. A cell of the canonical Kripke structure is a set C such that if any agent considers a point x in C to be possible then all the other points considered possible by this agent are also in C. A cell C has finite fanout if at every point in C every agent considers possible only finitely many other points. We demonstrate a cell of this canonical Kripke structure such that every Kripke structure that maps to this cell does so surjectively, yet this cell does not have finite fanout.