최근 수정 시각 : 2022-09-15 00:38:54

퍼지 함수

퍼지 논리에서 넘어옴
논리학
Logics
{{{#!wiki style="margin: -0px -10px -5px; min-height: 28px"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin: -6px -1px -11px; letter-spacing: -1px; word-break: keep-all"
<colbgcolor=#2ab5b5><colcolor=#fff> [[논리학#s-2.1|{{{#!wiki style="margin: 0 -8px"]] 명제 논리( 삼단논법 · 순환논법) · 공리 · 진리치 · 술어 논리 · 논증( 논증의 재구성) · 모순 · 역설 · 논리적 오류( 논리적 오류/형식적 오류)
<colcolor=#000,#fff> [[논리학#s-2.1.2|{{{#!wikistyle="margin: 0 -8px"]] 직관 논리 · 양상논리 · 초일관 논리 · 다치논리( 퍼지 논리) · 선형논리 · 비단조 논리
[[논리학#s-2.1.3|{{{#!wiki style="margin: 0 -8px"]] 집합론 · 계산 가능성 이론 · 모형 이론 · 증명 이론 · 계산 복잡도 이론 · 불완전성 정리
[[논리학#s-2.2|{{{#!wiki style="margin: 0 -8px"]] 딜레마( 흑백논리) · 논리적 오류/비형식적 오류( 양비론 · 진영논리 · 편견 및 고정관념 · 궤변)
분야 논리철학 · 수리논리학
관련 문서 철학 관련 정보 · 논리학 관련 정보 · 수학 관련 정보 · 수리논리학 둘러보기
}}}}}}}}} ||

수학기초론
Foundations of Mathematics
{{{#!wiki style="margin:0 -10px -5px"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin:-6px -1px -11px"
{{{#!wiki style="letter-spacing: -1px"
다루는 대상과 주요 토픽
수리논리학 논리 · 논증{ 귀납논증 · 연역논증 · 귀추 · 유추} · 공리 및 공준 · 증명{ 자동정리증명 · 귀류법 · 수학적 귀납법 · 반증 · PWW} · 논리함수 · 논리 연산 · 잘 정의됨 · 조건문( 조각적 정의) · 명제 논리( 명제 · 아이버슨 괄호 · · · 대우) · 양상논리 · 술어 논리( 존재성과 유일성) · 형식문법 · 유형 이론 · 모형 이론
집합론 집합( 원소 · 공집합 · 집합족 · 곱집합 · 멱집합) · 관계( 동치관계 · 순서 관계) · 순서쌍( 튜플) · 서수( 하세 다이어그램 · 큰 가산서수) · 수 체계 · ZFC( 선택공리) · 기수( 초한기수) · 절대적 무한
범주론 함자 · 수반 · 자연 변환 · 모나드 · 쌍대성
계산가능성 이론 계산 · 오토마타 · 튜링 기계 · 바쁜 비버 · 정지 문제 · 재귀함수
정리
드모르간 법칙 · 대각선 논법 · 러셀의 역설 · 거짓말쟁이의 역설 · 뢰벤하임-스콜렘 정리 · 슈뢰더-베른슈타인 정리 · 집합-부분합 정리 · 퍼스의 항진명제 · 굿스타인 정리 · 불완전성 정리 · 힐베르트의 호텔 · 연속체 가설 · 퍼지 논리
기타
예비사항( 약어 및 기호) · 추상화 · 벤 다이어그램 · 수학철학 · 논리학 둘러보기 · 이산수학·수리논리학 둘러보기 · 철학 관련 정보 · 논리학 관련 정보 · 수학 관련 정보 }}}}}}}}}}}}


해석학 · 미적분학
Analysis · Calculus
{{{#!wiki style="word-break: keep-all; margin:0 -10px -5px"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin:-6px -1px -11px; letter-spacing: -1px"
<colbgcolor=#8f76d6> 함수 합성 · 항등원 · 역원 · 멱함수( 비례·반비례) · 초등함수( 대수함수 · 초월함수) · 특수함수 · 범함수( 변분법) · 다변수 ( 동차 · 숨은 함수( 다가 함수)) · 그래프 · 대칭 · 증감표 · 극값 · 영점 · 연속 · 매끄러움 · 계단형 · 미끄럼틀형 · 볼록/오목 · 닮은꼴 함수 · 병리적 함수 · 해석적 연속 · 로그함수 · 지수함수 · 삼각함수
정리 · 토픽 중간값 정리 · 최대·최소 정리 · 부동점 정리 · 오일러 동차함수 정리 · 립시츠 규칙 · 스펙트럼 정리
극한 엡실론-델타 논법( 수열의 극한) · 수렴 ( 균등수렴) · 발산 · 부정형 · 어림( 유효숫자 · 오차 · 불확도) · 근방 · 점근선 · 무한대 · 무한소 · 스털링 근사
정리 · 토픽 로피탈의 정리 · 슈톨츠-체사로 정리
수열
급수
규칙과 대응 · 단조 수렴 정리 · 멱급수 · 테일러 급수 ( 일람) · 조화급수 · 그란디 급수 · 망원급수 ( 부분분수분해) · 오일러 수열 · 베르누이 수열 · 파울하버의 공식 · 리만 재배열 정리
정리 · 토픽 바젤 문제 · 라마누잔합 · 0.999…=1 · 콜라츠 추측미해결
미적분 미분 도함수 ( 편도함수) · 도함수 일람 · 차분 · 유율법 · 변화량 · 변분법 · 곱미분 · 몫미분 · 연쇄 법칙 · 역함수 정리 · 임계점 ( 변곡점 · 안장점) · 미분형식 · 미분방정식 ( 풀이) · [math(boldsymbolnabla)] · 라그랑주 승수법
적분 역도함수 일람 · 부분적분 ( LIATE 법칙 · 도표적분법 · 예제) · 치환적분 · 정적분 ( 예제) · 이상적분 · 중적분 ( 선적분 · 면적분 · 야코비안) · 르베그 적분 · 스틸체스 적분 · 코시 주요값
정리 · 토픽 미적분의 기본정리 ( 선적분의 기본정리) · 평균값 정리 ( 롤의 정리) · 스토크스 정리 ( 발산 정리 · 그린 정리) · 라플라스 변환 · 푸리에 해석 ( 푸리에 변환 · 아다마르 변환) · 2학년의 꿈 · 리시 방법

해석
실수 · 좌표계 · 측도론 ( 측도 · 르베그 측도) · 실직선 · 유계( 콤팩트성) · 칸토어 집합 · 비탈리 집합
정리 · 토픽
복소
해석
복소수( 복소평면) · 편각 · 코시-리만 방정식
정리 · 토픽 오일러 공식 ( 오일러 등식 · 드 무아브르 공식) · 리우빌의 정리 · 바이어슈트라스 분해 정리 · 미타그레플레르 정리
여타 하위 학문 해석기하학 · 미분기하학 · 해석적 정수론 ( 소수 정리 · 리만 가설미해결) · 벡터 미적분학( 야코비 공식) · 확률론 ( 확률변수 · 중심극한정리) · 수치해석학 ( 유한요소해석 · 전산유체역학)
기타 뉴턴-랩슨 방법 · 디랙 델타 함수 · 카오스 이론 · 오일러 방정식 · 퍼지 논리 · 거리함수 · merry=x-mas
응용 수리물리학 · 수리경제학( 경제수학) · 공업수학 }}}}}}}}}

