Искусственный интеллект. Краткая история будущего

Илл. 3. Гениальная Ада Лавлейс

Ада Лавлейс была поистине очарована возможностями аналитической машины Бэббиджа, а Бэббидж, в свою очередь, был явно очарован Адой. Он называл ее «волшебницей чисел», но подозреваю, что она покорила его не только своими математическими способностями.

Лавлейс составила первую в мире сложную вычислительную программу, чтобы продемонстрировать потенциал аналитической машины. Это был алгоритм для вычисления чисел Бернулли[15]. Таким образом, первым в мире программистом стала женщина. Женщинами были и многие из первых «компьютеров» – людей, выполнявших астрономические и другие сложные вычисления до того, как одна из машин Тьюринга взяла на себя выполнение столь трудных задач.

Тем не менее у Лавлейс были более амбициозные мечты насчет аналитической машины, чем просто выполнение расчетов чисел Бернулли. Она писала[16]:

«[она] может работать не только с числами, но и с любыми объектами, чьи взаимоотношения можно выразить научно-абстрактными операциями, которые можно описать с помощью обозначений и механизма машины. Предположим, например, что фундаментальные отношения высот музыкальных тонов в гармонии и композиции можно адаптировать к такому выражению и приспособлению, значит, машина сможет сгенерировать “научные” музыкальные произведения любой степени сложности… Можно с уверенностью сказать, что аналитическая машина ткет алгебраические модели так же, как ткацкий станок Жаккара ткет цветы и листья» [4].

Числа Бернулли – важнейшая числовая последовательность, широко применяющаяся в математике, например при аппроксимации функции тангенса. Последовательность начинается так: 1, 1/2, 1/6, 0, –1/30, 0, 1/42, 0, –1/30, 0, 5/66, 0, –691/2730, 0, 7/6, 0, –3617/510 – и продолжается до бесконечности.

Ну и ну! Откуда это взялось? Бэббиджа занимало вычисление и составление числовых таблиц, в то время как Лавлейс каким-то образом смотрела далеко в будущее, на 100 лет вперед, когда компьютеры станут способны обрабатывать звуки, изображения, видео и многое другое помимо чисел. В конце концов, наши смартфоны и есть маленькие компьютеры, и они так же универсальны, поскольку их возможности не ограничиваются только выполнением расчетов, они еще выполняют работу с аудио, видео и графикой. Одновременно смартфон – и музыкальный плеер, и камера, и видеокамера, и игровая приставка.

Несмотря на высказанную ею же идею, что компьютеры могут делать больше, чем просто считать числа, Лавлейс была одним из первых критиков искусственного интеллекта. Она быстро отказалась от мечты создать машины, обладающие творческими способностями: «Аналитическая машина не претендует на создание чего-либо. Она может делать все, что приказано нами на понятном ей языке. Она умеет анализировать, но не имеет силы предвидеть какие-либо аналитические отношения или истины [5]». С тех пор эта мысль, высказанная Лавлейс, не дает покоя исследователям в области искусственного интеллекта. Компьютеры выполняют лишь то, что мы говорим им выполнять. В отличие от человека, они не обладают креативным мышлением. На протяжении всей этой истории мы несколько раз протестируем эту гипотезу.

Помимо Алана Тьюринга, Чарльза Бэббиджа и Ады Лавлейс было еще много экстраординарных личностей, которых следовало бы упомянуть на страницах даже краткой истории искусственного интеллекта. Конечно же, заслуживает упоминания и Джордж Буль[17], английский математик-самоучка из Линкольна, первый профессор математики Королевского колледжа Корка[18]. В 1847 году Буль изобрел булеву логику, логику нулей и единиц, на которой основаны современные компьютеры. Он скончался в возрасте 49 лет после того, как его жена Мэри Эверест вылила на него ведро ледяной воды, когда он больной лежал в постели. Можно вспомнить и Готфрида Вильгельма Лейбница[19], ученого из Лейпцига и современника Исаака Ньютона. Он отвлекся от споров с Ньютоном о том, кто из них изобрел дифференциальное исчисление[20], чтобы создать «Алфавит человеческих мыслей». Его идея заключалась в обозначении любой идеи определенным символом, тем самым превратив процесс мышления в вычисление.

