Баєсове ієрархічне моделювання

Ба́єсове ієрархі́чне моделюва́ння (англ. Bayesian hierarchical modelling) — це статистична модель, написана в декілька рівнів (ієрархічний вигляд), яка оцінює параметри апостеріорного розподілу із застосуванням баєсового методу. Підмоделі об'єднуються для утворення ієрархічної моделі, а для поєднання їх в одне ціле зі спостережуваними даними та врахуванням всієї присутньої невизначеності застосовується теорема Баєса. Результатом цього поєднання є апостеріорний розподіл, відомий також як уточнена оцінка ймовірності за отримання додаткового свідчення про апріорний розподіл.

Частотницька статистика, популярніша основа статистики, може видавати висновки, здавалося би, несумісні з тими, що пропонує баєсова статистика, через баєсове трактування параметрів як випадкових змінних, і використання суб'єктивної інформації у встановленні припущень стосовно цих параметрів. Оскільки ці підходи дають відповіді на різні питання, то формальні результати не є технічно суперечливими, але ці два підходи не погоджуються стосовно того, яка відповідь є доречною для певного застосування. Баєсівці переконують, що доречною інформацією стосовно ухвалення рішень та уточнення переконань нехтувати не можна, і що ієрархічне моделювання має потенціал взяти гору над класичними методами в застосуваннях, в яких доповідачі дають декілька варіантів даних спостережень. Більше того, ця модель довела свою робастність, з меншою чутливістю апостеріорного розподілу до гнучкіших ієрархічних апріорних.

Ієрархічне моделювання застосовують, коли інформація є доступною на декількох різних рівнях одиниць вимірювання. Ієрархічна форма аналізу та організації допомагає в розумінні багатопараметрових задач, а також відіграє важливу роль у розробці обчислювальних стратегій.

Філософія

Численні статистичні застосування передбачають декілька параметрів, які можливо розглядати як пов'язані або взаємопоєднані таким чином, що ця задача передбачає залежність моделі спільної ймовірності для цих параметрів. Окремі міри переконань, виражені у вигляді ймовірностей, мають свою невизначеність. Крім цього, є зміна мір переконань з часом. Як було зазначено професором Хосе Бернардо та професором Адріаном Смітом, «Реальність процесу навчання складається з розвитку окремих та суб'єктивних переконань про дійсність.» Ці суб'єктивні ймовірності залучаються в розумі пряміше, ніж фізичні ймовірності. Відтак, саме через цю потребу уточнювати переконання баєсівці сформулювали альтернативну статистичну модель, яка враховує попереднє трапляння певної події.

Теорема Баєса

Передбачуване трапляння реальної події зазвичай змінюватиме переваги між певними варіантами. Це здійснюється змінюванням мір переконання, закріплених особою за подіями, що визначають ці варіанти.

Припустімо, що в дослідженні дієвості серцевого лікування з пацієнтами лікарні j, що має ймовірність виживання $\theta _{j}$, ймовірність виживання уточнюватиметься траплянням y, події створення гіпотетичної дискусійної сироватки, яка, як дехто вважає, збільшує виживаність серцевих пацієнтів.

Щоби зробити уточнені ймовірнісні твердження про $\theta _{j}$, маючи трапляння події y, ми мусимо почати з моделі, яка забезпечує спільний розподіл імовірності для $\theta _{j}$ та y. Це може бути записано як добуток двох розподілів, які часто називають апріорним розподілом $P(\theta )$ та вибірковим розподілом $P(y\mid \theta )$ відповідно:

$P(\theta ,y)=P(\theta )P(y\mid \theta )$

З використанням основної властивості умовної ймовірності, апостеріорний розподіл дасть:

$P(\theta \mid y)={\frac {P(\theta ,y)}{P(y)}}={\frac {P(y\mid \theta )P(\theta )}{P(y)}}$

Це рівняння, що показує взаємозв'язок між умовною ймовірністю та окремими подіями, відоме як теорема Баєса. Цей простий вираз містить у собі технічне ядро баєсового висновування, що має на меті конструювання уточненого переконання, $P(\theta \mid y)$, доречними та розв'язними способами.

Взаємозамінюваність

