Infinite Choice and Probability Distributions. An Open Problem: The Real Hotel

08/24/2021
by   Jan Friso Groote, et al.
0

We sketch a process algebra with data and probability distributions. This allows to combine two very powerful abstraction mechanisms namely non-deterministic choice and probabilities. However, it is not clear how to define an appropriate semantics for the generalised choice over data in combination with probability density functions. The real hotel is a puzzle that exemplifies the core of the problem.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/27/2021

Generating Negations of Probability Distributions

Recently it was introduced a negation of a probability distribution. The...
research
12/21/2017

Wave function representation of probability distributions

Orthogonal decomposition of the square root of a probability density fun...
research
11/27/2019

Information-Geometric Set Embeddings (IGSE): From Sets to Probability Distributions

This letter introduces an abstract learning problem called the “set embe...
research
07/07/2020

Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection

The choice of password composition policy to enforce on a password-prote...
research
04/22/2019

Strand Spaces with Choice via a Process Algebra Semantics

Roles in cryptographic protocols do not always have a linear execution, ...
research
11/25/2018

What is meant by 'P(R|Yobs)'?

Missing at Random (MAR) is a central concept in incomplete data methods,...
research
06/11/2021

Encoding of probability distributions for Asymmetric Numeral Systems

Many data compressors regularly encode probability distributions for ent...

Please sign up or login with your details

Forgot password? Click here to reset