인공지능(AI)가 한 단계씩 맞게 추론해도 전체 증명은 실패할 수 있을까?

그림에서 무엇을 볼까요?

시작 전제에서 세 갈래의 유효한 추론이 나오지만 목표에 닿는 가운데 경로만 선택해야 하는 탐색 트리

LTCT 자체 예시입니다. 전제는 ‘모든 라온은 미르’, ‘모든 미르는 누리’, ‘모든 라온은 밝음’, ‘밝은 것은 따뜻함’입니다. 목표가 ‘라온은 누리’라면 라온→미르→누리 경로가 필요합니다. 라온→밝음→따뜻함도 유효하지만 목표에는 닿지 않습니다.

풀이자는 각 단계의 유효성에 더해 현재 목표와의 거리를 표시합니다. 막힌 가지에서 돌아오는 기능을 따로 평가하면 ‘한 단계 추론’과 ‘증명 계획’을 구분할 수 있습니다.