새로운 예외가 들어오면 결론을 거둘 수 있는 논리가 필요할까?
Reiter의 기본 논리를 바탕으로, 정보가 부족할 때 내린 잠정 결론을 예외 정보가 들어오면 철회하는 비단조 추론을 살펴봅니다.
A Logic for Default Reasoning
게시 2026-09-25 · 약 11분해외 논리학 연구 해설 읽기 →
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

관심 주제로 찾아보기
Reiter의 기본 논리를 바탕으로, 정보가 부족할 때 내린 잠정 결론을 예외 정보가 들어오면 철회하는 비단조 추론을 살펴봅니다.
A Logic for Default Reasoning
‘참석하면 이름표를 받는다’의 방향을 뒤집은 오답을 반례로 고치고, 추가 전제나 직접 기록에 따라 가능한 경우와 결론을 바꿉니다.
Chapter 12: Semantic concepts
배달 횟수, 용기 회수율, 회수 거리와 한 번에 모으는 수를 바꾸어 재사용 방식의 제작·세척·물류 경계를 일회용 모형과 비교합니다.
Packaging waste
제작·사용·세척의 경계를 정한 교육용 지수에서 사용 횟수와 세척 조건을 바꾸며 교차점이 왜 달라지는지 확인합니다.
Glossary of Sustainable Manufacturing Terms · Life Cycle
정당화 논리는 무엇을 안다는 말에 그 근거의 구조를 함께 기록합니다. 결론이 같을 때에도 어떤 자료와 규칙을 거쳤는지 구별해 봅니다.
Justification Logic
11–15 / 42편