Stuart_Armstrong's Shortform

30th Sep 2019

1 min read

5

This is a special post for quick takes by Stuart_Armstrong. Only they can create top-level comments. Comments here also appear on the Quick Takes page and All Posts page.

Mentioned in

14Generalised models as a category

12Technical model refinement formalism

Stuart_Armstrong's Shortform

0Stuart_Armstrong

3Diffractor

2 comments, sorted by

top scoring

Click to highlight new comments since: Today at 4:23 AM

[-]Stuart_Armstrong5y*00

Partial probability distribution

A concept that's useful for some of my research: a partial probability distribution.

That's a that defines $Q (A ∣ B)$ for some but not all $A$ and $B$ (with $Q (A) = Q (A ∣ Ω)$ for $Ω$ being the whole set of outcomes).

This $Q$ is a partial probability distribution iff there exists a probability distribution $P$ that is equal to $Q$ wherever $Q$ is defined. Call this $P$ a full extension of $Q$ .

Suppose that $Q (C ∣ D)$ is not defined. We can, however, say that $Q (C ∣ D) = x$ is a logical implication of $Q$ if all full extension $P$ has $P (C ∣ D) = x$ .

Eg: $Q (A)$ , $Q (B)$ , $Q (A \cup B)$ will logically imply the value of $Q (A \cap B)$ .

[-]Diffractor5y30

Sounds like a special case of crisp infradistributions (ie, all partial probability distributions have a unique associated crisp infradistribution)

Given some , we can consider the (nonempty) set of probability distributions equal to $Q$ where $Q$ is defined. This set is convex (clearly, a mixture of two probability distributions which agree with $Q$ about the probability of an event will also agree with $Q$ about the probability of an event).

Convex (compact) sets of probability distributions = crisp infradistributions.

Moderation Log

AI ALIGNMENT FORUM
AF

AI ALIGNMENT FORUM
AF

Stuart_Armstrong's Shortform

5