한곳에서 찾는 논리 자료

통합검색

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

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

관심 주제로 찾아보기

읽기 난이도자료 유형조건 초기화

검색 결과4건

표시정렬

인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

전체 정확도와 개별 언어 능력을 구분하고, 최소 기능·불변성·방향 시험을 조작하며 AI의 실패를 구체적으로 찾습니다.

Beyond Accuracy: Behavioral Testing of NLP Models with CheckList

논문 대담Amir Pnueli, The Temporal Logic of Programs (1977)18th Annual Symposium on Foundations of Computer Science, 46–57

논리의 기초와 역사해외 학술 연구 · 논문 대담 · 심화

프린터에 작업을 보냈는데 대기 표시만 계속됩니다. 오류가 없다는 사실만으로 언젠가 출력된다고 말할 수 있을까요? 실행 기록에서 항상 지켜야 하는 조건과 끝내 일어나야 하는 사건을 구별하며 시간 논리를 읽습니다.

Amir Pnueli, The Temporal Logic of Programs (1977)

증거·확률·인과관계해외 학술 연구 · 연구 해설 · 일반

인과 지식의 이전은 연구 결과를 단순 복사하는 일과 다릅니다. 집단 간에 무엇이 달라지고 무엇이 유지되는지 가정을 드러내는 방법을 살펴봅니다.

Causal Inference and Data Fusion in Econometrics

인간의 사고와 추론해외 학술 연구 · 연구 해설 · 일반

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

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

1–4 / 4편