논리 이론가
논리 이론가(Logic Theorist)는 앨런 뉴얼, 허버트 사이먼, 클리프 쇼가 1956년에 작성한 컴퓨터 프로그램이다.[1] 이는 자동화된 추론을 수행하도록 의도적으로 설계된 최초의 프로그램이었으며 "최초의 인공지능 프로그램"으로 설명되었다.[1][a] 논리 이론가는 앨프리드 노스 화이트헤드와 버트런드 러셀의 수학 원리(Principia Mathematica) 제2장에서 처음 52개의 정리 중 38개를 증명했으며, 이들 중 일부에 대한 새롭고 짧은 증거를 발견했다.[3]
내용주
[편집]- ↑ Logic theorist is usually considered the first true AI program, although Arthur Samuel's checkers program was released earlier. Christopher Strachey also wrote a checkers program in 1951.[2]
각주
[편집]- ↑ 가 나 McCorduck 2004, 123–125쪽, Crevier 1993, 44–46쪽 and Russell & Norvig 2021, 17쪽
- ↑ Crevier 1993, 44쪽.
- ↑ McCorduck 2004, 167쪽.
출처
[편집]- Crevier, Daniel (1993). 《AI: The Tumultuous Search for Artificial Intelligence》. New York, NY: BasicBooks. ISBN 0-465-02997-3., pp. 44–46.
- McCorduck, Pamela (2004), 《Machines Who Think》 2판, Natick, MA: A. K. Peters, Ltd., ISBN 1-56881-205-1, pp. 161–170.
- Russell, Stuart J.; Norvig, Peter. (2021). 《Artificial Intelligence: A Modern Approach》 4판. Hoboken: Pearson. ISBN 9780134610993. LCCN 20190474.