25.25 지식 표현의 불완전성 문제: 열린 세계(Open-World) 환경에서의 추론