암시적 제약 조건
문제 해결을 위해 반드시 충족되어야 하지만 명시적으로 서술되지 않은 물리적 또는 논리적 한계이다. 예를 들어 '세차를 하러 가라'는 명령에는 '차가 있어야 한다'는 전제가 포함되는데, 모델이 이를 간과하면 추론 오류가 발생한다.