Попытки преодолеть трудности, сопутствующие разработке больших программ, привели к появлению новых методов автоматизации программирования и созданию специальных проблемно-ориентированных языков. Большие достижения здесь связаны с работами К. Хьюитта по построению языка PLANNER [15, 16], который послужил основой для целого ряда дальнейших разработок в этом направлении.
Использование новых языков программирования обеспечило прогресс в сравнительно новой для ИИ области — имитации речевого поведения человека. Первые значительные успехи здесь были получены Т. Виноградом [5], разработавшим систему диалогового управления роботом с помощью естественного языка. Начиная с 1973—1975 гг. проблемы естественной речи привлекают все большее число исследователей. Разрабатываются проблемы понимания [13], представления знаний, грамматического анализа и др. Проблема понимания активно исследуется также и в другой области ИИ — распознавания зрительных образов. Широко известны работы М. Минского, развивающего теперь новую теоретическую концепцию восприятия, связанную с представлениями о «системах фреймов».
В целом в последние годы опять намечается тенденция к использованию в программах ИИ знаний о поведении и мышлении человека, хотя сама задача моделирования человека прямо не ставится.
Меня больше всего интересует как раз эта задача — моделирование человека. Естественно было бы обратиться к нейрофизиологии и психологии. Именно эти науки должны описать физиологические механизмы психических явлений и дать рекомендации по их моделированию. Возможно, работающим здесь ученым кажется, что они знают, как мыслят животные и человек, но я не мог уяснить этого из их книг. Не нашел я и возможности переложить их словесные формулировки на цифровые модели. Впрочем, и другие кибернетики тоже не смогли перевести физиологию мозга в модели.
Разумеется, никто не будет отрицать, что именно нейрофизиологам принадлежат основополагающие открытия, благодаря которым стали возможными попытки строить модели. Перечислю несколько основных.
Первое — учение И. М. Сеченова о возбуждении и торможении. Разный уровень активности нейрона — от полного «молчания» до максимального возбуждения — это важнейший механизм взаимодействия моделей. Открытие И. П. Павловым условных рефлексов и условных связей дало объяснение обучаемости и самоорганизации. Учение А. А. Ухтомского о доминанте позволяет предположить механизм превалирования главной модели над всеми остальными. Если к этому добавить работы о ретикулярной формации, то, вместе взятые, они подсказали идею центрального регулирования активности коры — систему усиления-торможения (СУТ) и механизм сознания и подсознания. 3. Фрейд достаточно обосновал большое значение подсознания в психической жизни человека. Опыты X. Дельгадо и Н. П. Бехтеревой со вживленными электродами показали, как центры чувств управляют поведением, являясь источниками активности для моделей коры. Наконец, исследования Н. П. Бехтеревой и др. обнаружили так называемый «код слов», то есть наличие самих моделей слов речи, которые, видимо, запечатлены в нескольких или даже многих ансамблях нейронов. Следует также упомянуть П. К. Анохина, предложившего общие принципы управления физиологическими процессами.
Простое перечисление основных идей нейрофизиологии показывает, что наша гипотеза об алгоритме интеллекта является лишь одним из возможных вариантов их компоновки в единое целое. Это сделано для того, чтобы попытаться применить метод эвристического моделирования для изучения мышления и поведения. Если нейрофизиология идет к психике «снизу» путем анализа, от механизмов нейронов и их ансамблей, то кибернетическое моделирование идет «сверху», путем синтеза. Мне представляется, что второй подход имеет право на научность. Не уверен, что модели уже сейчас предложат физиологии новые идеи для экспериментов, но для создания искусственного интеллекта они дадут достаточно материала. К сожалению, попытки заинтересовать моделями физиологов и психологов пока терпят неудачу. Они кажутся им слишком примитивными в сравнении с огромной сложностью мозга. Что ж, против этого пока нечего возразить. Нужны более доказательные модели, способные продемонстрировать как можно больше феноменов поведения человека. Именно к этой цели и направлены работы отдела биокибернетики Института кибернетики АН УССР. Приведу их краткую историю.