Звичною відправною точкою статистичного аналізу є припущення, що n значень $y_{n}$ є взаємозамінюваними. Якщо не доступно жодної інформації, крім даних y, щоби відрізняти будь-яке з $\theta _{j}$ від інших, і неможливо зробити жодного впорядкування чи групування параметрів, то необхідно виходити з симетричності серед параметрів у їхньому апріорному розподілі. Цю симетрію ймовірнісно представлено взаємозамінюваністю. Загалом, маючи деякий невідомий вектор параметрів $\theta$ з розподілом $P(\theta )$, корисно та доречно моделювати дані зі взаємозамінюваного розподілу, як незалежно та однаково розподілені.

Скінченна взаємозамінюваність

Для незмінного числа n набір $y_{1},y_{2},\ldots ,y_{n}$ є взаємозамінюваним, якщо спільний розподіл $P(y_{1},y_{2},\ldots ,y_{n})$ є інваріантним відносно переставляння індексів. Тобто, для кожного переставлення $\pi$ або $(\pi _{1},\pi _{2},\ldots ,\pi _{n})$ індексів (1, 2, …, n), $P(y_{1},y_{2},\ldots ,y_{n})=P(y_{\pi _{1}},y_{\pi _{2}},\ldots ,y_{\pi _{n}}).$

Наступний приклад є взаємозамінюваним, але не незалежним та однаково розподіленим (НОР): Розгляньмо глек із червоною та синьою кулями всередині, з імовірністю ${\frac {1}{2}}$ витягання кожної. Кулі витягують без повернення, тобто після витягування однієї кулі з n куль для наступного витягування там залишатиметься n − 1 куль.

Нехай $Y_{i}={\begin{cases}1,\\0,\end{cases}}$	якщо $i$-та куля є червоною
	інакше.

Оскільки ймовірність обрання червоної кулі в першому витягуванні та синьої кулі у другому витягуванні дорівнює ймовірності обрання синьої кулі в першому витягуванні та червоної кулі в другому, обидві з яких дорівнюють 1/2 (тобто, $[P(y_{1}=1,y_{2}=0)=P(y_{1}=0,y_{2}=1)={\frac {1}{2}}]$), то $y_{1}$ та $y_{2}$ є взаємозамінюваними.

Але ймовірністю обрання червоної кулі в другому витягуванні, коли червону кулю вже було обрано в першому, є 0, і вона не дорівнює ймовірності обрання червоної кулі в другому витягуванні, яка дорівнює 1/2 (тобто, $[P(y_{2}=1\mid y_{1}=1)=0\neq P(y_{2}=1)={\frac {1}{2}}]$). Таким чином, $y_{1}$ та $y_{2}$ не є незалежними.

Якщо $x_{1},\ldots ,x_{n}$ є незалежними та однаково розподіленими, то вони є взаємозамінюваними, але обернене є не обов'язково істинним.

Нескінченна взаємозамінюваність

Нескінченна взаємозамінюваність — це така властивість, що кожна скінченна підмножина нескінченної послідовності $y_{1}$, $y_{2},\ldots$ є взаємозамінюваною. Тобто, для будь-якого n послідовність $y_{1},y_{2},\ldots ,y_{n}$ є взаємозамінюваною.

Ієрархічні моделі

Складові

Баєсове ієрархічне моделювання при виведенні апостеріорного розподілу використовує два важливі поняття, а саме:

1. Гіпермараметри: параметри апріорного розподілу
2. Гіперапріорні: розподіли гіперпараметрів

Припустімо, що випадкова змінна Y слідує нормальному розподілові з параметром θ як середнє та 1 як дисперсія, тобто, $Y\mid \theta \sim N(\theta ,1)$. Припустімо також, що параметр $\theta$ має розподіл, заданий нормальним розподілом із середнім $\mu$ та дисперсією 1, тобто, $\theta \mid \mu \sim N(\mu ,1)$. Більше того, $\mu$ слідує іншому заданому розподілові, наприклад, стандартному нормальному розподілові, ${\text{N}}(0,1)$. Параметр $\mu$ називають гіперпараметром, тоді як його розподіл, заданий як ${\text{N}}(0,1)$, є прикладом гіперапріорного розподілу. Запис розподілу Y змінюється із додаванням нового параметру, тобто, $Y\mid \theta ,\mu \sim N(\theta ,1)$. Якщо є додатковий рівень, скажімо, $\mu$ слідує іншому нормальному розподілові з середнім $\beta$ та дисперсією $\epsilon$, що означає $\mu \sim N(\beta ,\epsilon )$, то ${\mbox{ }}$$\beta$ та $\epsilon$ також може бути названо гіперпараметрами, тоді як їхні розподіли є також гіперапріорними розподілами.

