Plausible Reasoning and First-Order Plausible Logic

논문 개요: 합리적 추론과 1 차 합리적 논리 (Plausible Logic)

이 논문은 불확실성이 정량화되지 않은 상황 (확률, 수치적 데이터 부재) 에서 이루어지는 합리적 추론 (Plausible Reasoning) 을 형식화하기 위한 새로운 논리 체계인 합리적 논리 (Plausible Logic, PL) 를 제안합니다. 저자는 기존의 확률론적 접근이나 비모노톤 논리 (Defeasible Logic) 의 한계를 극복하고, 사실 (Fact) 과 합리적 명제 (Defeasible Statement) 를 구분하며, 모호성 (Ambiguity) 처리에 다양한 수준을 제공하는 1 차 논리 체계를 정의합니다.

1. 문제 제기 (Problem)

• 불확실성의 정량화 부재: 일상적인 추론 (예: "대부분의 포유류는 털이 있다", "주사위를 굴리면 1 이 나올 확률은 낮다") 은 '보통', '대부분', '가능하다'와 같은 언어적 표현을 사용하지만, 이를 수치적 확률로 환원하지 않는 경우가 많습니다.
• 기존 논리의 한계:
  • 고전 논리 (Classical Logic) 는 사실과 가설을 구분하지 못하며, 모노톤 (Monotonic) 성을 가져 새로운 정보가 추가되면 기존 결론이 번복되지 않습니다.
  • 기존 비모노톤 논리들은 모호성 (Ambiguity) 을 어떻게 처리할지 (차단할지 전파할지) 에 대한 명확한 계층적 구조를 제공하지 못하거나, 특정 원칙들을 만족하지 못합니다.
• 핵심 질문: 수치적 확률 없이, 사실과 합리적 명제를 구분하고, 모순되지 않는 결론을 도출하며, 모호성을 적절히 처리하는 형식 논리는 무엇인가?

2. 방법론 (Methodology)

저자는 논리 체계를 구축하기 위해 다음과 같은 단계적 방법론을 사용합니다.

가. 17 가지 원칙 (Principles) 정의

합리적 추론을 수행하는 논리가 충족해야 할 17 가지 원칙을 제안합니다.

• 필수 원칙 (14 개): Representation(표현), Information(정보), Factual Subclassicality(사실 하위 고전성), Evidence(증거), Non-Monotonicity(비모노톤성), Non-Conjunctive(비결합성), Plausibly Conjunctive(합리적 결합성), Not Right Disjunctive(비우측 분해성), Not Left Factual Disjunctive(비좌측 사실 분해성), Plausible Right Weakening(합리적 우측 약화), Strong 2-Consistency(강한 2-일관성), Non-3-Consistency(비 3-일관성), Many Proof Algorithms(다중 증명 알고리즘), Included Middle(중간 포함).
• 바람직한 원칙 (3 개): Decisiveness(결정성), No Loops(루프 없음), Correctness(정확성).
  • 중요: "중간 포함 원칙 (Included Middle Principle)"은 진리값이 최소 3 개 이상이어야 함을 요구합니다.

나. 합리적 기술 (Plausible-Description) 의 형식화

PL 의 입력을 다음과 같은 3 부분으로 정의합니다.

1. 공리 (Ax): 만족 가능한 사실의 집합 (Strict rules 로 변환됨).
2. 규칙 집합 (R):
   • 엄격한 규칙 (Strict Rule, $\to$): 사실적 함의.
   • 결함 규칙 (Defeasible Rule, $\Rightarrow$): "보통은"을 의미하는 합리적 추론 규칙.
   • 경고 규칙 (Warning Rule, $;$): 결론을 내리는 것을 경고하거나 차단하는 규칙 (예: "두려운 경우 날아갈 수도 있다"는 결론을 막음).
3. 우선순위 관계 ($>$): 규칙 간의 충돌을 해결하기 위한 우선순위 (예: 구체적인 규칙이 일반적인 규칙보다 우선).

다. 8 가지 증명 알고리즘 (Proof Algorithms) 의 계층 구조

PL 은 단일 알고리즘이 아닌, 8 가지 증명 알고리즘을 가집니다. 이는 모호성 처리 방식과 신뢰도에 따라 계층을 이룹니다.

• $\phi$ (Fact): 사실만 증명.
• $\pi, \psi, \theta, \theta', \beta, \pi', \psi'$: 다양한 수준의 합리적 증명.
  • 모호성 차단 (Ambiguity Blocking): $\beta, \theta$ 등. 증거가 불충분해도 '가장 유력한' 결론을 도출 (민사 소송의 '증거 우세' 기준과 유사).
  • 모호성 전파 (Ambiguity Propagating): $\pi, \psi$ 등. 반대 증거가 존재하면 결론을 유보 (형사 소송의 '합리적 의의' 기준과 유사).
