‘새는 보통 난다’에서 새봄이가 새라는 사실을 알면 난다고 예상할 수 있습니다. 그런데 새봄이가 펭귄이라는 사실을 뒤늦게 알았다면 앞의 결론을 거두어야 합니다. 전제가 늘었는데 결론이 줄어드는 이런 추론은 전제를 더해도 기존 결론이 유지되는 고전 논리의 단조성과 다릅니다. Raymond Reiter는 1980년 논문에서 예외가 없다고 믿을 수 있을 때만 기본 규칙을 적용하는 형식을 제시했습니다.
연구를 읽는 두 가지 질문
기본 규칙은 보편 법칙과 어떻게 다른가?
‘새이면 난다’를 예외 없는 보편 조건문으로 쓰면 펭귄 한 마리 때문에 모순이 생깁니다. 기본 논리는 ‘새이고, 날지 못한다는 정보가 일관되게 나오지 않는다면, 잠정적으로 난다고 보라’는 식의 규칙을 지식과 구분합니다. 새라는 사실만 있을 때는 비행 결론을 확장에 넣을 수 있지만, 펭귄이나 부상이라는 예외가 추가되면 그 정당화 조건이 깨져 결론을 거둡니다. [1]
잠정 결론은 마음대로 바꾸는 추측인가?
아닙니다. 어떤 사실 집합과 기본 규칙에서 자기 일관적인 결론 집합인 ‘확장’을 어떻게 구성하는지가 핵심입니다. 다만 기본 이론에는 확장이 여러 개이거나 없을 수 있고, 어떤 기본 규칙을 택했는지에 따라 결론이 달라집니다. 이번 확인은 DOI 서지정보와 출판사 초록 범위이므로 원문의 모든 정리와 증명을 검증했다고 쓰지 않습니다. 아래 새 사례는 복잡한 확장 계산을 단순화한 교육 모형입니다. [1]
펭귄과 다친 새를 한 규칙에 넣지 않기
가상 기록에 ‘새봄이는 새다’만 있으면 보통 난다는 기본 규칙을 잠정 적용합니다. ‘펭귄이다’ 또는 ‘날개를 다쳤다’를 추가하면 비행 결론을 철회합니다.
이 사례는 LTCT가 만든 단순화입니다. Reiter의 형식에서는 전제, 정당화, 결론을 갖춘 기본 규칙과 확장 고정점이 필요하며, 체크박스 하나가 전체 의미론을 대신하지 않습니다.
교육에서는 규칙 옆에 ‘언제 적용할 수 있는가’와 ‘어떤 정보가 들어오면 철회하는가’를 따로 쓰게 할 수 있습니다. 정답만 맞히는 것보다 철회 조건을 명시하는 답을 높게 평가합니다.
사실과 예외를 켜고 끄며 잠정 결론을 바꾸세요
사실을 추가하거나 빼면서 잠정 결론이 유지되는지 확인하세요.
예외가 없어 잠정적으로 비행을 추론 · 결론: 난다
어디까지 말할 수 있을까요?
- 출판사 초록과 서지 범위만 확인했으므로 원문의 형식적 정리 전체를 검증했다고 하지 않습니다.
- 현실의 예외는 단순한 우선순위 하나로 정리되지 않을 수 있으며, 여러 확장의 선택은 별도 기준을 요구합니다.
원문에 근거한 한계와 LTCT의 적용 범위 검토입니다. [1]
교육 현장과 연결해 보면
학생이 일상적인 일반화 하나를 쓰고 그 판단을 잠정적으로 받아들이는 조건을 덧붙입니다. 교사는 예외 사례를 추가하고, 처음의 결론 가운데 철회할 것과 유지할 것을 고르게 합니다.
학생은 예외 때문에 결론이 바뀐 이유를 근거와 함께 설명합니다. 규칙 전체를 버리는 수정과 적용 범위를 좁히는 수정을 비교하여 정보에 맞게 판단을 갱신하는 방법을 익힙니다.
결론을 철회하면 처음 추론은 틀렸던 것인가요?
생각을 비교할 해설 펼치기
당시 정보와 기본 규칙 아래에서는 허용된 잠정 결론일 수 있습니다. 새 정보가 정당화 조건을 깨면 합리적으로 거두는 것이 비단조 추론의 특징입니다.
원문과 출처 정보
한국어 제목은 이해를 돕기 위한 LTCT 번역입니다. 한글 제목 뒤 괄호에 원제를 함께 표기했습니다. 저자·학술지·원문 버전은 원문 서지정보를 기준으로 확인할 수 있습니다.
기본 추론을 위한 논리 (A Logic for Default Reasoning)
Raymond Reiter (1980). Artificial Intelligence, 13(1–2), 81–132.
- 자료 성격
- 동료심사 학술지 논문 · 서지와 초록
- 읽은 버전
- 1980년 게재판 서지·초록
- 확인 범위
- DOI·ACM 색인의 서지와 초록에서 불완전 정보에서의 기본 추론을 형식화한다는 목적과 게재 정보를 확인; 전문 증명은 미확인
- 원문 확인일
이 글은 한국어 해설이며 원문 전문 번역이 아닙니다. 도식과 활동의 제작·재구성 범위는 각 그림과 본문에 표시했습니다. 자료 선정과 출처 기준
같은 연구 흐름에서 이어 읽기
같은 원문, 저자·연구 흐름, 공통 개념 태그를 기준으로 연결한 관련 해설입니다.