22.8 연역 추론과 지식 확장 문제