Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: A category of HO/N-style games and probabilistic strategies is developed where the possible choices of a strategy are quantified so as to give a measure of the likelihood of seeing a given play. A two-sided die is shown to be universal in this category, in the sense that any strategy breaks down into a composition beten some deterministic strategy and that die. The interpretative por of the category is then demonstrated by delineating a Cartesian closed subcategory that provides a fully abstract model of a probabilistic extension of Idealized Algol.
['Vincent Danos', 'Russell Harmer']
I am writing a research paper on a idea Probabilistic game semantics
[{"from": "human", "value": "I am writing a research paper on a idea Probabilistic game semantics"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: A category of HO/N-style games and probabilistic strategies is developed where the possible choices of a strategy are quantified so as to give a measure of the likelihood of seeing a given play. A two-sided die is shown to be universal in this category, in the sense that any strategy breaks down into a composition beten some deterministic strategy and that die. The interpretative por of the category is then demonstrated by delineating a Cartesian closed subcategory that provides a fully abstract model of a probabilistic extension of Idealized Algol."}]