EURISKO
Eurisko (그리스어로 "I discover" 라는 뜻) 는 Douglas Lenat 가 Lisp 언어로 만든 프로그램이다. 최초의 인공 수학자 프로그램인 Automated Mathematician 의 후속작으로서, 경험을 바탕으로 스스로를 변화시켜 나가는 휴리스틱 (Heuristic) 으로 구성되어 있다. Lenat 는 특정 영역에만 사용이 제한되어있는 Automated Mathematician 에 한계를 느끼고 Eurisko 를 개발하게 되었으며, 전문영역의 지식에 제한된 사용상의 한계로 또다시 새로운 Cyc 를 개발하고 있는 중이다. 인간이 가진 매우 많은 상식까지를 포함하고있는 Cyc 는 Eurisko discovery engine 를 사용하여 그 지식베이스를 만들고 있다.
1976년에 Carnegie Mellong 대학에서 개발을 언급하고 1978년에 Stanford 로 돌아왔지만 Lenat 는 "처음 5년동안 아무런 좋은 작품이 나오질 않았다" 라고 언급하였다. 그러나 Lisp 으로 짠 RLL (Representation Language Language) 라는 언어 (표현방식의 변화를 준것)를 사용하여 프로그램을 만들고, heuristic 을 사용하게 되면서 그 작업은 훨씬 더 단순하게 되었다. 그 결과 Eurisko는 VLSI 칩설계 와 같은 많은 영역에서 놀라운 성공을 거둘수 있었다.
Eurisko 는 1981년에 Traveller TCS national championship 에서 우승하여 전국적인 명성을 얻었다. 1982년에도 우승하면서 그 대회 관계자는 Eurisko 가 또다시 우승한다면 그 대회는 없어질 것이라고 발표했다. 할수없이 Lenat 는 그 대회 출전을 포기하였다. Traveller TCS 대회의 승리는 DARPA (Defense Advanced Research Project Agency, 국방성 고등연구 기획청) 의 주목을 받았고, Lenat 는 DARPA 로부터 많은 재정적 지원을 받게되었다.
term :
Douglas Lenat Lisp 인공지능 (Artificial Intelligence) 학습 (Learning) 추론 (Reasoning) 문제해결 (Problem Solving) 전문가 시스템 (Expert System)
paper :
Lenat, Douglas; Brown, J.S. (1984). "Why AM and EURISKO appear to work". Artificial Intelligence 23 (3): pp. 269–294.
site :