통합검색

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

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

FOLIO: Natural Language Reasoning with First-Order Logic

끝까지 비교해야 합리적인 선택일까?

모든 대안을 계산할 수 없는 사람에게도 합리적인 탐색 규칙이 필요합니다. 만족화와 탐색 비용을 구분해 읽습니다.

Bounded Rationality

함께 움직였다고 원인이라고 말할 수 있을까?

두 값이 함께 변한 관찰과 하나의 조건을 실제로 바꾸었을 때 생기는 차이를 공통 원인 그림으로 구분합니다.

조건 하나를 바꾸면 무엇이 달라질까?

공개된 배송 예측식을 조작하며 모델의 예측 변화와 현실의 인과효과를 구분합니다.

AI는 어떤 기준으로 나눌까?

보관 온도와 무게를 바꾸며 분류 나무의 선택 경로를 한 단계씩 확인합니다.