A Simple Formal Language for Probabilistic Decision Problems

Autor:	Di Lavore, Elena, Jacobs, Bart, Román, Mario
Rok vydání:	2024
Předmět:	Computer Science - Logic in Computer Science 18M35
Druh dokumentu:	Working Paper
Popis:	Probabilistic puzzles can be confusing, partly because they are formulated in natural languages - full of unclarities and ambiguities - and partly because there is no widely accepted and intuitive formal language to express them. We propose a simple formal language with arrow notation ($\gets$) for sampling from a distribution and with observe statements for conditioning (updating, belief revision). We demonstrate the usefulness of this simple language by solving several famous puzzles from probabilistic decision theory. The operational semantics of our language is expressed via the (finite, discrete) subdistribution monad. Our broader message is that proper formalisation dispels confusion. Comment: 40 pages, 15 figures
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2410.10643 Zobrazit plný text záznamu View this record from Arxiv