인공지능(AI)가 주장 문장을 찾으면 논증 구조도 모두 찾은 걸까?
논증 마이닝은 주장·전제의 식별뿐 아니라 관계, 생략, 맥락과 장르까지 다뤄야 하며 과제마다 주석 단위와 평가 기준이 다릅니다.
Argument Mining: A Survey
게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과3건
검색 결과 제목
말한 대로 살지 않는 사람의 주장은 틀린 걸까?
투 쿠오케가 원칙의 거짓을 보이는 추론인지, 말하는 사람의 신뢰와 권고를 비판하는 논증인지 구분합니다.
Worries About Tu Quoque as a Fallacy
게시 2026-09-13 · 약 7분해외 논리학 연구 해설 읽기 →
정리증명 인공지능(AI)를 시험할 ‘환경’은 왜 필요할까?
HOList는 HOL Light의 수학 말뭉치를 기계학습 환경과 벤치마크로 공개해 증명 모델을 같은 조건에서 훈련·재생·검증하도록 했습니다.
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving
게시 2026-09-12 · 약 10분해외 논리학 연구 해설 읽기 →
1–3 / 3편