인공지능(AI) 논리시험에 정답표만 있으면 어디서 틀렸는지 알 수 있을까?

그림에서 무엇을 볼까요?

같은 최종 답 아래에 1단계 규칙, 중간 결론, 2단계 규칙, 최종 결론을 정렬한 증명 사다리

LTCT 자체 예시에서 ‘모든 A는 B’, ‘모든 B는 C’, ‘다온은 A’로부터 ‘다온은 C’를 증명합니다. 1단계는 다온은 B, 2단계는 다온은 C입니다. 정답층은 C 여부, 규칙층은 두 번의 전칭 적용, 경로층은 사용 전제를 기록합니다.

다른 풀이가 같은 결론에 더 긴 유효 경로로 도달할 수도 있습니다. 채점기는 표현 일치보다 논리적 등가와 실제 의존 관계를 확인해야 합니다. 교육용 도식은 원 데이터셋 예시가 아닙니다.