Об ИИ без мифов. Путеводитель по истории Искусственного Интеллекта - Леонид Черняк
Шрифт:
Интервал:
Закладка:
Электроника и первые компьютеры
Аналитическая машина Беббиджа стала венцом применения механики для вычислений, за последующие сто лет ничего сравнимого сделано не было, они отмечены лишь массовым производством простых счетных устройств и табуляторов. Радикальные изменения, ставшие техническими предпосылками к созданию AI, начались в период с 1930 по 1950 год, когда произошел настоящий взрыв достижений в самых разных областях науки и технологий, от микробиологии до ядерной физики, от телевидения до авиационно-космической отрасли. Успехи в электронике способствовавшие созданию материальной базы для будущих компьютеров.
В первую очередь следует назвать изобретение электронных ламп-триодов с тремя электродами. Напряжение подавалось на два – анод и катод, а управление силой тока осуществлялось изменением напряжения на размещенном между ними третьем – сетке. Управляющий сигнал на сетке позволял варьировать поток электронов между анодом и катодом. Конструктивно на одной лампе, скомпонованной из двух триодов (двойном триоде) можно собрать двухпозиционное электронное устройство – триггер (flip-flop), способное хранить 1 бит данных. Из триггеров собирают регистры, хранящие машинное слово и выполняющие различные виды работ с двоичными числами. Регистры были и остаются основой архитектуры с хранимой в памяти программой.
Не будь компьютеров, никакого AI не могло бы быть и в помине. Трудно представить, но самые первые компьютеры к науке не имели прямого отношения, они были в чистом виде плодом инженерной мысли, строились на основе эмпирических представлений, без какого-либо теоретического обоснования. Теория к ним была несколько искусственно подверстана позже, она ассоциируеться с двумя именами – Алана Тьюринга и Джона фон Неймана, однако их роль и место в истории компьютеров не столь очевидны и значимы, как их обычно представляют. Как математик, Тьюринг вошел в историю тем, что смог справиться с проблемой разрешимости (Entscheidungsproblem), поставленной в 1900 году Давидом Гильбертом. Свои изыскания он изложил в статье «О вычислимых числах, применительно к проблеме разрешимости» (On Computable Numbers, with an Application to the Entscheidungsproblem), опубликованной в 1936 году. Для доказательства Тьюринг использовал изобретенный им виртуальный инструмент – гипотетическую машину, более известную как «универсальная машина Тьюринга» (Universal Turing Machine, UTM). Годы спустя ее стали называть «a-machine» (automatic machine), потому что через 12 лет он описал еще одну гипотетическую машину «b-machine». UTM оказалась связанной с компьютингом благодаря одному удачному, если не сказать фантастически удачному обстоятельству. Так случилось, что в июне 1937 года во время стажировки в Принстонском университете Тьюринг получил возможность пообщаться с Джоном фон Нейманом и изложить ему свои взгляды на UTM. Это обстоятельство подтверждает рекомендательное письмо Тьюрингу, подписанное фон Нейманом, где признанный ученый дал высокую оценку молодому аспиранту.
Встреча произошла не в университете, где стажировался Тьюринг, а в Институте перспективных исследований (Institute for Advanced Study, IAS), расположенном там же в Принстоне (штат Нью-Джерси), космполитичный IAS не имел непосредственных контактов с сугубо консервативным элитным Принстонским университетом. В тридцатые годы IAS, раньше, чем это сделали правительственные организации, стал принимать ученых, бежавших из нацистской Германии. Благодаря этому он принял под свою опеку Альберта Эйнштейна, Джона фон Неймана, Роберта Оппенгеймера, Курта Геделя и других знаменитых ученых. Уникальная система финансирования позволяла ученым быть независимыми от каких-либо указаний извне, каждый исследователь работал над тем, что ему интересно. Как следствие атмосфера института оказалась прекрасной питательной средой для многих научных достижений. Несомненно, что пребывание в нем оказалось полезным и для Тьюринга. Что же касается фон Неймана, то он вернулся к идее UTM через несколько лет.
Таких людей, как Джон фон Нейман, называют полиматами, то есть универсальными гениями. С момента приезда в США его научные интересы были связаны с квантовой физикой, а когда стартовал Манхэттенский проект, целью которого было создание атомной бомбы, он стал одной из его ключевых фигур. Парадоксально, его имя чаще всего упоминают в связи с компьютингом и с AI, но не с бывшими главным делом его жизни физикой и математикой, где его личные достижения чрезвычайно высоки. Фон Нейману требовалось выполнять большие расчеты для атомной бомбы, но его не удовлетворяли доступные средства механизации, в поисках выхода он обращался к нескольким специалистам, но ничто из предложенного ими не могло решетить проблему. Требуемое он неожиданно для себя получил в результате случайной встречи с майором Германом Гольштейном, в ту пору ответственным со стороны военных за проект по созданию первого цифрового электронного компьютера ENIAC (Electronic Numerical Integrator and Computer). Гольдштейн познакомил фон Неймана с создателями ENIAC Джоном Моукли и Преспером Эккертом, уже тогда назвавшими свое детище «цифровой компьютер» (digital computer). К моменту знакомства они работали над своим вторым компьютером – двоичным программируемым EDVAC (Electronic Discrete Variable Automatic Computer). (Обратим внимание на слово Variable, тогда не знали слова программируемый.) В его составе было три основных компонента – процессор, память и управляющее устройство, позволяющие загружать и выполнять программы. Научный потенциал и способность к обобщению великого математика фон Неймана были существенно выше, чем у гениальных в своей инженерной ипостаси Преспера Эккерта и Джона Уильяма Моукли. Он быстро осознал значимость и великое будущее того, что перед ним предстало в форме инженерной разработки, соотнес принципы действия увиденного им с тем, что ранее узнал от Тьюринга и в обход всех административных и этических норм в июне 1945 года под своим именем предал гласности 101-страничный «Первый предварительный отчет об (The First Draft of a Report on the EDVAC). В этой,