9.21 상식 추론의 형식화 어려움과 이론적 장벽