통합검색

문장을 논리식으로 잘 옮기면 인공지능(AI) 추론도 끝난 걸까?

FOLIO는 자연어를 1차 논리로 옮기는 정확성과 실제 결론을 실행하는 정확성이 다를 수 있음을 보여 줍니다.

FOLIO: Natural Language Reasoning with First-Order Logic

AI가 제안한 최소 변경은 실제로 실행할 수 있을까?

출력이 뒤집히는 가장 가까운 입력과 사람이 지금 선택해 실행할 수 있는 행동을 비용·시간·인과 제약으로 나눕니다.

정확도가 같아도, AI의 실수는 다르다

20개 부품을 80퍼센트 정확도로 판정한 두 기준. 결함을 놓친 횟수와 정상 부품을 붙잡은 횟수는 서로 다릅니다.

겹친 영역부터 채우면 전체가 맞는다

전체 80명. 독서만 28명, 두 모임 모두 20명, 토론만 16명, 두 모임 모두 참여하지 않은 사람 16명. 적어도 하나는 64명.

움직임과 색을 더하면 더 많은 정보를 한눈에 볼까?

표적 → 한 색 → 빠른 탐색 / 분포 → 전체 패턴 → 집합 파악 / 결합 → 색+모양 → 주의 병목를 비교하는 LTCT 교육용 도식