24.38 후진 추론 엔진의 이론적 한계와 확률적 추론으로의 확장