Rete 규칙망에 기반한 전향추론과 후향추론의 통합

본 논문은 대규모 지식베이스에서 가장 효율적인 전향추론 패턴 매치 방법으로 잘 알려진 Rete 규칙망에 기반하여 전향추론과 후향추론을 결합하는 기법을 제시한다. 전향추론과 후향추론에서 규칙의 호출을 조절하기 위하여 가설객체를 도입하고 전향추론과 후향추론이 단일 규칙 형태를 사용하여 결합될 수 있도록 일반적인 규칙 형태에 가설조건식을 추가하여 규칙을 확장한다. 기존의 Rete 규칙망에 가설조건식을 위한 가설결합노드를 추가하고 노드를 양방향으로 연결하여 혼합규칙망을 구성한다. 이를 기반으로 하여 규칙은 추론시 지식의 구조에 따라 전향, 후향 또는 양방향으로 사용될 수 있다. 전향추론은 확장된 Rete 알고리즘에 기반하여 수행되며 후향목표를 생성한다. 후향추론은 전향추론에서 생성된 가설을 통하여 자연스럽게 통합된다. 혼합규칙망에서의 후향추론은 이전의 전향추론에 의해 이미 규칙망의 저장노드에 저장된 부분적 매치 결과와 충돌집합을 사용하여 빠른 추론을 할 수 있는 장점을 가진다. 전체적인 혼합추론 과정은 규칙들 사이에 직접적인 관련을 두지 않는 순수한 전향추론 또는 후향추론에 비해 장점들을 가진다.