Система

Нехай $y_{j}$ є спостереженням, а $\theta _{j}$ — параметром, що регулює процес породжування даних для $y_{j}$. Припустімо далі, що параметри $\theta _{1},\theta _{2},\ldots ,\theta _{j}$ породжуються взаємозамінювано зі спільної генеральної сукупності, з розподілом, керованим гіперпараметром $\phi$.

Ця баєсова ієрархічна модель містить наступні рівні:

Рівень I: $y_{j}\mid \theta _{j},\phi \sim P(y_{j}\mid \theta _{j},\phi )$

Рівень II: $\theta _{j}\mid \phi \sim P(\theta _{j}\mid \phi )$

Рівень III: $\phi \sim P(\phi )$

Правдоподібністю, як видно на рівні I, є $P(y_{j}\mid \theta _{j},\phi )$, з $P(\theta _{j},\phi )$ як її апріорним розподілом. Зауважте, що ця правдоподібність залежить від $\phi$ лише через $\theta _{j}$.

Апріорний розподіл з рівня I може бути розбито як

$P(\theta _{j},\phi )=P(\theta _{j}\mid \phi )P(\phi )$ [з визначення умовної ймовірності]

з $\phi$ як його гіперпараметром з гіперапріорним розподілом $P(\phi )$.

Таким чином, апостеріорний розподіл є пропорційним до:

$P(\phi ,\theta _{j}\mid y)\propto P(y_{j}\mid \theta _{j},\phi )P(\theta _{j}\mid \phi )$ [із застосуванням теореми Баєса]

$P(\phi ,\theta _{j}\mid y)\propto P(y_{j}\mid \theta _{j})P(\theta _{j},\phi )$

Приклад

Щоби додатково проілюструвати це, розгляньмо наступний приклад.

Вчитель хоче оцінити, наскільки добре учень виконав свій тест SAT. Щоби оцінити це, він використовує інформацію про бали цього учня в старшій школі, та його поточний середній бал (grade point average, GPA). Його поточний середній бал, позначуваний через $Y$, має правдоподібність, задану деякою функцією ймовірності з параметром $\theta$, наприклад, $Y\mid \theta \sim P(Y\mid \theta )$. Цей параметр $\theta$ є оцінкою SAT учня. Оцінку SAT розглядають як зразок, що береться зі спільного розподілу генеральної сукупності, проіндексованого за іншим параметром $\phi$, що є балом цього учня зі старшої школи. Тобто, $\theta \mid \phi \sim P(\theta \mid \phi )$. Крім того, гіперпараметр $\phi$ слідує своєму власному розподілові, заданому $P(\phi )$, гіперапріорному.

Щоби отримати розв'язок для оцінки SAT, маючи інформацію про GPA,

$P(\theta ,\phi \mid Y)\propto P(Y\mid \theta ,\phi )P(\theta ,\phi )$

$P(\theta ,\phi \mid Y)\propto P(Y\mid \theta )P(\theta \mid \phi )P(\phi )$

Для отримання розв'язку для апостеріорного розподілу буде використано всю інформацію в задачі. Замість розв'язування з використанням лише апріорного розподілу та функції правдоподібності, використання гіперапріорних дає більше інформації для отримування точніших переконань про поведінку параметра.

Дворівнева ієрархічна модель

Загалом, спільним апостеріорним розподілом, що нас цікавить, у дворівневій ієрархічній моделі є:

$P(\theta ,\phi \mid Y)={P(Y\mid \theta ,\phi )P(\theta ,\phi ) \over P(Y)}={P(Y\mid \theta )P(\theta \mid \phi )P(\phi ) \over P(Y)}$

$P(\theta ,\phi \mid Y)\propto P(Y\mid \theta )P(\theta \mid \phi )P(\phi )$

Трирівнева ієрархічна модель

Для трирівневої ієрархічної моделі апостеріорний розподіл задається так:

$P(\theta ,\phi ,X\mid Y)={P(Y\mid \theta )P(\theta \mid \phi )P(\phi \mid X)P(X) \over P(Y)}$

$P(\theta ,\phi ,X\mid Y)\propto P(Y\mid \theta )P(\theta \mid \phi )P(\phi \mid X)P(X)$