23.16 추론 주기의 종료 조건 정의와 수렴성 분석