25.5 기호적 지식 표현의 표현력과 계산 복잡도 간의 상충 관계