• 루프 방지: 증명 과정에서 무한 루프를 방지하기 위해 '이력 (History)'을 기록하여 재사용을 차단합니다.

라. 증명 구조 (Proof Structure)

PL 에서의 증명은 고전 논리의 수열이 아닌, 루트 있는 비순환 방향 그래프 (Rooted Acyclic Digraph, rad) 로 정의됩니다. 이는 증명 과정의 분기와 우선순위 충돌 해결을 시각화합니다.

3. 주요 기여 (Key Contributions)

1. 첫 번째 완전한 1 차 합리적 논리 (PL) 정의:

   • 제안된 17 가지 원칙 중 14 개 필수 원칙과 1 개 바람직한 원칙을 만족하며, 나머지 2 개 바람직한 원칙도 거의 만족하는 유일한 논리 체계로 주장됩니다.
   • 사실과 합리적 명제를 구별하는 2 단계 증명 알고리즘 ($\phi$ 와 $\alpha$) 을 도입했습니다.

2. 다중 증명 알고리즘 계층 구조:

   • 단일한 "진리"가 아닌, 신뢰도 수준 (Confidence Levels) 에 따라 5 단계 (사실, 4 단계의 합리적 추론) 로 나뉜 계층 구조를 제시했습니다.
   • 이는 법적 시스템 (민사 vs 형사) 과 같은 다양한 추론 맥락을 하나의 논리 체계 내에서 모델링할 수 있게 합니다.

3. 새로운 증명 구조 (Rad) 와 귀납법:

   • 증명을 무한한 경로가 가능한 루트 있는 비순환 방향 그래프 (rad) 로 정의하고, 이에 대한 새로운 구조적 수학적 귀납법을 제시했습니다.

4. 4 진 진리 이론 (4-Valued Truth Theory):

   • 고전 논리의 2 진 (True/False) 을 넘어, Ambiguous (a), Usually True (t), Usually False (f), Undetermined (u) 의 4 가지 진리값을 도입하여 모호성과 불확실성을 정교하게 표현합니다.

5. 경고 규칙 (Warning Rules) 의 도입:

   • 단순한 반증 (Defeater) 을 넘어, 결론 도출 자체를 위험하게 만드는 상황을 방지하는 '경고 규칙'을 논리 체계에 통합하여 과도한 연쇄 추론을 제어합니다.

4. 결과 (Results)

• 원칙 충족: PL 은 정의된 17 가지 원칙 중 14 개 필수 원칙을 완벽히 만족하며, 3 개의 바람직한 원칙 중 2 개를 만족합니다.
• 예제 해결: 3-로터리 (3-lottery), 넬리 (Nancy) 와 같은 고전적인 비모노톤 논리 예제들과 모호성 퍼즐 (Ambiguity Puzzle) 을 모두 올바르게 해결합니다.
  • 예: "넬리는 문어류이다 (일반적으로 껍질이 없음)" + "넬리는 나우틸러스이다 (껍질이 있음)" $\rightarrow$ 나우틸러스는 문어류의 특수한 경우이므로 우선순위에 따라 "껍질이 있음"이 결론 도출됨.
• 일관성 (Coherence): 어떤 알고리즘도 동일한 명제에 대해 동시에 증명 (+1) 과 반증 (-1) 을 할 수 없음을 증명했습니다.
• 강한 2-일관성 (Strong 2-Consistency): 증명된 두 명제와 사실의 집합이 모순되지 않음을 보장합니다.

5. 의의 (Significance)

• 비정량적 불확실성 처리: 확률론적 접근 없이 언어적 불확실성 ('보통', '대부분') 을 형식적으로 다루는 가장 포괄적인 논리 체계 중 하나입니다.
• 법적 및 의사결정 시스템 적용: 모호성 차단 (Ambiguity Blocking) 과 전파 (Propagating) 알고리즘을 통해 민사/형사 사건과 같은 서로 다른 증명 기준을 가진 시스템을 하나의 논리 프레임워크로 통합할 수 있는 이론적 기반을 제공합니다.
• AI 추론 시스템의 발전: 기존 비모노톤 논리 시스템의 한계를 극복하고, 더 정교한 우선순위 처리와 루프 방지 메커니즘을 갖춘 새로운 표준을 제시합니다.
• 학문적 기여: "합리적 추론"이라는 추상적인 개념을 17 가지 엄격한 원칙과 하나의 구체적인 1 차 논리 체계 (PL) 로 구체화하여, 해당 분야의 연구 방향을 설정하는 데 기여했습니다.

이 논문은 David Billington 의 저서 'Plausible Reasoning and Plausible Logic (PRPL)'의 요약본으로, 형식 논리 분야에서 비모노톤 추론의 새로운 지평을 열고 있습니다.