«Ключ к решению задач с помощью искусственного интеллекта лежит в сокращении перебора вариантов при поиске решения. Для этого программы должны реализовывать те же принципы, которыми в процессе мышления пользуется человек», — с этих пророческих слов начинается статья Дугласа Лената «Искусственный интеллект», опубликованная на рубеже 1980-х годов, то есть в самый разгар «зимы искусственного интеллекта».
Да, пока все малодушно «зимовали», Ленат создал два генетических алгоритма — Автоматический математик (AM) и Euriso (от лат. «я нахожу»). Генетическими они называются потому, что созданы по принципу естественного отбора в живой природе: новые элементы порождаются практически случайным образом, а дальше — или выжили, или нет.
Так, например, AM, созданный Ленатом ещё в 70-х, создавал математические теоремы, а затем как бы заново открывал математические правила, выводя их из математических данных.
Отличие Euriso от AM заключалось в том, что этот алгоритм разрабатывал как правила решения задач, так и правила, касающиеся его собственной работы. Проще говоря, программа могла учиться на собственном опыте и, по необходимости, модифицировать свой собственный код.
Не знаю, как доподлинно это произошло, но Ленат выставил свою Euriso против людей в виртуальной военной игре… Сейчас прошу отнестись ко мне серьёзно — делаю всё, что в моих силах! В военной игре «Командир триллиона кредитных эскадрилий»… Черт его знает, как ещё перевести это название — «Traveller Trillion Credit Squadron»?
Суть этой игры заключалась в том, что участник получал некое ограниченное количество средств (кредитов) и должен был на эти деньги спроектировать корабли, а затем сразиться своим флотом с флотами других игроков. Кредиты можно было по выбору потратить на разные типы орудий, толщину брони и т. д., то есть смоделировать флот на свой вкус.
Euriso не растерялась — она наугад спроектировала флот, провела сражение, сделала выводы, сконструировала новый флот, используя эти выводы и добавив мутаций, провела следующее сражение, сделала выводы… И так 10 000 раз на сотне объединённых в единую сеть компьютеров (гигантский проект по тем временам!).
Но дело не в этом, дело в том, что в процессе этой тренировки Euriso сама вывела правила создания кораблей, которые гарантированно побеждали у всех участников соревнований — участников-людей. Это 1981 год и, возможно, первый приз искусственного интеллекта в состязаниях с живыми людьми.
На следующий год организаторы соревнований по Traveller отказались заранее сообщать правила, чтобы избежать подготовки системы к соревнованиям. Но уже обученная на прежних правилах Euriso быстро сориентировалась и забрала турнирный приз 1982 года.
В 1983 году Ленату пришлось снять Euriso с соревнований — в противном случае организаторы были готовы прекратить турнир. Ну и правда, зачем в очередной раз позорить достойных игроков-людей?
Так в чём же заключался секрет фантастических успехов Euriso? Программа придумала давать имена удачным решениям и комбинациям, чем могла изменять для себя их ценность. По сути, она изобрела свой язык и связала его с системой оценки эффективности.
Проблема заключалась в том, что Euriso была «слепа» — не понимала, что именно она делала и зачем. Для действительного понимания ей не хватало контекста — видения мира таким, каким его воспринимаем мы с вами.
Мы же видим не объективный мир, а мир, удобный для нас. И в этом мире всё у нас связано со всем, и не просто так, а как-то и почему-то. Почему мы наливаем воду в стакан, а не в шляпу? На что похожи звёзды? Кого держат дома в качестве четвероногих друзей? Всё это мы знаем каким-то естественным образом, а искусственные системы этому знанию надо ещё научить.
Но прежде чем учить, его — это огромное эмпирическое знание, онтологию нашего здравомыслия, так сказать, — надо собрать в систему. С этой целью Ленат возглавил проект Сус, над которым работает уже больше 30 лет. Скоро, говорят, он даст нам жару. Но сейчас не об этом…
Никто не знает, почему Ленат так внезапно закрыл проект Euriso, хотя он набирал невиданные обороты. Более того, Ленат засекретил все данные по этому проекту. Многие убеждены, что неспроста.
Может быть, он посчитал, что мы ещё не готовы к столь мощному благодаря самообучающей стратегии и языку, но слепому в нашем мире сверхинтеллекту? Тем более волнительной кажется информация, что Сус входит в свою финальную стадию.
Не ждёт ли нас историческая встреча Euriso и Сус? И чем она может для нас закончиться?