통합검색

문장의 참을 말하려면 왜 한 단계 높은 언어가 필요할까?

“눈이 희다”와 “‘눈이 희다’는 참이다”를 같은 층위에서 뒤섞을 때 생기는 문제를 타르스키의 의미론적 진리 구상으로 살펴봅니다.

The Semantic Conception of Truth and the Foundations of Semantics

반박을 받았던 주장도 다시 받아들일 수 있을까?

공격 관계를 따라가면 처음 보류했던 논증이 방어되는 이유가 보입니다. 덩의 추상논증 틀을 세 논증으로 계산해 봅니다.

On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games

인공지능(AI)가 보조선을 잘 찾으면 기하 증명도 끝난 걸까?

AlphaGeometry는 신경 언어모형의 보조 구성 제안과 기호 추론기의 검증을 결합했습니다. 30문제 성과와 적용 범위를 분리해 읽습니다.

Solving Olympiad Geometry without Human Demonstrations

언어모델과 정리증명기는 어디에서 역할을 나눌까?

LINC는 언어모델을 의미 파서로, 1차 논리 증명기를 판정기로 사용해 언어 이해와 형식 추론의 책임을 분리했습니다.

LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers

그럴듯한 뜻을 이해하면 문장 구조도 정확히 읽은 걸까?

같은 두 명사가 들어간 문장을 첫 명사 전략과 격조사 확인 전략으로 읽을 때 행위자 판단이 달라지는 비교표.