통합검색

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

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

괴델 정리는 ‘아무것도 증명할 수 없다’는 뜻일까?

불완전성 정리는 충분한 산술을 표현하는 일관된 형식 체계에 관한 정밀한 결과입니다. 체계 안의 증명과 바깥 해석을 구분합니다.

Gödel’s Incompleteness Theorems

논증의 질을 점수 하나로 줄여도 될까?

논리적 타당성, 청중 설득, 대화의 공정성은 서로 다른 질문입니다. 15개 차원의 논증 품질 분류를 평가표로 읽습니다.

Computational Argumentation Quality Assessment in Natural Language

사람을 설득하면 좋은 논증이 된 걸까?

논증의 인식론적 접근은 실제 설득과 정당화된 믿음의 형성을 구분하고 평가 기준을 지도처럼 정리합니다.

Introduction: The Epistemological Approach to Argumentation—A Map

‘아직 모름’을 거짓으로 처리해도 될까?

참·거짓에 미정을 더하면 ‘그리고’와 ‘또는’은 어떻게 달라질까요? 다치논리의 한 체계를 정확히 제한해 살펴봅니다.

Many-Valued Logic