← Mathematical compendium

Published equation contexts

P(Hbio∣D)=P(D∣Hbio) P(Hbio)P(D∣Hbio) P(Hbio)+P(D∣Hab) P(Hab)P(H_{bio} \mid D) = \frac{P(D \mid H_{bio})\, P(H_{bio})}{P(D \mid H_{bio})\, P(H_{bio}) + P(D \mid H_{ab})\, P(H_{ab})}

Why this formula appears here

What lets these three very different kinds of evidence be compared at all is a shared logical structure that the Astrobiology community has tried to formalize explicitly rather than leave implicit. David Catling and coauthors proposed treating a biosignature detection as a Bayesian inference problem: a prior probability that a given planet or sample harbors life, updated by the likelihood of the observed data under a “life” hypothesis versus under one or more specific abiotic alternative hypotheses, yields a posterior probability rather than a binary yes-or-no verdict [ 7 ] . Written compactly, for a single candidate abiotic alternative HabH_{ab} competing with a life hypothesis HbioH_{bio} given…

Read the full article-specific guide →

Read the representative guide

HbioH_{bio}

Symbol H_bio

HbH_bio is an argument of the function-like quantity on the left; its role is set by that function’s stated inputs.

Read this term in its guide →
HabH_{ab}

Symbol H_ab

HaH_ab occurs below the fraction bar. The quantity above the bar is divided by this expression; zero is excluded as a denominator.

Read this term in its guide →
P(D∣Hbio) P(Hbio)P(D \mid H_{bio})\, P(H_{bio})

Numerator: P(D mid H_bio) P(H_bio)

The complete quantity above the fraction bar.

Read this term in its guide →
P(D∣Hbio) P(Hbio)+P(D∣Hab) P(Hab)P(D \mid H_{bio})\, P(H_{bio}) + P(D \mid H_{ab})\, P(H_{ab})

Denominator: P(D mid H_bio) P(H_bio) + P(D mid H_ab) P(H_ab)

The complete quantity below the fraction bar; it must be nonzero for this division.

Read this term in its guide →

How to interpret it

With a fixed numerator, increasing a nonzero denominator reduces the fraction. Read it with the definitions, units, and assumptions supplied by the article.

Research cited beside this formula

Published contexts (1)

A symbol can carry a different meaning in another article. Each occurrence keeps its own guide and term definitions.

P(Hbio∣D)=P(D∣Hbio) P(Hbio)P(D∣Hbio) P(Hbio)+P(D∣Hab) P(Hab)P(H_{bio} \mid D) = \frac{P(D \mid H_{bio})\, P(H_{bio})}{P(D \mid H_{bio})\, P(H_{bio}) + P(D \mid H_{ab})\, P(H_{ab})}

Equation 4 · Astrobiology

Comparing the Main Approaches to Origins of Life and Astrobiology

This equation states an equality: the expressions on both sides have the same value under the article’s assumptions.

What lets these three very different kinds of evidence be compared at all is a shared logical structure that the Astrobiology community has tried to formalize explicitly rather than leave implicit. David Catling and coauthors proposed treating a biosignature detection as a Bayesian inference problem: a prior probability that a given planet or sample harbors life, updated by the likelihood of the observed data under a “life” hypothesis versus under one or more specific abiotic alternative hypotheses, yields a posterior probability rather than a binary yes-or-no verdict [ 7 ] . Written compactly, for a single candidate abiotic alternative HabH_{ab} competing with a life hypothesis HbioH_{bio} given…

Equation guide → · Article →