Infrastructure · Data Structures
Probability
Likelihood measure for uncertain events
Definition
Mechanism
A measure of likelihood on [0,1] expressing the degree of belief or frequency with which an Event is expected to occur. Forms the basis for risk assessment, decision-making under uncertainty, and Bayesian updating.
Invariants
- Bounded: 0 ≤ P ≤ 1
- Normalization: P(certain) = 1, P(impossible) = 0
- Additivity: P(A or B) = P(A) + P(B) for mutually exclusive events
Risks
Failure modes
None stated.
Relationships
Builds on
References
Discrete temporal occurrence
Used by
References
Quantified potential for negative outcome
Reference
Data schema
{
"type": "number",
"minimum": 0,
"maximum": 1,
"description": "Probability value between 0 and 1"
}