최초의 자동 추론 프로그램으로서 '논리 이론가'는 수학 정리를 컴퓨터로 증명하여 AI 기반을 마련했다.
휴리스틱 탐색을 도입해 지수적 검색 문제를 효율적으로 해결하는 방법을 제시했다.
기호 리스트 처리 언어 IPL을 개발하여 이후 Lisp 언어 발전에 기여했다.
Get notified when new stories are published for "해커뉴스 🇰🇷 한국어"
No Sign-In needed. One-Click Subscribe.