Не будем даже пытаться охватить всю проблему искусственного интеллекта. Искусственный интеллект стал особой областью знания. Существуют специальные научные организации, координирующие исследования по этой проблематике, издается несколько журналов, созываются международные конференции. С одной стороны, предмет этих исследований примыкает к теоретической кибернетике, с другой — к технике автоматов и роботов, есть и психофизиологический аспект проблемы ИИ. Одно сразу надо сказать: искусственный интеллект не создан. Векселя, которые выдала кибернетика в начале своего развития, претендуя на решение почти всех интеллектуальных задач, остались неоплаченными. Более того — наметился явный пессимизм во взглядах на саму возможность воспроизвести разум человека. Тем не менее, большинство ученых-кибернетиков смотрит в будущее с надеждой, хотя теории интеллекта пока нет и все предлагаемые модели представляют собой воспроизведение частных механизмов мышления. Для того чтобы дать представление о состоянии дел в этой области, приведем очень краткую сводку работ последних десятилетий.

С самого начала основные надежды кибернетики были связаны с моделированием работы мозга. Было ясно, что здесь можно идти двумя путями — моделировать нейронные сети мозга и воспроизводить алгоритмы мышления.

Лучшие результаты по моделированию нейронных сетей были получены в работах ученого У. Мак-Каллоха и его последователей. Выяснилось, однако, что сети из формальных нейронов не способны воспроизводить сложные функции мозга. Неэффективными оказались также попытки использовать такие сети для управления роботами. Большой интерес вызвали работы Ф. Розенблата, который сформулировал ряд принципов нейродинамики мозга и использовал их для построения персептронов — устройств для распознавания образов. Однако строгий анализ показал ограниченность существующих здесь возможностей. Таким образом, к началу 70-х гг. общий кризис нейронного подхода был очевиден.

Одновременно проводились исследования по алгоритмическому моделированию мышления. Основные достижения в этой области связаны с именами А. Ньюэла и Г. Саймона. Их работы по созданию GPS (общего решателя проблем) привели к формированию отдельного направления — эвристического программирования, влияние которого на исследования по ИИ прослеживается до сих пор. Однако в целом это направление исчерпало свои возможности уже к началу текущего столетия. При этом выяснилось, что оно не позволяет приблизиться к сколько-нибудь общей теории мышления, хотя и может обеспечить решение отдельных прикладных задач.

Кризис обоих направлений привлек внимание к работам, начатым еще в 50-е гг. и связанным с использованием формальных методов для решения сложных, «интеллектуальных» задач (доказательство теорем, игры и т. п.). К этому времени здесь был получен ряд интересных результатов. Работы этого направления и составили основу нового раздела кибернетики, который занимается проблемой искусственного интеллекта. В начале 70-х гг. на исследования по ИИ оказывали большое влияние результаты, полученные в области математической логики Дж. Робинсоном. Развитый им метод резольвенций позволил строить мощные процедуры доказательства теорем. Это было использовано для построения нового класса программ, решающих сложные задачи. Наибольшую известность среди них получила разработанная в Стенфордском исследовательском институте программа STRIPS, решающая задачи планирования действий робота. Методы математической логики составили также основу теории поиска решений, главные положения которой обобщены в работах Н. Нильсона. Однако использование этих методов для широкого круга задач показало их низкую эффективность, обусловленную в основном большим объемом и громоздкостью соответствующих программ для ЭВМ. Так что к середине 70-х годов прошлого века наметилось разочарование и в этом подходе.

Попытки преодолеть трудности, сопутствующие разработке больших программ, привели к появлению новых методов автоматизации программирования и созданию специальных проблемно-ориентированных языков.

Использование новых языков программирования обеспечило прогресс в сравнительно новой для ИИ области — имитации речевого поведения человека. Первые значительные успехи здесь были получены Т. Виноградом, разработавшим систему диалогового управления роботом с помощью естественного языка. Начиная с середины 70-х годов прошлого века, проблемы естественной речи привлекают все большее число исследователей. Разрабатываются проблемы понимания, представления знаний, грамматического анализа и др. Проблема понимания активно исследуется также и в другой области ИИ — распознавания зрительных образов.

В целом в последние десятилетия опять намечается тенденция к использованию в программах ИИ знаний о поведении и мышлении человека, хотя сама задача моделирования человека прямо не ставится.

Нас же больше всего интересует как раз эта задача — моделирование человека. Естественно было бы обратиться к нейрофизиологии и психологии. Именно эти науки должны описать физиологические механизмы психических явлений и дать рекомендации по их моделированию. Возможно, работающим в этой области ученым кажется, что они знают, как мыслят животные и человек. Также выглядит неправдоподобно возможность переложить словесные формулировки на цифровые модели. Впрочем, и другие кибернетики тоже не смогли перевести физиологию мозга в модели.

Разумеется, никто не будет отрицать, что именно нейрофизиологам принадлежат основополагающие открытия, благодаря которым стали возможными попытки строить модели ИИ. Перечислем несколько основных. Первое — учение И. М. Сеченова о возбуждении и торможении. Разный уровень активности нейрона — от полного «молчания» до максимального возбуждения — это важнейший механизм взаимодействия моделей. Открытие И. П. Павловым условных рефлексов и условных связей дало объяснение обучаемости и самоорганизации. Учение А. А. Ухтомского о доминанте позволяет предположить механизм превалирования главной модели над всеми остальными. 3. Фрейд достаточно обосновал большое значение подсознания в психической жизни человека. Опыты X. Дельгадо и Н. П. Бехтеревой со вживленными электродами показали, как центры чувств управляют поведением, являясь источниками активности для моделей коры. Наконец, исследования Н. П. Бехтеревой и др. обнаружили так называемый «код слов», то есть наличие самих моделей слов речи, которые, видимо, запечатлены в нескольких или даже многих ансамблях нейронов. Следует также упомянуть П. К. Анохина, предложившего общие принципы управления физиологическими процессами.

Простое перечисление основных идей нейрофизиологии показывает, что наша гипотеза об алгоритме интеллекта является лишь одним из возможных вариантов их компоновки в единое целое. Это сделано для того, чтобы попытаться применить метод эвристического моделирования для изучения мышления и поведения. Если нейрофизиология идет к психике «снизу» путем анализа, от механизмов нейронов и их ансамблей, то кибернетическое моделирование идет «сверху», путем синтеза. Нам представляется, что второй подход имеет право на научность. Не известно, что модели уже сейчас предложат физиологии новые идеи для экспериментов, но для создания искусственного интеллекта они дадут достаточно материала.