3-2/지식표현과 추론 0