편집
714
번
(코멘트 추가) |
|||
13번째 줄: | 13번째 줄: | ||
호이머(Huemer 1997)의 반정합성 정리는 봉주어식 정합론이 불가능함을 보이기 위한 정리이다. 다음의 두 가정은 봉주어의 모형을 베이즈주의적으로 해석한 것이다. | 호이머(Huemer 1997)의 반정합성 정리는 봉주어식 정합론이 불가능함을 보이기 위한 정리이다. 다음의 두 가정은 봉주어의 모형을 베이즈주의적으로 해석한 것이다. | ||
# 단독 목격의 무입증력 가정 : <math>P(A|W_{i | # 단독 목격의 무입증력 가정 : <math>P(A|W_{i, A} ) = P(A)</math> | ||
# 두 목격(i,j)의 조건부 독립성 가정 : | # 두 목격(i,j)의 조건부 독립성 가정(j가 i에 대해 독립적) : | ||
#* <math>P(W_{j,A} | W_{i,A} \land A) = P(W_{j,A} | A)</math> | #* <math>P(W_{j,A} | W_{i,A} \land A) = P(W_{j,A} | A)</math> | ||
#* <math>P(W_{j,A} | W_{i,A} \land \neg A) = P(W_{j,A} | \neg A)</math> | #* <math>P(W_{j,A} | W_{i,A} \land \neg A) = P(W_{j,A} | \neg A)</math> |