추론 제어