Дослідження · 24–27 листопада 1958 р.
Програми зі здоровим глуздом
Маккарті запропонував систему, якій знання подають реченнями формальної логіки, а нову поведінку — новими реченнями, а не новим кодом.
Чому це важливо
Розділення знання і механізму виводу стало основою всіх подальших систем, заснованих на правилах.
Гіпотетичну систему Маккарті назвав advice taker: їй радять, а не її перепрограмовують. Повністю її не реалізували, але саме ця постановка привела до логічного програмування, експертних систем і довгої суперечки про те, чи можна записати здоровий глузд реченнями.
Відомості про подію
- Дата події
- 24 листопада 1958 р. – 27 листопада 1958 р.
- Дата на часовій лінії
- Дата події
- Перевірка
- Джерела зібрано автоматично · 17 вересня 2026 р.
- Лінії
- ID
- evt-0086
Доповідь на симпозіумі в Теддінгтоні 24-27 листопада 1958 року; матеріали видано 1959 року.
Записи, що посилаються на цей
- Пов’язано Lisp
Мова дала засіб записувати символьні вирази, потрібні системі на кшталт advice taker.
- Пов’язано Принцип резолюції
Резолюція дала механізм виводу, якого бракувало системі advice taker.
- Пов’язано Початок проєкту DENDRAL
Система відокремлює правила предметної області від механізму виводу.
- Протиставляє Фрейми
Знання подано не реченнями логіки, а стереотипними ситуаціями зі значеннями за замовчуванням.
A Framework for Representing Knowledge - Пов’язано Початок проєкту Cyc
Спроба виконати програму advice taker обсягом: мільйони записаних тверджень.