22.23 지식 베이스 검증(Verification)의 정의와 수학적 기법