Definition

연역적 추론(Deductive Reasoning)은 이미 알려진 규칙과 논리를 바탕으로 새로운 결론을 도출하는 지식 기반 추론 방식이다. 추상적 원칙 → 구체적 결론으로 가는 “하향식” 추론.

The Classic Example

Socrates 논리:
1. 모든 사람은 죽는다 (Universal rule)
2. 소크라테스는 사람이다 (Specific fact)
3. 따라서 소크라테스는 죽는다 (Conclusion)

이것이 Deductive Reasoning이다.

The “Judge” Role

연역적 추론 = 판사 같은 AI

특징:
├─ 규칙(Rule) 기반 판단
├─ 논리적 추론
├─ 이미 정해진 원칙 따름
├─ 투명하고 설명 가능
└─ 이것이 Ontology의 강점

Implementation: Ontology

Ontology = 체계적 지식 구조

역할:
├─ 규칙 정의: "A → B"
├─ 관계 명시: "X는 Y의 종류"
├─ 논리 적용: 자동 추론
└─ 결론 도출: 투명한 설명

Strengths & Limitations

장점:
├─ 완벽하게 설명 가능 (투명성)
├─ 논리적으로 일관성 있음
├─ 신뢰할 수 있음
└─ 의료, 법률 등에 적합

한계:
├─ 모든 규칙을 미리 정해야 함
├─ 새로운 패턴 발견 어려움
├─ 수작업 필요
└─ 확장성 낮음

References