Probability

Up: Corpus of Examples
Previous: Geometry
Next: Fitting

NOTE: THE UNDERLYING THEORY HERE AND THE SEMANTICS OF THESE SYMBOLS IS NOT ESTABLISHED.

Definition Prob.D1

Prob(E | F) -- The probability of event E given event F. Meta-operator from sentences E and F to a real number.

Definition Prob.D2

small_prob -- Constant. A small probability.

Definition Prob.D3

Prob_Tendency(
  conclusion : E;
  givens : F
  influences: [quantity, direction]  ... [quantity, direction]
)

E and F are sentences. The "quantities" are real valued quantities with a well-defined zero point (e.g. distances, masses, volumes, etc.). The directions are either "small" or "big"

This is a common construction. It means:
If the quantities in the influences labelled "small" are sufficiently small, and those labelled "big" are sufficiently big, then the probability of E given F is 1. As the quantities labelled small become big, and vice versa, As the quantities become large, the probability of E given F tends to fall, converging to zero.