Запис атласу: https://www.aitimeline.dev/uk/events/evt-0130/
Дослідження · липень 1976 р.
AM
Програма Лената починала з базових понять теорії множин і, керуючись евристиками цікавості, сама виводила поняття на кшталт простих чисел.
Чому це важливо
Спроба автоматизувати не розв'язання задачі, а її постановку — рідкісний випадок, коли метою було відкриття, а не відповідь.
AM мала близько 250 евристик виду «якщо функція часто дає той самий результат, розглянь її окремо». Програма перевідкрила прості числа і гіпотезу Гольдбаха, а потім видихалася: нові поняття ставали дедалі беззмістовнішими. Лената згодом критикували за те, що результати залежали від закладеного словника. Саме ця межа привела його до Cyc.
Відомості про подію
- Дата події
- липень 1976 р.
- Дата на часовій осі
- Дата події
- Перевірка
- Джерела зібрано автоматично · 17 вересня 2026 р.
- Лінії
- ID
- evt-0130
Дисертацію датовано липнем 1976 року; видано як AIM-286 і STAN-CS-76-570.
Пов’язані події
Раніше
- Пов’язано GUHA: машина, що висуває гіпотези з даних 1966посилається на цей запис
Обидві програми висувають гіпотези самі: AM — математичні поняття й припущення з евристик, GUHA — усі твердження певної форми, які справджуються на даних.
- Розвиває Початок проєкту DENDRAL 1965
Той самий стенфордський підхід, але евристики шукають не структуру молекули, а нові поняття.
Пізніше