통합검색

AI는 언제 사람에게 판단을 넘겨야 할까?

확신도와 사안의 중요도 기준을 함께 움직여, 자동 처리·사람 검토·즉시 보류가 어떻게 달라지는지 살핍니다.

반박하기 전에, 상대의 이유를 정확히 들어 보기

공유 공간의 운영 시간을 둘러싼 대화에서 사실·우려·제안을 나누고, 상대가 동의할 수 있는 요약을 만들어 봅니다.

Circle of Viewpoints · 관점의 원

‘아니다’는 언제 모순이고 언제 단순한 반대일까?

스탠퍼드 철학백과의 부정 항목을 바탕으로 논리적 부정, 자연언어의 부정, 거부 행위를 구별하고 ‘참이 아니다’와 ‘반대편이 참이다’ 사이의 간격을 살펴봅니다.

Negation

풀지 못한 정리에서 다시 배우면 자동증명기는 더 강해질까?

HyperTree Proof Search는 증명 탐색 결과를 온라인 학습에 되돌려 훈련 분포 밖 정리의 탐색 정책을 개선한다.

HyperTree Proof Search for Neural Theorem Proving

참인지 거짓인지 아직 정해지지 않은 문장도 논리 안에 둘 수 있을까?

크립키는 진리 판정을 한 번에 끝내지 않고 단계적으로 확장해 고정점에 이르는 방법으로 자기지시와 진리값 공백을 다룹니다.

Outline of a Theory of Truth