AND / OR 프로세스 모델에서의 실패 분석을 이용한 보다 효율적인 백트랙킹

AND/OR 프로세스 모델은 논리 프로그램의 AND 병렬성과 OR 병렬성을 구현하고 있다.backtracking intelligence를 높이려는 시도는 이 모델의 주요 연구 중의 하나이다. 지금까지 intelligent backtracking은 data dependency graph에만 의존하여 이루어져 왔다. 그러나 실제로 실패는 data dependency graph에 나타나는 변수 중 일부 때문에 발생하는 경우가 많다. 따라서 어떤 실패의 원인이 되는 변수를 찾을 수 있다면 보다 intelligent하게 backtracking을 수행할 수 있다. 본 논문에서는 실패를 분석하여 그 원인이 되는 변수를 찾는 실패 분석과 이 분석 결과를 이용하는 intelligent backtracking이 제안되었다.