개념
역방향 추론은 먼저 증명하고 싶은 목표 결론을 정하고, 그 결론을 뒷받침하는 규칙과 사실을 거꾸로 찾아가는 방식이다. Backward chaining이라고도 한다.
동작 예
목표가 “사자이다”라면, 먼저 결론이 “사자이다”인 규칙을 찾는다. 그 규칙의 전제가 “육식동물이고, 황갈색이고, 갈기가 있다”라면 이 전제들이 사실인지 확인한다. 없으면 다시 “육식동물”을 결론으로 하는 규칙을 찾아 거꾸로 추적한다.
결론이 목표 인 규칙 를 찾으면 목표를 하위 목표들로 바꾼다.
특징
역방향 추론은 특정 목표가 참인지 확인하고 싶을 때 유용하다. Prolog는 주어진 쿼리에서 시작해 관련 규칙을 역으로 추적하는 방식을 사용한다.