새로운 예외가 들어오면 결론을 거둘 수 있는 논리가 필요할까?
Reiter의 기본 논리를 바탕으로, 정보가 부족할 때 내린 잠정 결론을 예외 정보가 들어오면 철회하는 비단조 추론을 살펴봅니다.
A Logic for Default Reasoning
게시 2026-09-25 · 약 11분해외 논리학 연구 해설 읽기 →
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과2건
검색 결과 제목
긴 글을 넣을 수 있는 인공지능(AI)는 중간에 있는 근거도 잘 찾을까?
긴 문맥 처리 연구는 입력 길이와 실제 정보 활용을 구별합니다. 같은 근거의 위치를 바꾸는 평가가 왜 필요한지 살펴봅니다.
Lost in the Middle: How Language Models Use Long Contexts
게시 2026-09-13 · 약 8분해외 논리학 연구 해설 읽기 →
1–2 / 2편