인공지능 연구 분야

수학

Logic

유효한 결론(valid conclusions)을 도출해내는 공식적인 규칙(formal rules)

Boolean logic

Incompleteness theorem : 어떤 이론 안에 반드시 이론만의 내용으로 참, 거짓을 증명할 수 없는 state가 반드시 존재한다는 정리

어떤 함수는 Turing machine 으로는 구현(알고리즘) 불가능하다는 의미

 

Computation

Church-Turing thesis : 계산 가능함의 정의 : Turing machine 으로 해결 할 수 있는 문제는 Computable 합니다.

Halting problem 은 Undecidable 한 대표적인 문제 중 하나입니다.

Tractability : 복잡도 : 시간복잡도, 공간복잡도

NP-completeness : NP Complete 문제 집합 중 한 문제라도 푼다면 나머지 모든 문제가 풀리는 문제의 집합

 

Probability

불확실한 정보로 추측하는 것

Bayes’ rule = P(A|B) = P(A)P(B|A)/P(B)

 

Neuroscience : 신경과학

뇌는 어떻게 정보를 처리하는지에 대한 연구

Localization : 뇌는 각 부분마다 처리하는 역할이 다름

Neurons : 뇌에서 정보를 처리 할 때 필요한 하나의 세포 단위

뇌의 활동을 기록하는 방법

• EEG

• fMRI

뇌가 정신(mind)을 만듦

 

 

Psychology : 심리학

Cognitive psychology(인지심리학) : 뇌를 정보처리 기관(device)으로 봄

Knowledge-base(지식 기반) agent 의 등장

Cognitive science (인지과학)

• Magic number : 밀러의 법칙 : 인간의 평균 단기 기억의 개체 수는 7 개 내외라는 것

• Models of Language by Noam chomsky : 춈스키 표현법

• Logic theory machine : 수학 정리 증명 기계

Computer engineering

컴퓨터 공학이 AI에게 도움이 된 것

• 운영체제

• 프로그래밍 언어

• 기타 등등

AI가 컴퓨터 공학에 도움이 된 것

• Time sharing : 시분할법

• Interactive interpreters : 상호작용적 인터프리터

• 링크드 리스트 데이터 타입

• Automatic storage management : 자동 저장공간 관리

 

Control theory and cybernetics

어떻게 인공물(artifact)이 자기 자신을 스스로 제어하는가? : Self controlling machine : 단순한 구현 프로그램은 인공지능이 아님

 

Linguistics

언어가 생각에 어떤 영향을 미치는가?

 

Gestation of Artifical Intelligence( AI의 기원 )

Artificial neuron model (인공 뉴런 모델)

Computable function과 Logical connectives(and, or, not)가 인공 뉴런 모델로 구현될 수 있음을 확인

Artificial neural networks를 학습시키는 이론도 등장

Turing은 여러 인공지능 이론을 구체적으로 제시했음