- Backward chaining - Goal-driven procedure, top-down reasoning - 목표나 가정을 증명하기 위하여 그 목표를 지지하는 증거를 찾아내고 다시 이 증거들을 뒷받침 해 주는 또 다른 증거를 찾아가는 방법. - 증명된 결론이 있을 때, Unification 알고리즘에서 사용됨. - 수행절차 가설이 설정되면 → 관계있는 규칙만을 찾아 실행하여 → 조건부가 만족되었는지 검사한다 → 조건부가 만족되었으면 끝내고 / 그렇지 않으면 그 조건부를 다시 새로운 가설로 설정한다. (이러한 과정을 반복) - 장점 1. 현재의 목표와 관련이 없는 사실과 규칙을 찾지 않는다. 2. 특정한 목표 혹은 가설의 참/거짓을 검사할 수 있다. - 단점 1. 문제 해결을 하기 위하여 초기 상..