Я вспомню здесь и о Томасе Гоббсе[21], английском философе, учителе принца Чарльза, ставшего впоследствии королем Карлом II. В отличие от большинства наших героев, Гоббса не настигла преждевременная смерть, и он прожил 91 год, солидный возраст для XVII века. Он также сводил мышление к вычислению:

«Под мышлением я пониманию вычисление. А считать – это складывать несколько в одно целое или знать остаток, когда одно отделено от другого. Следовательно, размышлять – это то же самое, что и складывать, и вычитать» [6].

Его идея оказалась удивительно провидческой. Гоббс задумался о том, что мышление может быть сведено к простому вычислению за 300 лет до того, как Алан Тьюринг разработал и создал один из первых электронных компьютеров. И давайте не будем забывать о каталонском поэте XIII века, писателе, теологе, мистике и математике Раймунде Луллии[22]. Луллий изобрел примитивную логику, которую можно было механически использовать для определения того, что, по его словам, являлось всевозможными истинами о предмете. Наверное, вы уже ожидаете услышать, что Луллий преждевременно скончался. Он, согласно легенде, был до смерти забит камнями толпой мусульман, которых безуспешно пытался обратить в христианство. Боюсь, что в этой краткой истории больше нет места, чтобы подробнее рассказать о других выдающихся личностях и поведать об их преждевременной кончине.

Конец ознакомительного фрагмента.

Текст предоставлен ООО «Литрес».

Прочитайте эту книгу целиком, купив полную легальную версию на Литрес.

Безопасно оплатить книгу можно банковской картой Visa, MasterCard, Maestro, со счета мобильного телефона, с платежного терминала, в салоне МТС или Связной, через PayPal, WebMoney, Яндекс.Деньги, QIWI Кошелек, бонусными картами или другим удобным Вам способом.

Notes

1

Дуглас Адамс (1952–2001) – британский писатель и сценарист, чья сатирическая сага «Автостопом по Галактике» стала культовым феноменом, объединившим научную фантастику с тонким английским юмором. – Здесь и далее, если не указано иное, прим. науч. ред.

2

Автостопом по Галактике / перевод В. Баканова. Дословный перевод названия романа – «Путеводитель для путешествующих по Галактике автостопом». – Прим. ред.

3

Артур Чарльз Кларк (1917–2008) – английский футуролог и научный фантаст, чьи идеи, включая концепцию спутниковой связи, часто опережали технический прогресс. Входит в так называемую Большую тройку (вместе с Азимовым и Хайнлайном) англоязычных фантастов XX века.

4

Айзек Азимов (1920–1992) – американский биохимик и писатель, сформулировавший знаменитые Три закона робототехники. Его творчество сыграло ключевую роль в популяризации науки и формировании современного образа роботов в культуре.

5

Джон Маккарти (1927–2011) – выдающийся американский информатик, лауреат премии Тьюринга (1971). Он ввел термин «искусственный интеллект» и разработал язык программирования Lisp, ставший стандартом в этой области на десятилетия.

6

Если вам интересно узнать о том, как я чуть не оставил свой отпечаток в истории искусственного интеллекта, едва не утопив Джона Маккарти, то почитайте об этом в моей первой книге “It’s Alive! Artificial Intelligence from the Logic Piano to Killer Robots”. – Прим. автора.

7

Алан Тьюринг (1912–1954) – английский математик и криптограф, заложивший теоретические основы информатики. Его концепция универсальной вычислительной машины и предложенный тест на интеллектуальность машин остаются фундаментальными для всей сферы ИИ.

8

Артур Сэмюэл (1901–1990) – американский пионер компьютерных наук. Считается автором термина «машинное обучение».

9

Фриц Ланг (1890–1976) – классик немецкого экспрессионизма. Его «Метрополис» стал одной из первых киноантиутопий, заложившей визуальный канон изображения будущего и отношений человека с машиной.

10

