매트릭스 컴퓨터 과학 Flashcards
(86 cards)
머신러닝이란?
자기자신을 만드는 기술
이 세상에서 완전히 새로운 존재
다른 인공물을 설계하는 인공물
호모 사피엔스는
자신을 세상에 맞추는 대신 세상을 자기에게 맞춘 종이다
머신러닝은 블랙박스인 이유
그 안의 알고리즘을 이해하는
사람이 없다. 기계가 직접 작성했기 때문.
머신러닝 분야의 5종족
기호주의자
연결주의자
진화주의자
베이즈주의자
유추주의자
기호주의자의 마스터 알고리즘
역연역법 inverse deduction
연결주의자의 마스터 알고리즘
역전파 backpropagation
진화주의자의 마스터 알고리즘
유전자 프로그래밍
베이즈주의자의 마스터 알고리즘
베이즈 추정 Bayesian inference
유추주의자의 마스터 알고리즘
서포트 벡터 머신
보통 알고리즘과 머신러닝의 차이
알고리즘은 데이터를 넣으면 결과 출력
머신러닝은 데이터와 결과를 넣으면 과정을 출력
머신러닝은 ??와 비슷하다
농사 (씨앗 물과 양분) 과정은 몰라
최초의 튜링식 컴퓨터 만든 사람
독일의 콘라트 추체 1941
Z3
튜링이 만든 암호해독 기계
콜로서스
컴퓨터과학의 시초는 바로 ‘???에서 엿볼 수 있다
괴델의 불완전성 정리(Goedel’s incompleteness theo-rems)’에 대한 앨런 튜링의 증명
1928년 수학자 ????는 ‘원칙적으로 수학의 모든 문제를 순서대로 해결할 수 있는 일반적인 기계적 절차가 있는가’라는 문제를 제기했다. 이는 모든 수학을 풀 수 있는 알고리즘이 존재하는가에 대한 질문이며, 수학의 추론과정에서 기계적 패턴을 찾으면, 자동으로 수학의 모든 사실을 풀 수 있을 거라는 생각이었다.
다비트 힐베르트
하지만 1931년 쿠르트 괴델은 불완전성 정리를 통해 그것이 불가능함을 증명했다. 이 정리는 “기계적 방식만으론 수학의 모든 사실을 만들어 낼 수 없다”는 내용인데, 아무리 추론규칙들을 잘 만들어도, 기계적인 방식만으론 참인지 거짓인지 판단할 수 없는 명제가 항상 존재한다는 증명이었다.
1936년 앨런 튜링은 <????라는 논문에서 튜링기계라는 가상의 기계를 구현하여 기계적인 방식을 적용해 괴델의 불완전성 정리를 증명한다.
계산 가능한 수와 결정문제의 응용에 관하여(On Computable Numbers, with an Application to the Entscheidungsproblem)>
튜링은 이 증명에서 간단한 기계부품들을 통해 하나의 특별한 기계를 만드는데 이것이 바로 ‘보편만능의 기계(Universal Machine)’였다.
거듭 강조하지만, 자연선택은 기본적으로는 경쟁 논리가 아니에요. 자연선택이나 적자생존을 경쟁 논리와 연관시켜 이해하면 안 됩니다. 자연에서 경쟁이란 환경 급변에 대처할 수 있도록 자기 안에 다양성을 최대한 많이 확보하는 것을 가리킵니다. 일정한 범위에서 자원이 제한되어 있끼 때문에 다른 누구나 다른 종과 경쟁하는 것이 불가피하긴 하지만 그건 핵심 문제가 아니에요. 자기 안에 최대치의 다양성, 정보 풀 또는 데이터베이스를 확보하는 것이 관건입니다. 누구 말?
서울대 철학과 김재인
존 설은 튜링 테스트를 통과한 인공지능을 ??라 불렀다
강인공지능
인간의 마음은 해석되지 않은 기호들 이상의 것을 가지고 있다. 인간의 마음은 기호에 의미를 부착한다. 누구?
존 설
스튜어트 러셀과 피터 노빅은 인공지능을 정의하기 위해 ??라는 개념 도입
지능적 에이전트
에이전트는 인간 기계 관계없이 “행하는 자”를 가리킴
??은 본질적으로 “문제들”이고 합리적 에이전트는 이에 대한 “해답들”이다.
과제 환경들
알고리즘의 어원
9세기 페르시아 수학자
알콰리즈미의 이름
대수학의 아버지
신경세포도 없는 아메바는 외부의 표상 따위가 없다. 이 단세포 생물은 주변 환경의 어떤 상태가 유발한 요인에 의해 자기 역동성으로 인한 구조변화, 즉 내부 원형질이 화학적 반응에 의해 이쪽저쪽으로 흘러 떠밀렸을 뿐이다. 이를 ‘????’이라 부른다.
섭동(攝動)작용(perturbation)
인과의 어원
산스크리트어 hetu-phala