7.14 단조성과 비단조성

1. 절의 학술적 목표

본 절은 귀결 관계의 단조성(monotonicity)과 비단조성(nonmonotonicity)의 개념을 학술적으로 검토하는 것을 목표로 한다. 단조성은 고전 논리의 기본 특성이지만, 일상적 추론과 인공지능의 추론 모델에서는 비단조적 성격이 자주 관찰된다. 본 절은 두 개념의 정의, 형식적 구조, 학술적 배경, 그리고 상호 관계를 체계적으로 정리한다.

2. 단조성의 정의

단조성은 귀결 관계가 전제 집합의 확장에 대하여 보존되는 성질이다. 형식적으로 “Γ ⊨ Q이고 Γ ⊆ Γ′이면 Γ′ ⊨ Q“로 표현된다. 즉, 이미 성립한 귀결에 새로운 전제를 추가하여도 그 귀결은 여전히 성립한다. 단조성은 고전 논리 체계의 표준적 성질이며, 증명의 누적적 성격을 반영한다(Tarski, 1936).

3. 단조성의 직관적 해석

단조성의 직관적 의미는 다음과 같다. 어떤 전제 집합 Γ가 결론 Q를 보장한다면, Γ에 임의의 추가 정보를 더하여도 Q의 참이 위협받지 않는다. 새로운 정보는 기존의 논리적 결론을 무효화할 수 없다. 이는 고전 논리의 연역적 추론이 가진 일방향성과 누적성을 반영하는 성질이다(Makinson, 2005).

4. 비단조성의 개념

비단조성은 단조성이 성립하지 않는 추론 관계의 성질이다. 비단조 추론에서는 새로운 전제의 추가가 기존의 결론을 취소하거나 수정할 수 있다. 형식적으로 “Γ ⊨ Q이고 Γ ⊆ Γ′일 때 Γ′ ⊨ Q가 반드시 성립하지는 않는다“로 표현된다. 이러한 추론 관계는 고전 논리와 달리 가역적이고 수정 가능한 성격을 가진다(Reiter, 1980).

5. 비단조 추론의 전형적 예시

비단조 추론의 전형적 예시는 “새는 날 수 있다“와 같은 디폴트 규칙(default rule)과 관련된다. “트위티는 새이다“라는 전제로부터 “트위티는 날 수 있다“라는 결론이 도출되지만, “트위티는 펭귄이다“라는 추가 정보가 주어지면 결론은 철회된다. 이러한 예시는 일상적 추론이 비단조적 성격을 가짐을 보여 준다(Reiter, 1980).

6. 비단조 논리의 역사적 배경

비단조 논리학은 1980년대 초 인공지능 연구의 맥락에서 체계적으로 발전하였다. 레이먼드 레이터(Raymond Reiter)는 1980년의 “A Logic for Default Reasoning“에서 디폴트 논리(default logic)를 제안하였고, 존 매카시(John McCarthy)는 서큠스크립션(circumscription) 개념을 도입하였다. 이러한 연구는 상식 추론(commonsense reasoning)의 형식화를 위한 논리적 기반을 제공하였다(Reiter, 1980; McCarthy, 1980).

7. 디폴트 논리

디폴트 논리는 디폴트 규칙을 논리 체계에 통합하는 비단조 논리의 한 형태이다. 디폴트 규칙은 “일반적으로 A이면 B이다“와 같은 형식을 가지며, 예외가 알려지지 않은 한 B를 도출할 수 있게 한다. 디폴트 논리는 확장(extension) 개념을 통하여 여러 가능한 결론 집합을 다룰 수 있다(Reiter, 1980).

8. 서큠스크립션

서큠스크립션은 매카시에 의하여 제안된 비단조 추론의 형식화 방법이다. 이 방법은 알려진 사실 이외의 예외가 존재하지 않는다고 가정함으로써 결론을 최소화한다. 즉, 전제로부터 가장 “정상적” 또는 “최소한” 모델을 선택하고 그 모델에서 참이 되는 명제들을 결론으로 받아들인다. 서큠스크립션은 상식 추론의 형식화에 중요한 기여를 하였다(McCarthy, 1980).

9. 자동 인식론적 논리

로버트 무어(Robert C. Moore)에 의하여 제안된 자동 인식론적 논리(autoepistemic logic)는 추론자의 자기 믿음에 관한 추론을 형식화하는 비단조 논리 체계이다. “내가 X를 믿지 않는다면 Y이다“와 같은 자기 참조적 규칙을 처리할 수 있으며, 고정점(fixed point) 이론을 기반으로 한다(Moore, 1985).

10. 단조성의 고전적 정당화

고전 논리에서 단조성이 성립하는 이유는 의미론적 귀결 정의와 관련된다. 의미론적 귀결은 “Γ의 모든 모델에서 Q가 참이다“로 정의되며, Γ ⊆ Γ′이면 Γ′의 모델 집합은 Γ의 모델 집합의 부분 집합이 되어 Q의 귀결 관계가 자동적으로 유지된다. 이러한 의미론적 기반이 단조성을 보장한다(Tarski, 1936).

11. 단조 논리와 비단조 논리의 학술적 위치

단조 논리와 비단조 논리는 서로 경쟁하는 체계가 아니라 상이한 추론 영역을 다루는 보완적 체계이다. 단조 논리는 수학적 증명, 형식적 추론, 연역적 분석에 적합한 반면, 비단조 논리는 일상적 추론, 상식 추론, 불완전한 정보 하의 추론에 적합하다. 두 체계는 각각의 영역에서 고유한 학술적 역할을 수행한다(Makinson, 2005).

12. 본 절의 결론적 정리

단조성은 전제 집합의 확장이 귀결 관계를 보존하는 성질이며, 고전 논리의 기본 특성이다. 비단조성은 새로운 전제가 기존 결론을 취소할 수 있는 추론 관계의 성질이며, 일상적·상식적 추론의 형식화를 위한 비단조 논리 체계에서 핵심 역할을 한다. 두 개념은 상이한 추론 영역을 다루며, 고전 논리와 비고전 논리의 경계를 이해하는 데 중요하다. 학습자는 단조성의 형식적 정의와 비단조성의 개념적 동기를 정확히 이해하고, 각 체계의 학술적 적용 영역을 파악할 수 있어야 한다.

13. 출처

• Tarski, A. (1936). Über den Begriff der logischen Folgerung. Actes du Congrès International de Philosophie Scientifique, 7, 1–11.
• Reiter, R. (1980). A logic for default reasoning. Artificial Intelligence, 13(1–2), 81–132.
• McCarthy, J. (1980). Circumscription—a form of non-monotonic reasoning. Artificial Intelligence, 13(1–2), 27–39.
• Moore, R. C. (1985). Semantical considerations on nonmonotonic logic. Artificial Intelligence, 25(1), 75–94.
• Makinson, D. (2005). Bridges from Classical to Nonmonotonic Logic. London: King’s College Publications.

14. 버전

• 문서 버전: 1.0
• 작성 기준일: 2026-04-15