정답을 잘 고르는 인공지능(AI)는 반례도 잘 만들까?

그림에서 무엇을 볼까요?

하나의 추론 문제를 논리 표현, 반례 구성, 타당성 판정의 세 과제로 나누고 마지막에 서로 모순 없는지 대조하는 교육용 평가 그림.

LTCT의 가상 과제입니다. ‘모든 야간 이용자는 기록이 있다. 민서에게 기록이 있다. 따라서 민서는 야간 이용자다.’ ① 각 문장을 집합이나 기호로 옮깁니다. ② 전제는 모두 참이고 결론은 거짓인 상황을 만듭니다. ③ 결론이 반드시 따라오는지 판단하고 앞선 표현과 대조합니다.

반례로 ‘민서는 낮에만 방문했고 기록이 있다’를 들었다면, 야간 이용자는 모두 기록이 있다는 첫 전제도 그 상황에서 지켜지는지 확인해야 합니다. 세 답변이 서로 맞아떨어지는지를 보는 것은 정답 선택만 확인할 때보다 구체적인 피드백을 제공합니다. 이것은 원문 벤치마크 문항을 복제한 것이 아니라 교육용으로 만든 활동입니다.