Probabilistic game semantics

• Published in: Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332) pp. 204 - 213
• Main Authors: Danos, V., Harmer, R.
• Format: Conference Proceeding
• Language: English
• Published: IEEE 2000
• Subjects: Game theory; Image reconstruction; Machinery; Random variables; Tensile stress; Uncertainty
• ISBN: 9780769507255; 0769507255
• ISSN: 1043-6871; 2575-5528
• DOI: 10.1109/LICS.2000.855770

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 2-sided die is shown to be universal in this category, in the sense that any strategy breaks down into a composition between some deterministic strategy and that die. The interpretative power of the category is then demonstrated by delineating a Cartesian closed subcategory which provides a fully abstract model of a probabilistic extension of Idealized Algol.