К сожалению, Алан Тьюринг умер до моего рождения, так что мне не удалось встретить его. Однако ИИ – узкая область, поэтому у меня (как и у многих других) есть определенные академические связи. Тьюринг учился в Кембриджском университете под руководством Людвига Витгенштейна. Другим аспирантом Витгенштейна был математик Рубен Гудстейн, известный своей теоремой Гудстейна. А одним из аспирантов Гудстейна был Алан Банди, который стал профессором кафедры искусственного интеллекта в Эдинбургском университете, где в свое время был моим научным руководителем. – Прим. автора.

11

Bombe («Бомба») – Тьюринг не создавал эту машину с нуля, а радикально усовершенствовал разработку польских криптографов (так называемую криптологическую бомбу). Главным вкладом Тьюринга стал метод, позволявший значительно сократить перебор вариантов настроек роторов «Энигмы».

12

Речь идет о статье «Вычислительные машины и разум», опубликованной в философском журнале Mind (с англ. «Разум»). Именно в ней Тьюринг сместил фокус с философского вопроса «Может ли машина мыслить?» на прагматичный – «Может ли машина действовать неотличимо от человека?».

13

Ада Лавлейс (1815–1852) – графиня, которую называют первым программистом в истории не за написание кода для существующего компьютера, а за понимание того, что компьютер способен не только вычислять, но и манипулировать любыми символами (нотами, буквами), если их перевести в цифры.

14

Чарльз Бэббидж (1791–1871) – английский математик, прозванный «отцом компьютера». Его трагедия заключалась в том, что он придумал машину (аналитический двигатель) за сто лет до того, как технологии позволили бы ее построить.

15

Числа Бернулли – последовательность рациональных чисел, играющая важную роль в теории чисел и анализе. Лавлейс выбрала их для демонстрации мощи машины Бэббиджа, так как их вычисление вручную было чрезвычайно трудоемким и подверженным ошибкам процессом.

16

Далее автор цитирует отрывок из работы Ады Лавлейс, но не упоминает важную деталь – это комментарии к переводу статьи итальянского инженера Л. Менабреа об аналитической машине Бэббиджа. Однако ее «Примечания» (особенно «Примечание G» с алгоритмом) по объему и значимости в три раза превзошли сам исходный текст.

17

Джордж Буль (1815–1864) – английский математик и логик. В своем фундаментальном труде «Исследование законов мышления» (1854) он впервые применил алгебраическую символику для описания логических процессов. Эта система (булева алгебра) спустя столетие легла в основу схемотехники всех цифровых компьютеров

18

В 1908 году Королевский колледж переименуют в Университетский колледж Корка. Когда я работал в Университетском колледже Корка, я вспоминал Джорджа Буля каждый раз, как проезжал на велосипеде мимо дома на Гренвилл Плейс, 5, и видел бронзовую табличку с надписью, что здесь жил и создал свой шедевр «Исследования законов мышления» Джордж Буль. – Прим. автора.

19

Готфрид Вильгельм Лейбниц (1646–1716) – немецкий философ, математик и дипломат. Он не только предвосхитил идеи математической логики, но и спроектировал механический арифмометр, способный выполнять умножение и деление, а также описал двоичную систему счисления, ставшую «родным языком» современной вычислительной техники.

20

Имеется в виду знаменитый спор о приоритете – один из самых громких конфликтов в истории науки. Ньютон разработал основы метода флюксий (так он называл дифференциальное исчисление) еще в середине 1660-х, но не публиковал их. Лейбниц пришел к открытию математического анализа независимо десятью годами позже, но первым опубликовал свои результаты в 1684 году. Лондонское королевское общество, президентом которого был Ньютон, официально обвинило Лейбница в плагиате, однако сегодня историки науки признают их независимыми создателями исчисления.

21

Томас Гоббс (1588–1679) – английский философ, автор знаменитого трактата «Левиафан».

22

Раймунд Луллий (ок. 1232–1315) – каталонский философ, поэт и богослов. Его метод Ars Magna («Великое искусство») предполагал использование механических приспособлений (вращающихся кругов) для комбинаторного поиска истины, что историки информатики считают отдаленным прообразом логических машин. Вопреки легенде, он, вероятно, умер своей смертью, а не был забит камнями.