text: Вопрос определяется как набор распределений P ( S e a r c h e d ∣ Known ∧ δ ∧ π ) {\displaystyle P\left(Searched\mid {\text{Known}}\wedge \delta \wedge \pi \right)} составленный из «конкретизированных вопросов» как кардинал K n o w n {\displaystyle Known} , где каждый конкретизированный вопрос является распределением P ( Searched ∣ Known ∧ δ ∧ π ) {\displaystyle P\left({\text{Searched}}\mid {\text{Known}}\wedge \delta \wedge \pi \right)} Для заданного совместного распределения P ( X 1 ∧ X 2 ∧ ⋯ ∧ X N ∣ δ ∧ π ) {\displaystyle P\left(X_{1}\wedge X_{2}\wedge \cdots \wedge X_{N}\mid \delta \wedge \pi \right)} всегда возможно вычислить любой вопрос, применяя следующий общий вывод: P ( Searched ∣ Known ∧ δ ∧ π ) = ∑ Free = ∑ Free P ( Known ∣ δ ∧ π ) = ∑ Free ∑ Free ∧ Searched = 1 Z × ∑ Free {\displaystyle {\begin{aligned}&P\left({\text{Searched}}\mid {\text{Known}}\wedge \delta \wedge \pi \right)\\={}&\sum _{\text{Free}}\left\\={}&{\frac {\displaystyle \sum _{\text{Free}}\left}{\displaystyle P\left({\text{Known}}\mid \delta \wedge \pi \right)}}\\={}&{\frac {\displaystyle \sum _{\text{Free}}\left}{\displaystyle \sum _{{\text{Free}}\wedge {\text{Searched}}}\left}}\\={}&{\frac {1}{Z}}\times \sum _{\text{Free}}\left\end{aligned}}} где первое равенство следует из правила обособления (англ. marginalization rule), второе вытекает из теоремы Байеса, а третье соответствует второму применению обособления.