Автоматизированный математик
Автоматизированный математик (АМ) — одна из первых успешных систем открытий . [1] Он был создан Дугласом Ленатом на Lisp , [2] а в 1977 году Ленат был награжден премией IJCAI Computers and Thought Award . [3]
АМ работал над созданием и модификацией коротких программ на Лиспе, которые затем интерпретировались как определяющие различные математические концепции; [4] например, программа, проверявшая равенство длин двух списков, считалась представляющей концепцию числового равенства, а программа, создававшая список, длина которого была произведением длин двух других списков, интерпретировалась как представляющая концепцию умножение. Система имела тщательно продуманную эвристику для выбора программ для расширения и модификации, основанную на опыте работающих математиков в решении математических задач.
Споры [ править ]
Ленат утверждал, что система состоит из сотен структур данных, называемых «концепциями», вместе с сотнями «эвристических правил» и простым потоком управления: «AM неоднократно выбирает главную задачу из повестки дня и пытается ее выполнить. Это это вся структура управления!" Однако эвристические правила не всегда представлялись как отдельные структуры данных; некоторые пришлось переплести с логикой потока управления. Некоторые правила имели предварительные условия, которые зависели от истории или иным образом не могли быть представлены в рамках явных правил. [5]
Более того, опубликованные версии правил часто содержат расплывчатые термины, не имеющие дальнейшего определения, например, «Если два выражения структурно схожи,...» (Правило 218) или «...заменить полученное значение каким-либо другим ( очень похоже) значение...» (Правило 129). [6]
Другим источником информации является пользователь, согласно правилу 2: «Если пользователь недавно обратился к X, повысьте приоритет любых задач, связанных с X». Таким образом, вполне возможно, что большая часть настоящей исследовательской работы похоронена в необъяснимых процедурах. [7]
Ленат утверждал, что система заново открыла как гипотезу Гольдбаха , так и фундаментальную теорему арифметики . Позже критики обвинили Ленат в чрезмерной интерпретации результатов AM. В своей статье « Почему AM и Eurisko работают » Ленат признал, что любая система, генерирующая достаточно короткие программы на Лиспе, будет генерировать такие программы, которые внешний наблюдатель может интерпретировать как представляющие столь же сложные математические концепции. Однако он утверждал, что это свойство само по себе интересно и что многообещающим направлением дальнейших исследований будет поиск других языков, в которых короткие случайные строки могут быть полезны. [8]
Преемник [ править ]
Эта интуиция легла в основу преемника AM Eurisko , который пытался обобщить поиск математических концепций до поиска полезных эвристик . [9]
См. также [ править ]
- Компьютерное доказательство
- Автоматизированное доказательство теорем
- Символическая математика
- Экспериментальная математика
- HR (программное обеспечение) и Graffiti (программа) , связанные системы математического поиска.
Ссылки [ править ]
- ^ Ричи, Джорджия; Ханна, ФК (август 1984 г.). «am: Пример использования методологии искусственного интеллекта». Искусственный интеллект . 23 (3): 249–268. дои : 10.1016/0004-3702(84)90015-8 .
- ^ Ленат, Дуглас Брюс (1976). Am: Подход искусственного интеллекта к открытиям в математике как эвристический поиск (Диссертация).
- ^ Ленат, Дуглас Б. (1977), «Повсеместность открытий (лекция о компьютерах и мышлении)», IJCAI (PDF) , стр. 1093–1103, заархивировано из оригинала (PDF) 6 августа 2014 г.
- ^ Коза, Джон Р. (1992), «9.3 утра и Евроски», Генетическое программирование: программирование компьютеров посредством естественного отбора , MIT Press, стр. 232–236, ISBN 9780262111706 .
- ^ Ричи и Ханна (1984) , стр. 256–257.
- ^ Ричи и Ханна (1984) , с. 258.
- ^ Ричи и Ханна (1984) , с. 252.
- ^ Ленат, Дуглас Б.; Браун, Джон Сили (август 1984 г.). «Почему am и eurisko работают». Искусственный интеллект . 23 (3): 269–294. CiteSeerX 10.1.1.565.8830 . дои : 10.1016/0004-3702(84)90016-X .
- ^ Хендерсон, Гарри (2007), «Автоматизированный математик», Искусственный интеллект: зеркала для разума , Вехи открытий и изобретений, Infobase Publishing, стр. 93–94, ISBN 9781604130591 .
Внешние ссылки [ править ]
- Эдмунд Фёрс; Почему AM выдохлась?
- Доктор философии Кена Хаазе. Диссертация; Изобретение и исследование в открытиях , рациональная реконструкция основополагающей программы AM Дуга Лената и анализ взаимосвязи между изобретением и исследованиями в открытиях.
- Пролог с открытым исходным кодом заявил о повторной реализации AM Лената, доступной по адресу https://github.com/akkartik/am-utexas.
- AM Дугласа Лената из архивов SAIL около 1977 г. [1] (из [2] )