본문으로 건너뛰기
309 / LEARNING THEORY LAB
먼저 알아두면 좋아요 · 연결된 선수 단원의 확률·통계·최적화·선형대수 기초
단원 목록 (600) · PAC·PAC-Bayes·Prior와 Posterior
이해하는 속도로 읽으세요.개념도이론실험확인 문제
BUILD YOUR INTUITION

먼저 그림으로 이해하기

한 번에 한 단계씩 살펴보세요.

고정 prior와 데이터 posterior의 위험·KL·confidence 비용을 계산합니다.

Six fixed thresholds, bounded 0-1 loss and IID-model training data. Prior tilt must be selected independently of data; Gibbs posterior is proportional to prior*exp(-beta*empirical risk). Bound is for a randomized Gibbs classifier, not a majority vote. Lambda lies in the predeclared eight-value grid {1,2,4,8,16,32,64,128}; log(8/delta) covers post-data choice among that grid. It does not authorize data-selected priors. Blue posterior probabilities, orange prior probabilities; risk upper bound may be vacuous.

050.8240
가로 threshold · 파랑 posterior 질량 · 주황 prior 질량 · 위험 bound는 readout
thresholdpriorposteriorsample riskpopulation risk
00.1670.0140.4690.42
10.1670.0880.2810.26
20.1670.7850.0630.1
30.1670.0880.2810.26
40.1670.0180.4380.42
50.1670.0070.5310.58

Gibbs empirical risk = 0.117

고정 기준 예제의 그림과 수치입니다. 각 단계에서 같은 그림의 의미를 차례로 살펴보세요. 고정된 기준 예제이며 아래 실험의 설정과 독립적입니다.
1 / 4

고정 Prior

데이터를 보기 전의 가설 분포를 정합니다.

pi(h)>0

실험에서 확인하기 →
이 단원 목차

분포를 고르는 학습과 확률 보장의 가정

여섯 threshold 각각에 확률을 주는 posterior q를 생각합니다. Gibbs classifier는 예측할 때 이 분포에서 가설을 무작위로 골라 사용합니다. 그 위험은 E_q R(h)입니다. 가장 무거운 가설 하나를 쓰거나 majority vote를 하는 것과 같은 분류기가 아닙니다. Posterior라는 이름만으로 Bayesian 모형의 참 사후확률이 되는 것도 아닙니다.

이 단원은 IID 표본, [0,1]의 0-1 loss, 표본과 독립적으로 미리 고정한 양의 prior pi와 사전에 정한 delta를 가정합니다. Prior tilt를 데이터를 본 뒤 조정하면 숫자는 계산되더라도 아래 confidence 보장을 그대로 해석할 수 없습니다. 파랑은 실제 Gibbs posterior 질량, 주황은 prior 질량입니다.

실제 Posterior와 KL

표본 위험을 계산한 뒤 다음 분포를 만듭니다.

q(h)=π(h)e−βR^(h)∑jπ(j)e−βR^(j),KL(q∥π)=∑hq(h)log⁡q(h)π(h).q(h)=\frac{\pi(h)e^{-\beta\widehat R(h)}}{\sum_j\pi(j)e^{-\beta\widehat R(j)}},\qquad \mathrm{KL}(q\Vert\pi)=\sum_hq(h)\log\frac{q(h)}{\pi(h)}.

Beta=0이면 q=pi이고 KL=0입니다. 큰 beta는 낮은 empirical 위험에 질량을 모으지만 알려진 population 위험을 직접 최소화하는 식은 아닙니다. KL은 참 모델에 대한 거리라고 자동 해석하지 않고, 선언한 prior에서 얼마나 벗어났는지를 nats로 측정합니다.

Bound를 세 단계로 유도하기

고정 h에 대해 Hoeffding의 moment 부등식은 E_S exp(lambda(R-Rhat))≤exp(lambda²/(8N))입니다. 이를 prior로 평균내고 Markov를 적용합니다. 미리 정한 lambda 집합 {1,2,4,8,16,32,64,128}에 union bound를 쓰면 확률 1-delta 이상으로 모든 그리드 값에서 동시에

log⁡Eπeλ(R−R^)≤λ28N+log⁡8δ.\log E_\pi e^{\lambda(R-\widehat R)}\le\frac{\lambda^2}{8N}+\log\frac8\delta.

여기에 유한 change-of-measure 부등식 E_q f≤KL(q||pi)+log E_pi exp(f)를 적용하면 모든 q에 대해 동시에

R(q)≤R^(q)+KL(q∥π)+log⁡(8/δ)λ+λ8N.R(q)\le\widehat R(q)+\frac{\mathrm{KL}(q\Vert\pi)+\log(8/\delta)}\lambda+\frac\lambda{8N}.

이 때문에 posterior를 데이터로 골라도 되며 미리 정한 그리드 안의 lambda 선택도 보정됩니다. 연속적인 모든 lambda를 공짜로 사후 최적화하거나 prior까지 자유롭게 데이터로 고르는 결론은 아닙니다.

손계산과 직접 풀기

N=32, delta=.05, lambda=32, beta=0이면 penalty는 log(160)/32+1/8≈0.2836입니다. 이 값을 실제 Gibbs empirical 위험에 더합니다. 1을 넘으면 bounded risk의 자명한 상한 1로 clip할 수 있지만 원래 상한도 readout에 남겨 vacuity를 숨기지 않습니다.

직접 풀기: uniform prior, noise=.1에서 beta=0의 population 위험을 구하세요. 풀이: 여섯 threshold 위험 [.42,.26,.10,.26,.42,.58]을 평균내어 .34입니다. 이 값은 empirical 평균과 같을 필요가 없습니다. 신뢰확률은 반복 표본 추출의 사건에 대한 것이며 개별 label을 맞힐 posterior 확률 .95라는 뜻이 아닙니다.

AI 일반화 분석에서의 사용

Prior의 데이터 독립성, loss 범위, 표본 수, confidence와 hyperparameter 선택 비용을 기록하세요. 전체 dataset을 보고 만든 prior에 같은 식을 그대로 쓰면 보장이 달라집니다. 또한 Gibbs 위험 bound를 vote 위험 bound로 단순히 이름만 바꿔 보고하면 안 됩니다. 현재 실험은 유한 class에서 모든 항을 직접 계산해 그 가정을 학습하는 기준입니다.

참고: Understanding Machine Learning 저자 페이지. 위 grid 보정과 예제는 직접 유도했습니다.

CHECK YOUR UNDERSTANDING

설명할 수 있나요?

실험 설정과 무관한 기준 예제를 묻습니다. 답을 고르고 설명을 확인해보세요.

1. 같은 bound로 데이터를 본 뒤 prior를 자유롭게 골라도 되나요?
2. Gibbs 위험 bound가 그대로 majority vote의 위험 bound인가요?

선택한 답과 학습 표시는 이 브라우저에 저장됩니다. 다시 풀거나 표시를 해제할 수 있습니다.