Охота на электроовец. Большая книга искусственного интеллекта
Шрифт:
3.4.4 Первый матч против чемпиона мира
В 1991 г. Американская шашечная федерация и Английская ассоциация шашек (English Draughts Association, EDA) решили не санкционировать матч Chinook — Тинсли на том основании, что компьютеры не могут претендовать на звание чемпиона мира по шашкам. Они постановили, что Тинсли будет защищать свой титул против действующего английского чемпиона Дерека Олдбери. Тинсли, однако, хотел сыграть с Chinook — его привлекал тот факт, что, в то время как люди в партиях с чемпионом стремятся к ничьей, машина практикует агрессивный, атакующий стиль. Он не смог убедить ACF и EDA принять Chinook в качестве претендента в матче за титул чемпиона мира и заявил, что отказывается от титула в пользу Олдбери. Обе организации пытались убедить Тинсли передумать, но он твёрдо стоял на своём. В августе ему было присвоено
Никто не сомневался, что Тинсли по-прежнему остаётся лучшим игроком среди людей. Таким образом, любой матч между ним и Chinook будет де-факто матчем за звание лучшего игрока планеты. Понимая это, ACF в конечном итоге решила санкционировать матч под вывеской «Первого чемпионата мира по шашкам человек против машины» (First Man versus Machine World Checkers/Draughts Championship).
Матч был организован в августе 1992 г. в отеле Park Lane в Лондоне, там же, где в 1986 г. проходил матч на первенство мира по шахматам между Гарри Каспаровым и Анатолием Карповым. Призовой фонд составлял 10 000 долларов, которые должны были быть разделены в соотношении 60 : 40 в пользу победителя либо 50 : 50 в случае ничьей. Матч состоял из сорока партий, что являлось сложившимся стандартом для чемпионских матчей между людьми [595] , [596] .
595
Propp J. (1999). Chinook (a report on the 1994 Man-Machine World Checkers Championship) // http://faculty.uml.edu/jpropp/chinook.html
596
Kucharski A. (2016). The Perfect Bet: How Science and Math Are Taking the Luck Out of Gambling. Basic Books // https://books.google.ru/books?id=abBVDgAAQBAJ
За два года, предшествовавших матчу, Chinook успел сыграть несколько товарищеских матчей с ведущими шашистами, в том числе и с самим Тинсли: товарищеский матч 1990 г. завершился победой Тинсли, который выиграл одну партию при 13 ничьих. В 1991 г. Chinook также уступил в матче Дону Лафферти, но тоже с минимальным разрывом — 2 : 3 при 11 ничьих. В 1992 г. состоялись матчи с учителем Тинсли Асой Лонгом — ничья 1 : 1 при 18 ничьих, а также с известным экспертом в области шашек Джимом Лоем — 3 : 0 при одной ничьей. Chinook также выступил на Открытом чемпионате южных штатов (Southern States Open), где занял первое место, и на Национальном чемпионате США, где разделил 2–6-е места (впрочем, оказавшись на 6-м месте по дополнительным показателям) с тремя гроссмейстерами и программой Гила Доджена.
Всё выглядело так, как будто с 1990 по 1992 г. прогресс в силе игры программы не был существенным. Конечно, противники Chinook были экстраординарными. В одной из партий товарищеского матча с Тинсли чемпион так прокомментировал десятый ход программы: «Вы пожалеете об этом!» [You’re going to regret that!] Программа смогла увидеть поражение лишь на 33-м ходу, анализируя позицию на 19 полуходов вперёд. Вряд ли Тинсли на десятом ходу рассчитал победный вариант на глубину в 65 полуходов, однако понимание тонкостей позиции позволяло ему видеть победу задолго до материализации преимущества.
При этом технически с 1990 г. Chinook проделал долгий путь в своём развитии. Программа получила возможность осуществлять параллельный перебор на многопроцессорных компьютерах. Для матча с Тинсли компания-спонсор Silicon Graphics предоставила восьмипроцессорную машину SGI 4D/480. К началу матча с Тинсли Chinook обладал полным набором семишашечных таблиц окончаний и 43% восьмишашечных. Было внесено множество доработок в оценочную функцию [597] .
Но быстрое развитие порождает болезни роста. Недостаточно проверенные новации зачастую опаснее, чем отсутствие новшеств. Отдельные моменты из воспоминаний Шеффера сегодня способны напугать программистов почище иного триллера. Как вам, например, внесение изменений в оценочную функцию программы прямо во время матча? Да ещё и добавление новых элементов оценки с весами, выбранными на глазок? А выводы, сделанные на основе всего лишь сотни партий между двумя версиями программы, да ещё и завершившихся с разрывом
597
Schaeffer J. (2008). One Jump Ahead: Computer Perfection at Checkers. Springer US // https://books.google.ru/books?id=IVumOsLLqgAC
Был и другой фактор, действие которого нельзя недооценивать: не только Chinook изменился за эти два года, но и люди. Если в 1990 г. многие сильнейшие игроки недооценивали программу, играли против неё слишком беспечно, не понимали её специфических слабостей, то теперь против Chinook играли уже всерьёз: партии программы обсуждались и анализировались, производилась интенсивная дебютная подготовка.
Но вернёмся к противостоянию с чемпионом мира.
Итак, матч с Тинсли начался. Четыре первые партии окончились вничью. Пятую Chinook проиграл — причиной стал ошибочный вариант в дебютной библиотеке. Он был позаимствован из книги «Основы игры в шашки» (Basic Checkers), и хотя на момент матча Тинсли с Chinook уже было известно, что соответствующая позиция оценивается неправильно, однако команда Шеффера об этом не знала.
Но в восьмой партии матча программе удалось впервые выиграть у Тинсли, тем самым доказав на практике, что такое возможно! В 14-й партии Chinook смог выиграть ещё раз и тем самым повести в счёте.
Однако с 18-й партии Chinook стали преследовать неприятности. Началось всё с ошибки охранника отеля, который вместо того, чтобы в конце дня выключить свет и включить кондиционер в комнате, где находилась машина, сделал всё ровным счётом наоборот — выключил кондиционер и включил свет. На следующий день в 18-й партии программа зависла, и команде Chinook пришлось признать поражение. Было ли это зависание результатом перегрева машины или виной были дефекты при программировании многопроцессорной версии? Это так и не удалось с точностью установить, хотя позже в программе обнаружили ряд ошибок, и как минимум одна из них теоретически могла привести к зависанию.
В 22-й партии проблема повторилась, и Шефферу пришлось перейти на более медленный запасной компьютер (сама партия закончилась вничью). Тинсли выиграл 25-ю партию (программе не хватило примерно двух минут для того, чтобы отказаться от ошибочного хода и выбрать правильный) и захватил лидерство в матче. Длинная серия ничьих продолжалась до 39-й партии. Чтобы сохранить лидерство, Тинсли нужно было не проиграть, и более осторожная игра позволяла ему увеличить шансы на победу в матче. После 28-й партии Шеффер и его команда вносили в программу изменения, стараясь обострить игру, однако это не принесло успеха. Chinook потерпел ещё одно поражение в 39-й партии, и тем самым матч завершился победой Тинсли — из 39 сыгранных партий Тинсли выиграл четыре, Chinook — две, а остальные 33 завершились вничью.
Несмотря на поражение, Шеффер не собирался сдаваться. И что было не менее важно — Тинсли тоже не считал борьбу завершённой и поддержал идею организации нового матча, который, однако, состоялся только в 1994 г. из-за организационных проблем.
До этого, в 1993 г., Chinook поучаствовал в двух матчах. Первый, против Дона Лафферти, вновь закончился поражением программы (три поражения, одна победа и 14 ничьих). Шеффер героически сражался с ошибками — казалось, они были повсюду: в новом коде для различения «лёгких» и «трудных» ничьих, в новых восьмишашечных таблицах окончаний, в дебютной библиотеке.
Второй матч 1993 г. был не менее трудным: Chinook должен был встретиться с программой Colossus Мартина Брайанта, которая нанесла ему поражение на Компьютерной олимпиаде 1990-го. Дело в том, что критики Chinook нередко указывали на то, что программа Шеффера, возможно, была не самой сильной шашечной программой. В конце концов, если Chinook уступил программе Colossus в 1990 г., быть может, именно Colossus должен был играть матч с Тинсли? Требовалось поскорее разрешить эти сомнения [598] .
598
Schaeffer J. (2008). One Jump Ahead: Computer Perfection at Checkers. Springer US // https://books.google.ru/books?id=IVumOsLLqgAC