오토매틱스

Automated Mathematician

자동화된 수학자(AM)는 가장 초기에 성공한 발견 시스템 중 하나이다.[1] Lisp에서 더글러스 레나트에 의해 만들어졌으며,[2] 1977년에 레나트가 IJCAI 컴퓨터 및 사상상을 수상하게 되었다.[3]

며 이어서 다양한 수학적 개념을 정의하는 것으로 해석돼 짧은 Lisp 프로그램;예를 들어[4], 두개 목록의 길이 숫자 평등의 개념을 대표하는 것으로 간주 사이에서 평등을 점검한 프로그램, 수정을 올릴 수 있어 일해AM은 길이의 길이는 제품 목록을 만들어 낸 프로그램.그렇게f 다른 두 리스트는 곱셈의 개념을 나타내는 것으로 해석되었다. 이 시스템은 수학 문제를 푸는 데 있어 일하는 수학자들의 경험을 바탕으로, 어떤 프로그램을 확장하고 수정할지 선택하기 위한 정교한 휴리스틱스를 가지고 있었다.

논란

레나트는 이 시스템이 '개념'이라고 불리는 수백 개의 데이터 구조와 수백 개의 '휴리스틱 룰' 그리고 단순한 통제의 흐름으로 구성됐다고 주장했다. 이게 통제의 구조다!" 그러나 경험적 접근법은 항상 별개의 데이터 구조로 표현되지는 않았다. 일부는 제어 흐름 논리와 얽혀 있어야 했다. 어떤 규칙들은 역사에 의존하는 전제조건이 있거나, 그렇지 않으면 명시적 규칙의 틀에서 대표될 수 없었다.[5]

게다가, 공개된 규칙의 버전은 "두 개의 표현이 구조적으로 유사한 경우,..." (규칙 218) 또는 "...일부 다른 (매우 유사한) 값으로 얻은 값을 대체..." (규칙 129)와 같이 더 이상 정의되지 않은 모호한 용어들을 포함하고 있는 경우가 많다.[6]

또 다른 정보 출처는 규칙 2를 통해 "최근 사용자가 X를 참조했다면 X와 관련된 모든 작업의 우선순위를 높이십시오"라는 것이다. 따라서 실제 발견 작업의 상당 부분이 설명되지 않은 절차에 묻혀 있을 가능성이 상당히 높아 보인다.[7]

레나트는 이 시스템이 골드바흐의 추측과 산술의 근본적인 정리를 모두 재발견했다고 주장했다. 이후 비평가들은 레나트가 AM의 생산량을 과도하게 간섭했다고 비난했다. 레나트는 자신의 논문 Why AM과 유리스코가 효과가 있는 것처럼 보이는 이유에서, 충분한 짧은 리스프 프로그램을 생성하는 어떤 시스템도 똑같이 정교한 수학 개념을 나타내는 것으로 외부 관찰자가 해석할 수 있는 시스템을 생성할 것이라고 인정했다. 그러나 그는 이 속성 자체가 흥미로웠고, 추가 연구를 위한 유망한 방향은 짧은 무작위 문자열이 유용할 가능성이 있는 다른 언어들을 찾는 것이라고 주장했다.[8]

후계자

이러한 직관은 유용한 휴리스틱스를 찾기 위해 수학 개념 검색을 일반화하려 했던 AM의 후계자 유리스코의 기초였다.[9]

참고 항목

참조

  1. ^ Ritchie, G.D.; Hanna, F.K. (August 1984). "am: A case study in AI methodology". Artificial Intelligence. 23 (3): 249–268. doi:10.1016/0004-3702(84)90015-8.
  2. ^ Lenat, Douglas Bruce (1976). Am: An artificial intelligence approach to discovery in mathematics as heuristic search (Thesis).
  3. ^ Lenat, Douglas B. (1977), "The Ubiquity of Discovery (Computers and Thought Lecture)", IJCAI (PDF), pp. 1093–1103, archived from the original (PDF) on 2014-08-06.
  4. ^ Koza, John R. (1992), "9.3 AM and Euroski", Genetic Programming: On the Programming of Computers by Means of Natural Selection, MIT Press, pp. 232–236, ISBN 9780262111706.
  5. ^ 리치&한나(1984), 페이지 256–257.
  6. ^ 리치&한나(1984), 페이지 258.
  7. ^ 리치&한나(1984), 페이지 252.
  8. ^ Lenat, Douglas B.; Brown, John Seely (August 1984). "Why am and eurisko appear to work". Artificial Intelligence. 23 (3): 269–294. doi:10.1016/0004-3702(84)90016-X.
  9. ^ Henderson, Harry (2007), "The Automated Mathematician", Artificial Intelligence: Mirrors for the Mind, Milestones in Discovery and Invention, Infobase Publishing, pp. 93–94, ISBN 9781604130591.

외부 링크