우리의 매일 매일의 추론 (Reasoning)은 수학적으로 완전 정밀하지 않지만, 그럼에도 불구하고 실생활에서 매우 효율적으로 작동합니다. 은하계에서 유전자까지 자연 그 자체는 근사적이며 부정확합니다 (approximate and inexact).
"철학적 개념들은 최소한의 정밀성만을 가질 뿐이다. 마음, 지각, 기억, 지식이라는 말들은 고정된 개념도 아니며 명확한 의미를 가지는 것도 아니지만, 사람들 간의 대화에서 어떤 것인지 뜻은 통한다 (make sense) ......."
(Gian-Carlo Rota, quoted in The Importance of Being Fuzzy and Other Insights from the Border between Math and Computers)
실생활에 있어서 어떠한 사실이나 지식에 대한 확실성이 100%라고 하는 경우는 극히 드뭅니다. 의사가 진단 (Diagnosis)을 할 때 "급성 치수염이다" 혹은 "간암이다"라고 진단 결정을 내리지만, "이것은 100% 급성 치수염이다"라고 장담할 수는 없습니다.
저명한 의사조차 말년에 "나의 평생 오진율이 20%를 넘었다"고 토로했을 정도입니다. 오히려 의학에서는 "급성 치수염일 가능성이 70%, 치수괴사 가능성이 20%, 치수충혈일 가능성이 10%"와 같이 확률적·단계적으로 접근하는 것이 진실에 가깝습니다.
따라서 실세계 문제를 해결하는 전문가시스템 (Expert System)과 현대 AI는 이러한 불확실성을 표현하고 계산할 수 있는 기능이 필수적으로 포함되어야 합니다. 그렇지 않으면 AI의 실용적 가치는 급격히 하락합니다.
AI 시스템에서 불확실성이 발생하는 근본적인 원인은 입력 데이터 수집부터 추론, 판단에 이르는 전 과정에 존재하는 다양한 에러 (Error)와 태생적 결함에 있습니다:
불완전성 (Incompleteness)
원하는 결론에 도달하기 위해 필요한 모든 가능한 사실을 수집하는 것은 물리적으로 불가능합니다. 정보가 결측된 상태에서 추론을 진행해야 합니다.
애매모호함 (Vagueness & Ambiguity)
"날씨가 덥다", "혈압이 약간 높다"처럼 인간 언어와 개념의 경계가 뚜렷하지 않아 발생하는 의미론적 중의성과 다의성입니다.
측정 및 시스템 에러 (Measurement Errors)
하드웨어 센서의 정밀도 한계, 기기 교정 오차, 전자기적 노이즈 및 통신 지연으로 인해 관측 데이터 자체에 왜곡이 생기는 문제입니다.
추론 에러 (Error in Reasoning)
연역법 (Deduction)과 달리, 귀납법 (Induction)이나 상정논법 (Abduction)은 전제가 참이어도 결론이 거짓일 수 있는 오류가능성(Fallibility)을 본질적으로 내포합니다.
불확실성은 AI의 [ 관측(Perception) → 지식 표현(Representation) → 추론(Inference) → 행동(Action) ] 파이프라인 전반에 걸쳐 신뢰도의 감쇠 및 오차 전파를 유발합니다:
인공지능 연구자들은 불확실성을 체계적으로 다루기 위해 수학, 논리학, 통계학을 융합한 6가지 핵심 방법론을 발전시켜 왔습니다:
1. 확률론 & 베이즈 정리 (Baye's Theorem)
새로운 증거 E가 주어졌을 때 가설 H의 사후 확률 P(H|E)을 사전 확률 P(H)과 우도 P(E|H)의 곱으로 갱신합니다. 베이지안 네트워크(BBN)를 통해 복잡한 인과 관계망의 조건부 독립성을 완벽히 계산합니다.
2. 확신도 모델 (Certainty Factor, CF)
전설적 의료 진단 시스템 MYCIN에서 고안된 기법으로, 엄밀한 확률 계산의 방대한 데이터 요구량을 극복하고 전문가의 주관적 신뢰도를 -1.0(완전 부정)부터 +1.0(완전 긍정)까지의 척도로 다룹니다.
3. 퍼지 집합 및 논리 (Fuzzy Logic)
로트피 자데(Lotfi Zadeh)가 제창한 이론으로, "참(1) 아니면 거짓(0)"의 흑백논리를 벗어나 원소가 집합에 속하는 정도(Membership Degree)를 0과 1 사이의 연속값으로 표현하여 자연어의 모호성을 해결합니다.
4. Dempster-Shafer 이론 (증거 이론)
'알지 못함(Ignorance)'과 '불확실성'을 분리합니다. 믿음도(Belief, 신뢰 하한선)와 그럴듯함(Plausibility, 신뢰 상한선)의 구간 확률을 제공하며 뎀스터 결합 규칙으로 상충 증거를 융합합니다.
5. 비단조 추론 & 신념수정 (Belief Revision)
정보가 불충분할 때 가장 상식적인 기본값(Default)으로 뛰어넘어 가설을 수립하고, 이후 모순되는 새로운 사실이 관측되면 진리유지시스템(TMS)을 통해 신념을 최소 비용으로 수정합니다.
6. 역전파 신경망 & 딥러닝 UQ
몬테카를로 드롭아웃(MC Dropout), 딥 앙상블(Deep Ensembles) 및 베이지안 딥러닝(BNN)을 통해 신경망의 과도한 확신(Overconfidence)을 방지하고 "모델 자신이 무엇을 모르는지 아는 능력"을 정량화합니다.
| 기법 명칭 | 수학적 / 논리적 기반 | 표현 척도 및 범위 | 핵심 장점 | 주요 적용 분야 |
|---|---|---|---|---|
| 베이지안 확률 (Bayesian) | 조건부 확률론 및 베이즈 정리 | 0.0 ≤ P ≤ 1.0 (엄밀 가산성) | 수학적 정합성 완벽, 사전 지식과 데이터 통합 | 베이지안 네트워크, 스팸 필터링, 의료 통계 |
| 확신도 (Certainty Factor) | 신뢰 증가도(MB)와 불신 증가도(MD) | -1.0 ≤ CF ≤ +1.0 | 전문가 규칙 작성이 용이, 계산 복잡도 낮음 | MYCIN 전문가 시스템, 장비 고장 진단 |
| 퍼지 논리 (Fuzzy Logic) | 퍼지 소속도 함수 & 언어적 변수 | 0.0 ≤ μ ≤ 1.0 | 자연어 모호성 직관적 처리, 비선형 제어 우수 | 가전 제품 제어(세탁기, 에어컨), 지하철 자동운전 |
| 뎀스터-셰이퍼 (D-S 이론) | 신념 함수(Bel) & 가망 함수(Pl) | 구간 [Bel(A), Pl(A)] | '무지(Unawareness)'를 명시적 모델링, 증거 융합 | 군사 정찰 첩보 융합, 다중 센서 타겟 트래킹 |
| 딥러닝 UQ (MC Dropout) | 변분 추론 & 앙상블 통계 | 예측 분산 및 신뢰도 엔트로피 | 초거대 신경망의 과신 방지, OOD 이상치 감지 | 자율주행 비전, LLM 할루시네이션 탐지 |
불확실성을 정확히 계산하고 제어하는 기술은 고신뢰(Safety-Critical) 인공지능이 요구되는 모든 현대 산업의 승패를 결정짓습니다:
의료 AI 및 임상 진단 (Diagnosis)
CT/MRI 영상 판독 시 종양 유무뿐만 아니라 판독 결과의 불확실성 점수를 함께 제시하여 의사가 오진 위험을 사전에 방지하도록 돕습니다.
자율주행 및 로봇 모빌리티
폭설, 짙은 안개, 역광 등 악천후 상황에서 라이다·카메라 센서의 불확실성을 실시간 계산하여 안전 감속 및 제어권 전환을 결정합니다.
금융 리스크 및 시장 예측 (Prediction)
블랙 스완과 같은 예기치 않은 거시경제 충격을 다변량 확률 모델로 시뮬레이션하여 포트폴리오의 최대 손실(VaR)을 통제합니다.
LLM 할루시네이션 제어 및 신뢰도 검증
생성형 언어 모델이 출력하는 토큰의 엔트로피와 의미적 불확실성을 측정하여 모르는 질문에는 "모른다"고 답하는 신뢰할 수 있는 AI를 구축합니다.
🔗 AIStudy 내부 핵심 연결 문서 (Term)
🌐 글로벌 학술 포털 및 연구 단체 (Site)
📄 국내외 불확실성 핵심 고전 및 랜드마크 논문
- AIStudy 불확실성 연구 논문 아카이브 목록
- Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference : Judea Pearl, Morgan Kaufmann, 1988 (베이지안 네트워크의 효시)
- Fuzzy Sets : Lotfi A. Zadeh, Information and Control, 8(3), pp. 338-353, 1965 (퍼지 집합 창시 논문)
- A Mathematical Theory of Evidence : Glenn Shafer, Princeton University Press, 1976 (뎀스터-셰이퍼 증거 이론)
- Dropout as a Bayesian Approximation: Representing Model Uncertainty in Deep Learning : Yarin Gal, Zoubin Ghahramani, ICML 2016 (딥러닝 MC Dropout 정량화)