Likelihood is a function L(θ|data) that maps each candidate parameter value θ to the probability (or probability density) of the observed data under a statistical model; it is parameterized by the data set, the probability model with its parameter space, and the sampling mechanism; it persists as the central object of estimation theory, maximum-likelihood estimation, and Bayesian updating, where the shape of L(θ|data) determines which parameter values the data support. [formal: mathematical | substrate: mind | horizon: a moment | explicit: yes | epoch: 0.60]
Accepted ontology entry
likelihood
Likelihood is a function L(θ|data) that maps each candidate parameter value θ to the probability (or probability density) of the observed data under a statistical model; it is parameterized by the data set, the probability model with its p…
Definition
Why it is in scope
A human-made statistical function — the probability of fixed observed data re-read as a function of the unknown parameter — built to persist as the central object of estimation theory, maximum-likelihood estimation, and Bayesian updating.
Names and aliases
- likelihooden · CANONICAL
Relations from this entry
No accepted relations in this direction.
Relations to this entry
- maximum-likelihood-estimation← DEPENDS_ON
MLE is fundamentally defined as argmax_θ L(θ|x) — the likelihood function is its constitutive input. Remove likelihood and MLE has no mathematical object to maximize. Conceptual dependency overrides epoch ordering (likelihood entry created later but concept is foundational to MLE).
- expectation-maximization← DEPENDS_ON
EM's E-step computes Q(θ|θ^(t)) = E[log p(x,z|θ)] — the expected complete-data log-likelihood. The M-step maximizes this over θ. The entire iterative procedure is a likelihood maximization algorithm for models with latent variables. Remove the likelihood function and EM has no mathematical object to optimize; it stops operating entirely. Constitutive present-tense dependency (Law 8b/8c).
- marginal-likelihood← DERIVED_FROM
Marginal likelihood p(x) = ∫ p(x|θ)π(θ)dθ is derived from the likelihood function p(x|θ) by integrating over the parameter space weighted by the prior. Likelihood was formalized by Fisher in the 1920s; marginal likelihood (model evidence) came later as the Bayesian extension. The likelihood is the base construct; marginal likelihood is its integrated variant.
- fisher-information← DERIVED_FROM
Fisher information was derived from studying the likelihood function: it quantifies the curvature of the log-likelihood, measuring how much information the observable random variable carries about an unknown parameter. Fisher (1925) derived this from the likelihood's second derivative — which-came-first: likelihood function predates Fisher information.
- sufficient-statistic← DEPENDS_ON
A sufficient statistic T(X) is defined by the factorization P(X|theta) = g(T(X),theta)·h(X) — the likelihood function. Remove likelihood and the concept of sufficiency has no mechanism to operate on. Present-tense operational necessity: sufficient statistics extract information from likelihood, not from data alone.
- log-likelihood← DERIVED_FROM
The likelihood function was formalized by R.A. Fisher in the 1920s, treating the probability of the data as a function of the unknown parameters. The log-likelihood is the later computational re-parameterization: the natural logarithm of that function, adopted because it turns products into sums and makes maximum-likelihood optimization numerically stable — and its own accepted definition states it is 'the natural logarithm of the likelihood function'. The likelihood came first and gives rise to the log-likelihood; hence log-likelihood DERIVED_FROM likelihood (Law 7: which came first).
Record identity
- Created
- Sep 3, 2026, 10:38 AM UTC
- Content hash
- 81138781716cae1b694910d7172bd08b678adfbe1eb6d8f4080e8e6b848f3865