(Вопросы по символьному ИИ.)
Символьный ИИ.
Пункт 7. Вопросы для обсуждения и самопроверки по циклу лекций «Символьный искусственный интеллект».
- 31.05.26 г.
- 9772225665000 26016
Базовый уровень (знание и понимание).
- В чем заключается гипотеза физической символьной системы Ньюэлла и Саймона? Почему она стала теоретическим ядром символьного ИИ?
- Как связаны между собой тест Тьюринга, мечта Лейбница о calculus ratiocinator и гипотеза физической символьной системы?
- В чем состоит различие между сильным (Strong AI) и слабым (Weak AI) искусственным интеллектом? К какому типу относили себя создатели символьного ИИ?
- Что такое инженерия знаний и в чем заключается проблема «бутылочного горлышка знаний»?
- Как работает механизм вывода в экспертных системах? В чем различие между прямым и обратным выводом?
- Перечислите основные направления символьного ИИ (кроме экспертных систем). Какое из них, на ваш взгляд, было наиболее перспективным?
- Что такое проблема фрейма (frame problem)? Почему она стала серьезным препятствием для символьного планирования?
- Что такое проблема здравого смысла (common sense reasoning)? Почему проект Cyc считается ее наглядной иллюстрацией?
Аналитический уровень
- Каковы ключевые характеристики символьного ИИ? В чем его главные преимущества и самые серьезные ограничения?
- Почему деревья решений часто относят к «пограничной зоне» между символьным ИИ и машинным обучением?
- Сравните символьный и субсимвольный подходы по критериям: объяснимость, потребность в данных, гибкость, работа с неопределенностью и масштабируемость.
- В чем состояла критика Хуберта Дрейфуса символьного ИИ? Какие три главных тезиса он выдвинул?
- Как проблема фрейма и проблема здравого смысла связаны между собой? Можно ли сказать, что они имеют одну общую природу?
- Почему интеллектуальная робототехника (на примере Shakey the Robot), эволюционные алгоритмы и перцептрон в 1960–1980-е годы оказались на обочине?
- В чем состояли причины двух «зим ИИ»? Какую роль в них сыграли технические ограничения, а какую — социально-экономические факторы?
Синтетический и рефлексивный уровень
- Какие философские и математические предпосылки (Аристотель, Лейбниц, Буль, Гедель) подготовили почву для возникновения символьного ИИ?
- Какую роль в истории ИИ сыграла критика Дрейфуса? Насколько его аргументы (телесность, неявное знание, контекст) актуальны сегодня?
- Почему символьный ИИ потерпел крах как доминирующая парадигма, но многие его идеи (онтологии, формальная верификация, объяснимость) сохранили значение?
- Можно ли утверждать, что современный нейросимволический ИИ (гибрид символов и нейросетей) является ответом на ограничения, выявленные в эпоху символьного ИИ?
- Представьте дискуссию с исследователем-символистом 1985 года. Какие аргументы вы бы привели в пользу ограниченности его подхода? Какие контраргументы он мог бы использовать?
Вопросы повышенной сложности (для семинаров и письменных работ)
- Можно ли считать провал Cyc project чисто технической неудачей или это был принципиальный провал всей символьной парадигмы? Аргументируйте.
- Сопоставьте критику Дрейфуса с современными концепциями embodied cognition и энактивизма. Насколько его аргументы 1970-х годов остаются актуальными?
- Возможно ли создание полностью объяснимого и при этом мощного ИИ? Или объяснимость и высокая производительность принципиально противоречат друг другу?
- Какую роль «зимы ИИ» сыграли в развитии искусственного интеллекта? Можно ли считать их негативным явлением или они имели положительные последствия?
- Какой главный урок истории символьного ИИ должны учитывать современные разработчики нейросетей и больших языковых моделей, чтобы избежать новых «зим»?
>> Дискуссии и конференции. AI