역방향 체이닝

역방향 체이닝은 인공지능 분야의 전문가 시스템과 규칙 엔진에서 자주 사용되는 추론 방법입니다.목표 지향성에 기반한 추론 방법으로, 목표나 결론에서 시작하여 알려진 사실이나 전제로 거꾸로 추론하여 목표를 달성하는 방법을 결정합니다.

역방향 체이닝에서 시스템은 먼저 달성해야 할 목표를 결정한 다음 해당 목표에서 역방향으로 작업하여 해당 목표로 이어질 수 있는 규칙과 사실을 찾습니다. 이 과정은 알려진 사실이나 규칙에 도달할 때까지, 또는 목표를 달성할 수 없다고 판단될 때까지 계속됩니다.

백링크의 특성:

• 이를 상향식 접근 방식이라 합니다.
• 역방향 연결은 전조 추론 규칙에 기초합니다.
• 역방향 체이닝에서는 목표가 하나 이상의 하위 목표로 분해되어 사실의 진실성을 증명합니다.
• 목표 목록에 따라 어떤 규칙을 선택하고 사용할지가 결정되므로 목표 중심 접근 방식이라고 합니다.
• 역방향 체인 알고리즘은 게임 이론, 자동화된 정리 증명 도구, 추론 엔진, 증명 지원 도구 및 다양한 인공 지능 애플리케이션에 사용됩니다.
• 역방향 체이닝 방법은 주로 깊이 우선 탐색 전략을 사용하여 증명되었습니다.