역방향 연결

역방향 연결

1.     목표 지향 ( goal – driven ) 추론으로써 , 전문가 시스템이 목표를 정하고 , 추론엔진은 이를 증명하기 위해 증거 찾기를 시도한다. 먼저 원하는 해가 있는 규칙을 찾기 위해 기반지식을 탐색한다. 규칙은 THEN 부분에 목표가 반드시 있어야 한다

2.     규칙을 발견하고 IF 부분이 데이터베이스에 있는 데이터와 일치한다면 규칙은 점화되고 목표는 증명된다

3.     추론 엔진은 규칙의 IF 부분을 증명하기 위해 작업 중이던 규칙은 제쳐두고 ( stack 에 저장 ) 새로운 목표와 하위 목표를 설정한다

4.     하위 목표를 증명할 수 있는 규칙을 찾아 기반지식을 다시 탐색한다.

5.     추론엔진은 현재의 하위 목표를 증명하기 위해 기반지식에서 더 이상 규칙을 발견할 수 없을 때 까지 규칙을 스택에 쌓아 올리는 과정을 반복하게 된다 .

다음 예를 보자.

화살표를 기준으로 왼쪽은 IF , 오른쪽은 THEN

4단계에서 Y & D , X & B & E 는 데이터베이스에 있는 사실과 다르므로 스택에 저장시켜 준다 . 

A --> X 에서 A 가 데이터베이스에 있고 , 새로운 사실 X 를 점화시킨다 . 

그리고 아까 저장해 놓은 Y를 확인 해 본다 . 

X 가 새로운 사실로 추가가 되면서 사실로 간주 되면서 Y가 추가가 된다 .

그리고 아까 저장해 놓은 Y & D 까지 사실로 간주 되고 , Z가 추가가 된다.

목표는 Z로써 원하는 결과값을 찾았다.