Оглавление
Автоматизированный математик
-
История и достижения AM
- AM – одна из первых успешных систем обнаружения, разработанная Дугласом Ленатом в 1977 году.
- AM генерировал и модифицировал короткие программы на Лиспе, интерпретируемые как математические концепции.
- Система получила премию IJCAI Computers and Thought Award.
-
Структура и эвристика AM
- AM использовал эвристику, основанную на опыте математиков, для выбора программ для расширения и модификации.
- Эвристические правила не всегда были представлены в виде отдельных структур данных, некоторые из них были переплетены с логикой управления.
- Некоторые правила имели предварительные условия, которые не могли быть представлены в явном виде.
-
Критика и последующие исследования
- Ленат был обвинен в чрезмерной интерпретации результатов AM.
- AM послужил основой для создания системы Eurisko, которая пыталась обобщить поиск математических концепций.
-
Связанные системы и рекомендации
- AM связан с компьютерным доказательством, автоматизированным доказательством теоремы и другими экспериментальными математическими системами.
- Ссылки на внешние ресурсы и рекомендации по дополнительным материалам доступны в статье.