논리적 반사실
만약 내 알고리즘이 다른 값을 출력했다면 어떤 일이 벌어졌을지 가정하는 추론 방식이다. 물리적으로 불가능한 상황이더라도 논리적 구조 내에서 알고리즘의 출력이 바뀌었을 때의 결과를 평가하여 현재의 최적 결정을 도출하는 데 사용된다.