Охота на электроовец. Большая книга искусственного интеллекта
Шрифт:
Книга не требует от читателя какой-то особенной подготовки — большая её часть будет хорошо понятна любому студенту или учащемуся старших классов общеобразовательной школы. По завету Стивена Хокинга я старался уменьшить число формул в книге, и, хотя их число не удалось сократить до нуля, вы не найдёте здесь ничего, что потребовало бы от читателя глубоких познаний в области вершин арифметики. В целом я попытался найти разумный баланс, который сделал бы книгу интересной совершенно разным людям: радикальным технарям и бескомпромиссным гуманитариям, управленцам и рядовым сотрудникам, молодым людям и убелённым сединами старцам. Не знаю, насколько хорошо мне удалось решить эту задачу и не было ли это фатальной ошибкой — ответ на этот вопрос может дать только время. Я очень надеюсь, мой дорогой читатель, что эта книга понравится лично вам. В любом случае я буду очень благодарен за любые отзывы, указания на неточности, различные замечания и предложения, которые помогут улучшить эту книгу в будущем. Их можно отправлять мне в виде сообщений в социальных сетях или по адресу моей личной электронной почты: [email protected].
Приятного вам чтения!
1 Договоримся об определениях
Узнал. Узнал, как обманчива бывает внешняя красота.
Смотришь снаружи — вскормленные жёлтыми тюльпанами овцы.
А удастся заглянуть глубже — ни жёлтых тюльпанов, ни пищеварительных органов,
Причина многих ожесточённых и бесплодных споров с давних времён — в том, что спорщики, сами того не замечая, вкладывают в один и тот же термин совершенно разный смысл. Эталонным примером такой ситуации, наверное, можно назвать неутихающие более полувека споры об искусственном интеллекте.
Это понятие, появившись изначально в научной сфере среди специалистов, работавших в области вычислительной техники, довольно быстро просочилось в искусство и поп-культуру, где претерпело весьма причудливые изменения: сейчас представление случайно взятого человека об искусственном интеллекте, скорее всего, основано не на работах учёных, а на фильме «Терминатор».
Автор термина — Джон Маккарти, американский информатик (и, между прочим, изобретатель языка Lisp) — предложил его на границе 1955–1956 гг. Определение Маккарти звучало следующим образом: «Искусственный интеллект — наука и инженерная деятельность, направленная на создание умных [intelligent] машин» [2] . Как часто бывает, название дисциплины стали активно использовать и для обозначения её объекта, то есть самих «умных машин».
На первый взгляд, название, данное создателем, не слишком удачно: его проблема в том, что понятие «умный» само по себе требует определения. Но современникам Маккарти и участникам состоявшейся в 1956 г. первой в истории конференции по искусственному интеллекту всё было более или менее понятно. Дело в том, что исследования в этой области начались задолго до того, как термин появился в его современном виде. В 1950 г. увидела свет статья Алана Тьюринга «Вычислительные машины и разум» (Computing Machinery and Intelligence), содержащая первый детальный анализ вопроса о том, могут ли машины думать. Тремя годами ранее датирована первая дошедшая до нас работа Тьюринга, в которой упоминается «машинный интеллект» [machine intelligence], а вообще, по мнению некоторых исследователей, Тьюринг начал заниматься этим вопросом ещё в 1941 г. [3]
2
https://www.sciencedaily.com/terms/artificial_intelligence.htm
3
Copeland J. (2003). Moor, James, ed., “The Turing Test”, The Turing Test: The Elusive Standard of Artificial Intelligence, Springer.
Стюарт Рассел и Питер Норвиг в классической работе «Искусственный интеллект: современный подход» (Artificial Intelligence: A Modern Approach) [4] классифицируют определения искусственного интеллекта исходя из того, на каких свойствах разрабатываемых систем сделан акцент: на действиях [acting] систем или на воплощённых в них принципах рассуждения [thinking]. Это позволяет Расселу и Норвигу разбить все определения искусственного интеллекта на две группы. Далее, внутри каждой группы, может быть сделан акцент на характере действий (или рассуждений) систем — рациональном [rationally] или человекоподобном [humanly]. Таким образом, Рассел и Норвиг выделяют четыре группы определений. Однако, если приглядеться к приведённым ими примерам из трёх разных групп («[Автоматизация] действий, которые мы ассоциируем с мыслительным процессом у людей…» [5] , «Изучение вопроса о том, как научить компьютеры делать вещи, которые в настоящее время лучше даются людям», «Изучение принципов вычислений, которые могут сделать возможным восприятие, рассуждение и действие» [6] ), можно обнаружить, что они сходятся в одном: искусственный интеллект — это дисциплина, ставящая своей целью создание систем, способных решать интеллектуальные задачи, то есть такие задачи, которые люди традиционно решают при помощи собственного интеллекта. Как выразился Реймонд Курцвейл: «Искусство создания машин, выполняющих функции, требующие интеллекта в случаях, когда их выполняют люди» [7] . Некоторые авторы не могут остановиться на этом и вступают на скользкую дорогу перечисления: «[Автоматизация] действий, которые мы ассоциируем с мыслительным процессом у людей, таких как принятие решений, решение задач, обучение…» [8]
4
Russell S. J., Norvig P. (2016). Artificial Intelligence: A Modern Approach. Pearson // https://books.google.ru/books?id=XS9CjwEACAAJ
5
Bellman R. E. (1978). An Introduction to Artificial Intelligence: Can Computers Think? Boyd & Fraser Publishing Company.
6
Winston P. H. (1992). Artificial Intelligence (Third edition). Addison-Wesley.
7
Kurzweil R. (1990). The Age of Intelligent Machines. MIT Press.
8
Bellman R. E. (1978). An Introduction to Artificial Intelligence: Can Computers Think? Boyd & Fraser Publishing Company.
Разумной альтернативой сложившейся практике определения понятия искусственного интеллекта кажется попытка определения понятия «интеллект», но этот подход по сути представляет собой попытку построения множества, основанную лишь на одном бесспорно установленном элементе — человеческом интеллекте. Неясно, какие именно его признаки являются критически важными для того, чтобы приписать наличие интеллекта объекту, не являющемуся человеком. Способность обучаться, наличие сознания?..
Ответы на эти вопросы пытается дать стоящий некоторым особняком от других агентно-ориентированный подход, в основе которого лежит не понятие интеллектуальной задачи, а понятие интеллектуального или рационального агента: «интеллектуальный агент — любое устройство, которое воспринимает своё окружение и осуществляет действия, максимизирующие шансы успешного достижения его целей», а «вычислительный интеллект (computational intelligence) (синоним понятия «искусственный интеллект». — С. М.) — изучение
9
Poole D., Mackworth A., Goebel R. (1998). Computational Intelligence: A Logical Approach. New York: Oxford University Press.
10
Russell S. J., Norvig P. (2016). Artificial Intelligence: A Modern Approach. Pearson // https://books.google.ru/books?id=XS9CjwEACAAJ
11
* Исполнитель роли агента Смита в фильме «Матрица» (1999).
В общем, сторонники стоящего немного особняком агентно-ориентированного подхода, по сути, выделяют следующие необходимые свойства объекта, обладающего интеллектом: наличие восприятия, наличие целей, способность действовать рационально, то есть выполнять действия, способствующие достижению цели. Рассел и Норвиг добавляют ещё несколько качеств: способность адаптироваться, длительное существование. Лично я против подобных дополнений, так как они, по-моему, лишь увеличивают неопределённость. Начиная с какой секунды жизни начинается «длительное существование»? Можно ли сказать, что запорожец, въехавший под БелАЗ, в некотором роде адаптировался, изменив форму кузова?
Легко заметить, что определение интеллекта, неявно данное сторонниками агентно-ориентированного подхода, описывает нечто существенно более широкое, чем человеческий интеллект. Если бы животные или даже растения были компьютерными программами, мы неизбежно должны были бы отнести их к области искусственного интеллекта.
Как мне кажется, агентно-ориентированный подход делает понятие искусственного интеллекта ещё более неопределённым, поэтому в книге я буду придерживаться более классического определения: искусственный интеллект (далее — ИИ, AI, Artificial Intelligence) — область науки и технологии, занимающаяся автоматизацией решения интеллектуальных задач. При этом я осознанно принимаю риск того, что в отношении некоторых задач степень их интеллектуальности может вызывать споры, однако полезность этих споров, на мой взгляд, не превышает полезности приписываемых средневековым схоластам споров о том, сколько ангелов может поместиться на кончике швейной иглы. По мере того как машины справляются со всё большим и большим количеством интеллектуальных задач, общепринятое представление о том, что относится, а что не относится к последним, постепенно меняется. В конце концов, сложение и вычитание чисел в уме человек тоже осуществляет при помощи собственного интеллекта, и ещё 300–400 лет назад машина, способная выполнять арифметические операции, была настоящим чудом техники. Сегодня же этим уже никого не удивишь. В 1960-е мы мечтали о машинах, способных выигрывать у сильнейших шахматных игроков, и если в те времена вы бы спросили обывателя: является ли системой искусственного интеллекта машина, способная выиграть в шахматы у чемпиона мира, то почти наверняка получили бы утвердительный ответ. Сегодня многие люди лишь брезгливо поморщатся при упоминании шахматных программ: подумаешь, не очень-то это интеллект, просто быстрый перебор вариантов! Несколько лет назад к этой тираде, весьма вероятно, добавилось бы рассуждение об игре го: вот когда машины смогут обыграть чемпиона мира по го, тогда и посмотрим! Интересно будет понаблюдать за тем, какая из сложных интеллектуальных задач теперь, после успехов AlphaGo и AlphaZero, займёт в массовом сознании место достойной истинного ИИ.
Это явление массового сознания с лёгкой руки писательницы и специалистки по истории ИИ Памелы Маккордак получило наименование «эффект ИИ».
«…Каждый раз, когда кто-то находил способ научить компьютер что-то делать — хорошо играть в шашки, решать простые, но относительно неформальные задачи, — раздавался хор критиков, заявлявших, что это не мышление», — пишет Маккордак. То есть некоторые люди полагают, что как только ИИ успешно решает ту или иную задачу, она тут же перестаёт относиться к области ИИ. Маккордак называет «странным парадоксом» тот факт, что «практические успехи ИИ, программы, которые достигали разумного поведения, быстро входили в состав прикладных областей, где они оказывались полезными, становились молчаливыми помощниками наряду с другими подходами к решению задач, оставляя исследователей в области ИИ в компании одних лишь „неудач“, крепких орешков, которые ещё не удалось расколоть» [12] .
12
McCorduck P. (2004). Machines who think: a personal inquiry into the history and prospects of artificial intelligence. A. K. Peters // https://books.google.ru/books?id=aH9QAAAAMAAJ
Как говорит австралийский робототехник и исследователь ИИ Родни Брукс: «Каждый раз, когда мы понимаем что-либо, оно перестаёт быть магией, и мы говорим: „О, это просто вычисление“» [13] . Ларри Теслеру приписывают изобретение «теоремы Теслера»: «ИИ — это то, что ещё не создано» [Artificial Intelligence is whatever hasn’t been done yet] [14] . Впрочем, сам Теслер утверждает, что это неточная цитата. В действительности он говорил, что «интеллект — это всё то, что машины пока не умеют делать» (Intelligence is whatever machines haven’t done yet) [15] . Так или иначе, следует признать мудрость человека, который подарил человечеству клавиатурные сочетания Ctrl + C и Ctrl + V.
13
Kahn J. (2002). It's Alive! / Wired, 03.01.2002 // https://www.wired.com/2002/03/everywhere/
14
Hofstadter D. R. (2000). Godel, Escher, Bach: An Eternal Golden Braid. Penguin // https://books.google.ru/books?id=grzEQgAACAAJ
15
Tesler L. CV: Adages & Coinages // http://www.nomodes.com/Larry_Tesler_Consulting/Adages_and_Coinages.html