통합검색

대부분의 참가자가 찬성하면 찬성자의 대부분도 참가자일까?

일반화 양화사 이론은 ‘모두·몇몇·대부분’의 뜻을 집합 사이의 관계로 풉니다. 같은 교집합도 무엇을 기준으로 세는지에 따라 문장의 참이 달라집니다.

Generalized Quantifiers

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

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

Negation

인공지능(AI) 논리시험에 정답표만 있으면 어디서 틀렸는지 알 수 있을까?

P-FOLIO는 0~20단계의 사람이 쓴 증명 연쇄를 제공해 최종 분류와 단계 규칙 평가를 분리합니다.

P-FOLIO: Evaluating and Improving Logical Reasoning with Abundant Human-Written Reasoning Chains

AI 심판은 자기 계열의 답을 더 좋아할까?

내용 조건은 같은 익명 답 A·B를 심판 A·B와 사람 루브릭이 평가할 때 88:78, 77:87, 80:80으로 달라지는 교육용 감사를 수행합니다.

차이가 유의하지 않으면 두 방법이 같은 걸까?

0을 포함하는 넓은 구간과 사전에 정한 허용 범위 안의 좁은 구간을 비교해 ‘차이 없음’의 조건을 구분합니다.