(Основания символьного ИИ.)
Символьный ИИ.
Пункт 1. От фундаментальных вопросов к теоретическому основанию символьного ИИ.
- 22.03.26 г.
- 9772225665000 26009
1.Вопросы по поводу ИИ.
Прежде чем говорить о том, как создавалcя artificial intelligence (AI), нужно определить, какие вопросы вообще побудили исследователей задуматься о нем. Сразу же отметим, что эти вопросы не были чисто техническими – они лежали на пересечении философии, математики, лингвистики и психологии.
а. Может ли машина мыслить?
Это центральный вопрос, который в середине XX века приобрел конкретную форму. В 1950 году Алан Тьюринг, британский математик, предложил знаменитый тест, названный его именем. Важно понять, что именно он предлагал. Тьюринг не утверждал, что тест доказывает наличие сознания или «подлинного» мышления. Он предложил прагматический обход философского вопроса: если машина в диалоге с человеком способна убедить его, что она – человек, то вопрос о том, «мыслит ли она на самом деле», теряет практический смысл. «Вместо того чтобы спорить о том, что такое мышление, – говорил Тьюринг, – давайте просто признаем, что если поведение неотличимо, то и различие проводить бессмысленно». Для исследователей символьного ИИ этот тезис стал отправной точкой: мышление можно моделировать как вычисление, и важно не то, «понимает» ли машина, а то, может ли она вести себя как понимающая.
б. Можно ли представить человеческое рассуждение как исчисление?
Идея формализации мышления имеет долгую историю. Готфрид Вильгельм Лейбниц уже в XVII веке мечтал создать calculus ratiocinator – исчисление рассуждений, с помощью которого любые споры можно было бы разрешать простым вычислением: «Давайте посчитаем!». Он полагал, что человеческая мысль может быть сведена к комбинации элементарных символов и правил их преобразования. Эта идея оказалась удивительно живучей: спустя три столетия она легла в основание символьного ИИ.
в. Как передать машине знания, которыми владеет эксперт?
Представьте врача-диагноста, который по набору симптомов определяет болезнь. Его знания – это не просто набор фактов, а сложная система правил: «если у пациента высокая температура и кашель, то…». Возник вопрос: можно ли извлечь эти правила из эксперта и записать их в машину так, чтобы она могла ставить диагнозы не хуже человека? Этот вопрос привел к появлению инженерии знаний и экспертных систем.
г. Может ли машина понимать естественный язык?
Человеческий язык полон неоднозначностей, метафор, контекстуальных значений. Пример, ставший хрестоматийным в AI: «Time flies like an arrow; fruit flies like a banana» – здесь «flies» в первом случае – глагол («летит»), во втором – существительное («плодовые мушки»). Если мы хотим, чтобы машина «думала» как человек, она должна справляться с такими неоднозначностями. Для символьного ИИ ответ был таким: понимание – это способность преобразовывать предложения в формальные структуры (логические формулы, семантические сети) и оперировать ими по правилам.
Эти четыре вопроса задали траекторию развития AI на десятилетия вперед. Символьный подход был первой систематической попыткой дать на них ответы. Символьный подход исходил из уверенности, что интеллект – это работа с символами по правилам, и, если мы создадим достаточно мощную символьную систему, она сможет мыслить, рассуждать, владеть знаниями и понимать язык. Сегодня мы знаем, что эта уверенность была одновременно пророческой и наивной, но без понимания символьного ИИ невозможно понять ни историю, ни современное состояние AI.
2. Истоки: от Аристотеля до Дартмута.
Символьный ИИ не возник на пустом месте. Его интеллектуальная родословная насчитывает более двух тысячелетий. Каждый следующий шаг приближал человечество к мечте Лейбница – создать универсальное исчисление мысли.
Аристотель (IV век до н.э.) и силлогизмы.
Первой формальной системой, описывающей рассуждение, стали аристотелевские силлогизмы. Классический пример: «Все люди смертны. Сократ – человек. Следовательно, Сократ смертен». Аристотель показал, что из двух посылок можно с гарантией вывести заключение, следуя правилам формы, а не содержания. Это был первый шаг к идее, что рассуждение может быть формализовано. Более двух тысяч лет эта система оставалась вершиной логической мысли.
Лейбниц (XVII век) и универсальный язык.
Лейбниц пошел дальше. Он мечтал создать characteristica universalis – универсальный язык, который позволил бы представлять любые понятия в виде символов, и calculus ratiocinator – исчисление, которое позволяло бы оперировать этими символами. «Если возникнет спор, – писал Лейбниц, – два философа возьмут в руки перья и скажут: давайте посчитаем». В этой мечте уже содержится вся программа символьного ИИ. Однако Лейбниц не мог знать, что его мечта натолкнется на принципиальные математические ограничения – они будут открыты только в XX веке.
Буль (XIX век) и алгебра логики.
Джордж Буль сделал следующий шаг: он превратил логические операции в математику. Его алгебра логики (булева алгебра) позволяла записывать высказывания в виде уравнений и решать их. Операции И, ИЛИ, НЕ получили алгебраическую форму. Буль показал, что логика – это математика. Без булевой алгебры не было бы ни цифровых компьютеров, ни символьного ИИ.
Гёдель в 1931 году показал пределы формализма.
Почти одновременно с тем, как математики окончательно формализовали логику, Курт Гёдель доказал свои знаменитые теоремы о неполноте. Он показал, что в любой достаточно мощной формальной системе (способной описывать арифметику) существуют истинные утверждения, которые нельзя ни доказать, ни опровергнуть внутри самой системы. Это был первый серьёзный философский удар по мечте Лейбница. Символьный ИИ позже столкнется с похожими ограничениями: окажется, что многие формы человеческого знания и рассуждения принципиально не поддаются полной формализации. Гёдель как бы предупредил исследователей AI за два десятилетия до Дартмута – но в 1956 году на это предупреждение предпочли не обращать внимания.
Кибернетика: альтернативный путь, который не выбрали.
Параллельно с формированием символьного подхода развивалась кибернетика – направление, основанное Норбертом Винером в 1948 году. Согласно кибернетике, интеллект не манипуляция символами, а управление и обратная связь. Вместо логических правил – механизмы адаптации, саморегуляции, взаимодействия со средой. Дартмутская конференция 1956 года, на которой было провозглашено рождение AI, фактически сделала выбор в пользу символического пути. Нейросети (перцептроны) и кибернетический подход были отодвинуты на задний план почти на 30 лет. Этот выбор определил всю траекторию развития AI – и привел к «зимам», когда альтернативные подходы, выживавшие на обочине, в конце концов вернулись и победили.
Дартмутская конференция (1956) – рождение AI.
Летом 1956 года в Дартмутском колледже (США) собралась группа исследователей: Джон Маккарти (который ввел термин «искусственный интеллект»), Марвин Мински, Аллен Ньюэлл, Герберт Саймон и другие. В заявке на конференцию было написано: «Мы полагаем, что каждый аспект обучения или любой другой способности интеллекта может быть описан настолько точно, что машина сможет его симулировать».
Это был манифест нового направления исследований. Ученые были уверены, что для интеллекта не нужно ничего, кроме вычислений. Кибернетика и нейросети остались за рамками этого манифеста – выбор был сделан в пользу символов и логики.
Logic Theorist – первый успех.
На той же конференции Ньюэлл и Саймон продемонстрировали программу Logic Theorist, которая смогла доказать 38 из 52 теорем из «Principia Mathematica» Бертрана Рассела и Альфреда Уайтхеда – фундаментального труда по логике. Более того, для некоторых теорем программа нашла доказательства более элегантные, чем те, что предлагали авторы. Это произвело сенсацию. Казалось, что машина действительно «мыслит» – по крайней мере, в области логики. Фотографии Logic Theorist на перфокартах 1956 года сегодня выглядят архаично, но именно с этого началась история искусственного интеллекта как научной дисциплины.
3. Гипотеза физической символьной системы: теоретическое обоснование.
а. Символьная система.
Успех Logic Theorist требовал теоретического осмысления. Если машина может доказывать теоремы, то что это говорит о природе интеллекта? Ответ дали Ньюэлл и Саймон, сформулировав то, что стало теоретическим ядром символьного ИИ.
Что такое физическая символьная система?
Физическая символьная система – это система, которая:
– оперирует символами (объектами, обозначающими что-то другое),
– эти символы могут комбинироваться в структуры (списки, деревья, формулы),
– система имеет набор операций над символами (создание, модификация, сравнение, преобразование).
Важно: символы физически реализованы – в компьютере это биты, в человеческом мозге – нейронные структуры, но принцип един: интеллект есть работа с символами.
б. Гипотеза физической символьной системы (Ньюэлл, Саймон, 1976–1980).
Ньюэлл и Саймон выдвинули следующее сильное утверждение: «Физическая символьная система обладает необходимыми и достаточными средствами для проявления интеллекта в общем смысле». Первые формулировки появились в их работе 1960-х годов, но классическая, наиболее четкая формулировка была дана в нобелевской лекции Саймона (1975), а затем в статье «Physical Symbol Systems» (журнал Cognitive Science, 1980). Основная публикация, на которую обычно ссылаются – 1976 год (Turing Award lecture Ньюэлла и Саймона).
Разобьем указанное утверждение на две части:
– необходимость: интеллект невозможен без оперирования символами. Любое разумное существо (человек, инопланетянин, машина) должно быть физической символьной системой,
– достаточность: любое интеллектуальное действие можно реализовать как вычисление над символами. Не существует таких проявлений интеллекта (понимание, творчество, интуиция), которые принципиально не могли бы быть воспроизведены символьной системой.
в. Философский мостик: функционализм.
Эта гипотеза стала научной версией философского функционализма – направления в философии сознания, которое оформили Патнэм и Фодор в 1960–1970-е годы. Функционализм утверждает: разум – это не вещество мозга (не материя), а функция, которую можно реализовать на разных носителях. Мозг, компьютер, будущий инопланетянин или даже сообщество людей, действующих по правилам, – если они выполняют одну и ту же функциональную организацию (оперируют символами по правилам), они обладают разумом. Именно поэтому символьный ИИ так сильно повлиял на философию сознания XX века: он предложил конкретную, проверяемую модель того, как может работать разум, независимый от своего «носителя».
г. Следствие: разум как программа.
Из гипотезы следовал радикальный вывод: интеллект – это вычисление, а разум – это программа. Если мы создадим достаточно мощную символьную систему, она будет обладать интеллектом – не имитировать его, а действительно быть интеллектуальной.
д. Эмпирические подтверждения того периода
В 1960-е и 1970-е годы гипотеза получала подтверждение за подтверждением:
– программы для игры в шахматы (Сэмюэль, 1959) обыгрывали любителей,
– General Problem Solver (Ньюэлл, Саймон, 1961) решал логические головоломки,
– STUDENT (1964) решал алгебраические задачи, сформулированные на естественном языке,
– SHRDLU (1970) управлял роботом в «мире кубиков» по командам на английском языке.
Казалось, что гипотеза работает, и создание полноценного AI – вопрос времени, вычислительной мощности и объема знаний, которые нужно загрузить в машину. Этот оптимизм определил развитие символьного ИИ на следующие два десятилетия.
4. Критика.
Уже в 1965 году философ Хуберт Дрейфус начал систематическую атаку на символьный ИИ. Он утверждал, что человеческое мышление не основано на правилах, а укоренено в теле, практических навыках и интуиции. Его доклад для RAND Corporation (1965) и последующая книга «Чего не могут вычислительные машины» (1972) стали первыми систематическими критиками символьного подхода с гуманитарных позиций. На тот момент эти аргументы воспринимались как маргинальные – сообщество AI было убеждено в своей правоте. Но спустя два десятилетия именно эти аргументы оказались пророческими...
>> Дискуссии и конференции. AI