인공지능의 유쾌한 반란

딱딱한 코드에 웃음을 입히다. 인공지능을 재미있게 공부할 수 있는 블로그.

YouTube 자세히보기

인공지능과 인간의 대결 3

#2. AI와 인간의 대결(6) : 수학 원리의 증명

#6. 자동화된 추론 논리 이론가 (Logic Theorist) 아서 사무엘(혹은 아서 새뮤얼, Arthur Lee Samuel)이 체커 프로그램을 시연하던 시기에 또 하나의 첫 번째 인공지능 프로그램이 탄생하고 있었습니다. 바로 게임분야가 아닌, 수학 원리의 증명을 인간과 같이 할 수 있을지를 검토한 "논리이론가 (LT, Logic Theorist 혹은 Logic Theory Machine) "입니다. 이 프로그램은 1956년도에 첫 시연을 가졌습니다. 논리 이론가는 앨런 뉴얼(혹은 앨런 뉴웰, Allen Newell : 1927년 ~ 1992년), 허버트 알렉산더 사이먼(Herbert A. SimonHerbert Alexander Simon : 1916년 ~ 2001년) 및 클리프 쇼(John Cli..

#2. AI와 인간의 대결(4) : 체스와 체커 게임

#5. 지능의 가진 기계와의 시작 : 체스와 체커 게임 지난번 글에서 클로드 새넌(Claude Elwood Shannon) 체스 프로그램에 관련된 논문에 대해서까지 알아보았습니다. 오늘을 그 뒤를 이어서 어떤 일이 있었는지를 알아보겠습니다. 체스와 체커 게임이 오늘의 이야기 주제가 될 것 같습니다. 우선 일단 이 두 게임간의 차이점을 알아보도록 하겠습니다. 이번에는 제 주특기인 한마디가 아닌 한 장으로 표현합니다. 가끔 혼동하시는 분들도 있는데 체스(Chess)와 체커(Checkers, Draughts)는 서로 다른 게임입니다. 체스가 좀 더 복잡한 게임입니다. 체커는 체스판에 모양이 같은 말을 놓고 움직여, 상대방의 말을 모두 따먹으면 이기는 게임입니다. 체스의 가장 오래된 증거는 약 600년경에 발견..

#2. AI와 인간의 대결(1) : 기계와의 게임 시작

#1. 게임의 역사 인공지능과 인간의 대결은 대중의 관심을 갖게 하는 좋은 흥밋거리 중의 하나입니다. 게임은 모든 문화의 필수적인 부분이며 인간의 사회적 상호 작용에서 가장 오래된 형태 중 하나입니다. 우선 인류에게서 게임의 역사는 우리가 생각하는 것 이상으로 오래되었습니다. 고대 인류의 과거로 거슬러 올라가는데, 터키 남동부의 시이르트(혹은 시르, Siirt : 터키의 주 또는 시이르트 주의 주도) 지방에 있는 바슈르 회유크(Başur Höyük)라는 5,000년 된 청동기 시대 매장지가 있는 곳에서 출발합니다. 티그리스 강 상류 계곡에 위치해 있는 이 지역의 고분에서 발견된 유적은 기원전 3100년에서 2800년 사이에 탄소 연대가 기록되어있습니다. 발굴 과정에서 다양한 모양으로 정교하게 조각되고 녹..