2 ms·
This reminds me of `PrSAT`, a satisfier for probabilistic statements. ("Does a distribution exist that satisfies the following constraints?"). See: https://fit
by mturmon 11mo ago
This reminds me of `PrSAT`, a satisfier for probabilistic statements. ("Does a distribution exist that satisfies the following constraints?").
See: https://fitelson.org/PrSAT/ https://fitelson.org/PrSAT/, and the linked paper: https://fitelson.org/pm.pdf https://fitelson.org/pm.pdf
The paper starts off slow, but have patience to read up to section 4, Applications, which is kind of surprising.
- usgroup 11mo agoThanks for this reference; I found this paper interesting, but it is a satisfiability solver. Inherently it cannot quantify the probability of a subset of events, but it can find a probability assignment given a set of constraints. I.e. prove possibility. More usefully it can show that no such assignment is possible.