연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
참여자·팀·상황 카드·시간·관찰자 수를 바꾸어 팀 크기, 카드당 토론 시간, 결정 기록과 관찰 공백을 계산합니다.
Guide to Test, Training, and Exercise Programs for IT Plans and Capabilities
6월 말에 사용할 AI를 평가한다고 가정합니다. 8월에야 확인된 고객의 이용 결과까지 학습 자료에 넣으면 무엇이 잘못되는지 살펴봅니다.
SATNet은 미분 가능한 근사 MAXSAT 풀이 층을 신경망에 넣어 패리티·스도쿠·시각 스도쿠의 논리 구조를 제한된 감독으로 학습했습니다.
SATNet: Bridging Deep Learning and Logical Reasoning Using a Differentiable Satisfiability Solver
Argument Interchange Format의 정보 노드와 도식 적용 노드를 통해 문장 내용과 추론 행위를 분리해야 논증 구조를 교환·확장할 수 있음을 살펴봅니다.
Towards an argument interchange format
Wagemans는 논증 유형을 식별할 때 형식·내용·설득의 지렛대를 단계적으로 해석해야 한다고 제안합니다.
How to identify an argument type? On the hermeneutics of persuasive discourse
1–5 / 23편