1. 퍼지 함수2. 퍼지 집합과 멤버십 함수

1. 퍼지 함수

퍼지 논리(fuzzy logic) 혹은 퍼지 이론(fuzzy theory) 이라고도 불린다. 아제르바이잔 출신 미국인 수학/공학자 롯피 자데(Lotfi A. Zadeh)가 처음으로 제안했다.

우리가 흔히 알고 있는 명제 혹은 집합에서는 참, 거짓과 같이 객관적으로 뜻이 명확한 것들만을 다룬다. 그러나 그런 이상적인 상황과는 달리, 실제 생활에서는 뭐든지 참이나 거짓으로 딱 나뉘지 않는다. 이 애매모호한 기준을 다루기 위해 생긴 수학적 도구가 바로 퍼지 이론이다.[1] 따라서 퍼지 이론에서는 불분명하거나 주관적인 기준 역시 명제, 집합 따위를 이용해 설명할 수 있다.

예를 들어, 일반적인 명제, 집합에서는 '작은 숫자들의 모임'과 같이 주관적인 건 정의되지 않았다. 그러나 퍼지 이론에서는 그런 불분명한 기준을 정도에 따라 단계별로 제시하여 설명한다. 예컨대 '빠른 동물들의 모임'이라고 하면 '빠른 동물들', '조금 빠른 동물들', '조금 느린 동물들', '느린 동물들' 등으로 분류할 수 있다.

퍼지 이론은 처음엔 잘 받아들여지지 못했다. 많은 사람들이 '애매한 기준'에 대해 수학적으로 논한다는 것 자체가 기존의 수학 개념들과 상반되어 허용될 수 없다고 생각했기 때문이다. 당장 자데의 절친한 친구이자, 칼만 필터를 개발한 루돌프 칼만에게 혹독한 평가를 들었는데, 절친한 동료로부터도 비난을 받을 정도이니 말 다한것이다. 그러나 애매모호한 기준을 다루는 퍼지는 실제 상황을 다루기가 편리했으므로 여러 분야에 널리 쓰이게 되었다.(일본에서 한때 유행했다고 한다) 국내에서는 제17대 카이스트 총장 이광형과, 공주대학교의 성열욱 명예교수가 이 분야에서 잘 알려져 있다. 그에 따라 국내에서는 1990년대에 주로 연구가 이루어졌다.

퍼지 이론은 외국에 비해 한국에서는 그다지 연구되고 있지 않다. 예전에 비해 현재는 논문도 많이 나오고 있지 않다. 20여년 전 한때 퍼지 이론이 유행할 때는 공학 분야에서는 이용되는 경우가 종종 있었다. 세탁기, 사진기, 발효 식품, 자동차 브레이크 엔진, 컬러 필름 현상, 제조 공정, 기상 분석, 인공지능 등 다양한 방면에 응용된 일이 있다. 퍼지 논리를 활용하여 사회과학 제 분야에서 특정 사회 현상의 (충분)조건을 밝히거나 특정 사회 현상을 충족하는 유형의 분류 등에 활용된 연구도 있다.[2]

2. 퍼지 집합과 멤버십 함수

일반적인 집합을 [math(X)]라 할 때 퍼지 집합은 각 원소들에 대하여 소속도(grade)의 개념을 추가한 집합을 말한다. 예를 들어 함수 [math(f:X\to \left[0, 1\right])]가 있을 때 다음과 같은 집합을 말한다.
[math(\left\{\left(x, f\left(x\right)\right)|x\in X\right\})]
이 때 f를 멤버십 함수(membership function)라 부른다.


[1] 영단어 'fuzzy'가 '애매모호함'을 뜻한다. [2] 퍼지 논리 자체가 논리학을 기반으로 하고 있으므로, 사회과학에도 활용될 수 있으며, '정량'과 '정성'이 계속해서 충돌하는 사회과학에서 '애매함'을 정량적 방법으로 논할 수 있다는 점이 매력적으로 여겨질 수 있다.