Автоматизированный математик - Automated Mathematician

Автоматизированный Математик (AM) является одним из самых ранних успешных систем обнаружения . Он был создан Дугласом Ленатом в Lisp , и в 1977 году Ленат был удостоен награды IJCAI Computers and Thought Award .

AM работал, генерируя и изменяя короткие программы на Лиспе, которые затем интерпретировались как определяющие различные математические концепции; например, программа, которая проверяла равенство между длиной двух списков, рассматривалась как представляющая концепцию числового равенства, в то время как программа, которая создавала список, длина которого была произведением длин двух других списков, интерпретировалась как представляющая концепцию числового равенства. умножение. Система имела тщательно продуманную эвристику для выбора программ, которые нужно расширять и модифицировать, на основе опыта работающих математиков в решении математических задач.

Полемика

Ленат утверждал, что система состоит из сотен структур данных, называемых «концепциями», вместе с сотнями «эвристических правил» и простого потока управления: «AM постоянно выбирает главную задачу из повестки дня и пытается ее выполнить. это вся структура управления! " Однако эвристические правила не всегда представлялись как отдельные структуры данных; некоторые должны были быть связаны с логикой потока управления. Некоторые правила имели предварительные условия, зависящие от истории, или иным образом не могли быть представлены в рамках явных правил.

Более того, опубликованные версии правил часто включают расплывчатые термины, которые не имеют дальнейшего определения, такие как «Если два выражения структурно похожи, ...» (Правило 218) или «... заменить полученное значение другим ( очень похоже) стоимость ... »(Правило 129).

Другой источник информации - это пользователь, через Правило 2: «Если пользователь недавно обращался к X, то повысьте приоритет любых задач, связанных с X». Таким образом, вполне возможно, что большая часть настоящих открытий похоронена в необъяснимых процедурах.

Ленат утверждал, что система заново открыла и гипотезу Гольдбаха, и основную теорему арифметики . Позже критики обвинили Ленат в чрезмерной интерпретации продукции AM. В своей статье Почему AM и Eurisko кажутся работоспособными , Ленат признал, что любая система, генерирующая достаточно короткие программы на Лиспе, будет генерировать такие, которые могут быть интерпретированы внешним наблюдателем как представляющие столь же сложные математические концепции. Однако он утверждал, что это свойство само по себе интересно и что многообещающим направлением для дальнейших исследований будет поиск других языков, в которых короткие случайные строки могут оказаться полезными.

Преемник

Эта интуиция легла в основу последователя AM Eurisko , который попытался обобщить поиск математических понятий на поиск полезных эвристик .

Смотрите также

Рекомендации

Внешние ссылки