후방 추론

후방 추론(後方推論)은 전방 추론과 반대로 목표로부터 시작해서 이를 충족시키는 전제를 찾아나가는 추론 방식이다. 가능한 목표의 수가 적은 경우에 우수한 추론 방법이다.