한곳에서 찾는 논리 자료

통합검색

연구와 학습, 시험과 도서를 한곳에서 찾습니다.

검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

세 연구자가 논문과 도표를 함께 검토하고 작은 갈색 안경 올빼미가 곁에서 책을 읽는 모습

관심 주제로 찾아보기

조건 초기화

검색 결과32건

검색 결과 제목

  1. 21사람의 풀이 개요가 자동 증명기의 길잡이가 될 수 있을까?
  2. 22결정을 바꾸지 못하는 정보도 더 모아야 할까?
  3. 23점수가 낮으면 자기 점수도 더 정확히 알기 어려울까?
  4. 24같은 가능성을 어떻게 나누어 보여 주느냐가 확률 판단을 바꿀까?
  5. 25논리 규칙 하나씩 시험하면 언어모델의 약점이 더 선명해질까?
비형식 풀이 초안, 빈칸 있는 형식 스케치, 커널 검증 증명의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.

사람의 풀이 개요가 자동 증명기의 길잡이가 될 수 있을까?

비형식 풀이 초안, 빈칸 있는 형식 스케치, 커널 검증 증명의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

사람의 풀이 개요가 자동 증명기의 길잡이가 될 수 있을까?

Jiang 등은 488개 miniF2F 문제에서 비형식 풀이→형식 스케치→자동 증명의 세 단계를 결합해 Isabelle 검증 성공률을 높였습니다.

Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs

게시 2026-09-13 · 약 11분해외 논리학 연구 해설 읽기 →
검사 결과 +, 검사 결과 −, 같은 행동으로 합류의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.

결정을 바꾸지 못하는 정보도 더 모아야 할까?

검사 결과 +, 검사 결과 −, 같은 행동으로 합류의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.
인간의 사고와 추론해외 학술 연구 · 연구 해설 · 일반

결정을 바꾸지 못하는 정보도 더 모아야 할까?

Baron·Beattie·Hershey의 여섯 실험은 진단 가설과 맞는 검사 선호, 행동을 바꾸지 못하는 정보 탐색, 확신 과잉을 분리해 조사했습니다.

Heuristics and Biases in Diagnostic Reasoning: II. Congruence, Information, and Certainty

게시 2026-09-13 · 약 10분해외 논리학 연구 해설 읽기 →
실제 백분위 12와 자기 추정 백분위 62를 두 막대로 비교하고 훈련 뒤 재평가 화살표를 표시한 그림

점수가 낮으면 자기 점수도 더 정확히 알기 어려울까?

실제 백분위 12와 자기 추정 백분위 62를 두 막대로 비교하고 훈련 뒤 재평가 화살표를 표시한 그림
인간의 사고와 추론해외 학술 연구 · 연구 해설 · 일반

점수가 낮으면 자기 점수도 더 정확히 알기 어려울까?

네 연구에서 낮은 수행과 큰 자기평가 오차가 함께 나타났습니다. 집단 패턴을 개인 낙인으로 바꾸지 않는 해석이 중요합니다.

Unskilled and Unaware of It: How Difficulties in Recognizing One's Own Incompetence Lead to Inflated Self-Assessments

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
같은 전체 직사각형을 두 칸과 네 칸으로 나눈 뒤 균등 배분 기준이 50퍼센트와 25퍼센트로 달라지는 비교 도식

같은 가능성을 어떻게 나누어 보여 주느냐가 확률 판단을 바꿀까?

같은 전체 직사각형을 두 칸과 네 칸으로 나눈 뒤 균등 배분 기준이 50퍼센트와 25퍼센트로 달라지는 비교 도식
인간의 사고와 추론해외 학술 연구 · 연구 해설 · 일반

같은 가능성을 어떻게 나누어 보여 주느냐가 확률 판단을 바꿀까?

Fox와 Clemen의 다섯 연구를 바탕으로 같은 사건 공간도 선택지 분할 방식에 따라 각 항목의 주관확률이 균등한 ‘무지 사전분포’ 쪽으로 끌릴 수 있음을 설명합니다.

Subjective Probability Assessment in Decision Analysis: Partition Dependence and Bias Toward the Ignorance Prior

게시 2026-09-13 · 약 10분해외 논리학 연구 해설 읽기 →
전체 정확도가 명제논리, 1차논리, 비단조논리의 규칙별 진단 칸으로 분해되는 그림

논리 규칙 하나씩 시험하면 언어모델의 약점이 더 선명해질까?

전체 정확도가 명제논리, 1차논리, 비단조논리의 규칙별 진단 칸으로 분해되는 그림
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

논리 규칙 하나씩 시험하면 언어모델의 약점이 더 선명해질까?

LogicBench는 25개 추론 패턴을 명제·1차·비단조 논리로 나눠, 정답률 하나가 숨기는 규칙별 실패를 드러냅니다.

LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →

21–25 / 32편