한 가지가 바뀌었을 때, 나머지는 그대로라고 어떻게 판단할까?
프레임 문제는 행동의 결과뿐 아니라 바뀌지 않는 사실을 어떻게 다룰지 묻습니다. 관련 정보만 골라 생각하는 능력의 어려움을 살펴봅니다.
The Frame Problem
게시 2026-09-13 · 약 8분논리학 학습 글 읽기 →
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과15건
검색 결과 제목
자연어 수학을 논리식으로 옮기면 의미도 자동으로 보존될까?
대규모 언어모델의 자동 형식화는 일부 문제를 완전한 Isabelle 명세로 바꾸고 증명 학습을 개선했지만 번역 검증이 병목입니다.
Autoformalization with Large Language Models
게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
자연어 수학문제를 5만 7천 쌍의 Lean 문제로 만들면 무엇을 배울까?
대규모 자연어 문제를 Lean 정리로 바꾸며 의미 보존을 어떻게 확인하는가?
Lean Workbook: A large-scale Lean problem set formalized from natural language math problems
게시 2026-09-13 · 약 10분해외 논리학 연구 해설 읽기 →
그림이 포함된 정리를 인공지능(AI)가 풀었다면 형식 검증도 통과할까?
MATP-BENCH는 그림과 텍스트가 함께 있는 1,056개 정리를 Lean 4·Coq·Isabelle 형식화와 묶어 멀티모달 모델의 증명 능력을 평가한다.
MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems?
게시 2026-09-13 · 약 8분해외 논리학 연구 해설 읽기 →
논리적으로 같은 문장을 조금 바꾸면 인공지능(AI) 답도 그대로일까?
RobustLR는 최소 논리 편집과 동치 변환으로 연역 모델의 일관성을 검사했고, 학습된 모델들이 특히 부정에서 흔들림을 보였습니다.
RobustLR: A Diagnostic Benchmark for Evaluating Logical Robustness of Deductive Reasoners
게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
6–10 / 15편