한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과141건

검색 결과 제목

  1. 111언어모델과 정리증명기는 어디에서 역할을 나눌까?
  2. 112정리증명 인공지능(AI)를 시험할 ‘환경’은 왜 필요할까?
  3. 113결론이 맞아도 추론은 틀릴 수 있을까?
  4. 114그림의 빈칸은 ‘없음’일까, ‘아직 모름’일까?
  5. 115같은 정보를 담아도 왜 어떤 그림이 더 빨리 풀릴까?
의미 파싱, 정리 증명, 번역 검수를 연결해 조건과 범위를 확인하는 교육용 도식.

언어모델과 정리증명기는 어디에서 역할을 나눌까?

의미 파싱, 정리 증명, 번역 검수를 연결해 조건과 범위를 확인하는 교육용 도식.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

언어모델과 정리증명기는 어디에서 역할을 나눌까?

LINC는 언어모델을 의미 파서로, 1차 논리 증명기를 판정기로 사용해 언어 이해와 형식 추론의 책임을 분리했습니다.

LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers

게시 2026-09-12 · 약 9분해외 논리학 연구 해설 읽기 →
HOL Light, 공통 벤치마크, 강화학습의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.

정리증명 인공지능(AI)를 시험할 ‘환경’은 왜 필요할까?

HOL Light, 공통 벤치마크, 강화학습의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

정리증명 인공지능(AI)를 시험할 ‘환경’은 왜 필요할까?

HOList는 HOL Light의 수학 말뭉치를 기계학습 환경과 벤치마크로 공개해 증명 모델을 같은 조건에서 훈련·재생·검증하도록 했습니다.

HOList: An Environment for Machine Learning of Higher-Order Theorem Proving

게시 2026-09-12 · 약 10분해외 논리학 연구 해설 읽기 →
야간 이용자 집합이 출입기록이 있는 사람 집합 안에 있다. 민서는 큰 집합 안이면서 야간 이용자 집합 밖에 있어 두 전제와 결론의 반례를 보여준다.

결론이 맞아도 추론은 틀릴 수 있을까?

야간 이용자 집합이 출입기록이 있는 사람 집합 안에 있다. 민서는 큰 집합 안이면서 야간 이용자 집합 밖에 있어 두 전제와 결론의 반례를 보여준다.
논리의 기초와 역사논리학 배우기 · 개념·이론 · 입문

결론이 맞아도 추론은 틀릴 수 있을까?

맞는 말을 했다는 사실과 그 말을 뒷받침했다는 사실은 다릅니다. 전제와 결론 사이에서 반례가 하는 일을 살펴봅니다.

Logical Consequence

게시 2026-09-12 · 약 5분논리학 학습 글 읽기 →
두 벤 다이어그램 모두 A에서 B 바깥 영역에 빗금이 있다. 오른쪽만 겹친 영역에 x가 있어, 모든 A는 B라는 조건과 A의 존재가 별개임을 보여준다.

그림의 빈칸은 ‘없음’일까, ‘아직 모름’일까?

두 벤 다이어그램 모두 A에서 B 바깥 영역에 빗금이 있다. 오른쪽만 겹친 영역에 x가 있어, 모든 A는 B라는 조건과 A의 존재가 별개임을 보여준다.
다이어그램과 시각추론논리학 배우기 · 개념·이론 · 입문

그림의 빈칸은 ‘없음’일까, ‘아직 모름’일까?

그림을 읽으려면 범례도 읽어야 합니다. 집합 그림의 빈 영역과 존재 표시를 통해 시각추론의 규칙을 살펴봅니다.

Diagrams and Diagrammatical Reasoning

게시 2026-09-12 · 약 5분논리학 학습 글 읽기 →
왼쪽에는 같은 일정 사실을 네 문장으로, 오른쪽에는 화요일과 수요일 열 및 첫째·둘째 행의 격자로 배치해 화요일 둘째 발표 나를 강조한 비교도.

같은 정보를 담아도 왜 어떤 그림이 더 빨리 풀릴까?

왼쪽에는 같은 일정 사실을 네 문장으로, 오른쪽에는 화요일과 수요일 열 및 첫째·둘째 행의 격자로 배치해 화요일 둘째 발표 나를 강조한 비교도.
다이어그램과 시각추론해외 학술 연구 · 연구 해설 · 일반

같은 정보를 담아도 왜 어떤 그림이 더 빨리 풀릴까?

정보가 같다는 것과 찾아 쓰는 비용이 같다는 것은 다릅니다. 표와 문장의 탐색 경로를 비교합니다.

Why a Diagram is (Sometimes) Worth Ten Thousand Words

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

111–115 / 141편