Запис атласу: https://www.aitimeline.dev/uk/events/evt-0086/
Дослідження · 24–27 листопада 1958 р.
Програми зі здоровим глуздом
Маккарті запропонував систему, якій знання подають реченнями формальної логіки, а нову поведінку — новими реченнями, а не новим кодом.
Чому це важливо
Розділення знання і механізму виводу стало основою всіх подальших систем, заснованих на правилах.
Гіпотетичну систему Маккарті назвав advice taker: їй радять, а не її перепрограмовують. Повністю її не реалізували, але саме ця постановка привела до логічного програмування, експертних систем і довгої суперечки про те, чи можна записати здоровий глузд реченнями.
Відомості про подію
- Дата події
- 24 листопада 1958 р. – 27 листопада 1958 р.
- Дата на часовій осі
- Дата події
- Перевірка
- Джерела зібрано автоматично · 17 вересня 2026 р.
- Лінії
- ID
- evt-0086
Доповідь на симпозіумі в Теддінгтоні 24-27 листопада 1958 року; матеріали видано 1959 року.
Пов’язані події
Раніше
Пізніше
- Пов’язано Lisp 1960посилається на цей запис
Мова дала засіб записувати символьні вирази, потрібні системі на кшталт advice taker.
- Пов’язано Початок проєкту DENDRAL 1965посилається на цей запис
Система відокремлює правила предметної області від механізму виводу.
- Пов’язано Принцип резолюції 1965посилається на цей запис
Резолюція дала механізм виводу, якого бракувало системі advice taker.
- Протиставляє Фрейми 1974посилається на цей запис
Знання подано не реченнями логіки, а стереотипними ситуаціями зі значеннями за замовчуванням.
- Пов’язано Початок проєкту Cyc 1984посилається на цей запис
Спроба виконати програму advice taker обсягом: мільйони записаних тверджень.