Хабр Курсы для всех
РЕКЛАМА
Практикум, Хекслет, SkyPro, авторские курсы — собрали всех и попросили скидки. Осталось выбрать!
Хабр доступен 24/7 благодаря поддержке друзей
Комментарии 103
Математический склад ума часто шутит со своим обладателем подобным образом. Мы отметаем простые решения, во всем подозреваем подвох и упорно продолжаем искать черную кошку там, где ее нет. Я, например, часто начинаю что-то чинить, не убедившись, что оно действительно сломалось.
Вы описал все что угодно но не «математический склад ума». Мнимость, «поиск черной кошки где ее нет», усложнение, ожидание подвоха и т.п. не имеют ничего общего с математическим складом ума. Это скорее ближе к первобытным инстинктам, эмоциям или характеру, в общем всему тому что является чуть ли не противоположностью «математического склада ума» и образу мышления.
Математика всегда ищет логический, самый рациональный и простой способ решения, доказательства и так далее. Никаких самокопаний, страха «проиграть», поиска несуществующего там нет. Так что человек проиграл исключительно из-за ошибки связанной с человеческой природой а не каким-то особым складом ума.
Математика всегда ищет логический, самый рациональный и простой способ решения, доказательства и так далее. Никаких самокопаний, страха «проиграть», поиска несуществующего там нет. Так что человек проиграл исключительно из-за ошибки связанной с человеческой природой а не каким-то особым складом ума.
поиска несуществующего там нет.
Бойяи, Лобачевский и другие искали именно несуществующиее (по представлениям того времени). И таки нашли, существенно расширив эти самые представления.
Если бы голый формализм позволял делать открытия в области математики, мы бы уже давно математиков заменили программой по автоматическому выводу теорем. К счастью, доказано, что это сделать невозможно.
Теорем, очевидно, бесконечно много. Положим, мы начали искать доказательство некой теоремы A. И мы не знаем, точно ли существует её доказательство. В случае, если доказательства нет, поиск никогда не завершится. Проблема останова является неразрешимой проблемой. Т.е. автоматический вывод теоремы является алгоритмически неразрешимой задачей.
Даже если искать «или доказательство, или опровержение» у нас есть проблемы с тем, что существуют ещё и вообще недоказуемые теоремы и мы не можем быть уверены, что наша не будет относиться к ним.
Так что возможно, просто алгоритмически неразрешимо.
Даже если искать «или доказательство, или опровержение» у нас есть проблемы с тем, что существуют ещё и вообще недоказуемые теоремы и мы не можем быть уверены, что наша не будет относиться к ним.
Так что возможно, просто алгоритмически неразрешимо.
Проблема не в доказательстве теорем, а в создании новых направлений математики, наращивании ее новыми понятиями и объектами.
Человек прекрасно решает такие задачи — у него есть догадка, интуиция, использование совершенно неформальных аналогий и так далее. Причем часть мышления и вовсе происходит без осознания того, как же это так получилось. Все эти аберрации мышления очень полезны для создания нового.
Пока что материальных ресурсов на копирование человеческого сознания вместе со всеми аберрациями у нас нет.
Человек также не может решать алгоритмически неразрешимые задачи.
Человек прекрасно решает такие задачи — у него есть догадка, интуиция, использование совершенно неформальных аналогий и так далее. Причем часть мышления и вовсе происходит без осознания того, как же это так получилось. Все эти аберрации мышления очень полезны для создания нового.
Пока что материальных ресурсов на копирование человеческого сознания вместе со всеми аберрациями у нас нет.
у него есть догадка, интуиция, использование совершенно неформальных аналогий и так далее
Это все теоретически алгоритмизируется. Так как в любом случае сводится к вычислениям. Просто «догадка», «интуиция» и так далее — развитые эвристические механизмы для выделения одних направлений и отсеивания других. Вообще, человек за время своей эволюции выработал множество хаков для экономии вычислительных ресурсов. Правда, эти хаки нередко вызывают ошибки мышления.
С этим я не спорю, я спорю с тем, что использование голого формализима (логики первого порядка), лишенного всех этих аберраций и ошибок мышления, приводит к созданию малопродуктивных, нетворческих ИИ.
Так что или шашечки (голый формализм, холодный расчет), или ехать, со всеми аберрациями, ошибками мышления, поиском несуществующего, мнительностью и прочими костылями сознания.
Так что или шашечки (голый формализм, холодный расчет), или ехать, со всеми аберрациями, ошибками мышления, поиском несуществующего, мнительностью и прочими костылями сознания.
Коррекция:
Заменить на:
С этим я не спорю, я спорю с тем, что использования голого формализима (логики первого порядка), лишенного всех этих аберраций и ошибок мышления, достаточно для создания полноценного ИИ.
С этим я не спорю, я спорю с тем, что использование голого формализима (логики первого порядка), лишенного всех этих аберраций и ошибок мышления, приводит к созданию малопродуктивных, нетворческих ИИ.
Заменить на:
С этим я не спорю, я спорю с тем, что использования голого формализима (логики первого порядка), лишенного всех этих аберраций и ошибок мышления, достаточно для создания полноценного ИИ.
Непосредственно следует из уже ставшей популярной теоремы Геделя о неполноте — если мы загрузим в автовыводилку аксиомы арифметики, интегралы и пределы она нам не выведет — это дополнительные понятия, которые всего лишь не противоречат аксиомам.
Смотрите шире, понимая под формулами — теоремы. Теорема Геделя утверждает, что всегда можно добавить в любую аксиоматику еще одно понятие так, что противоречить уже имеющейся аксиоматике оно не будет.
Также теорема утверждает, что располагая лишь самой аксиоматикой такое пополнение сделать невозможно.
Об эту теорему споткнулся сам Гильберт, пытаясь организовать то, о чем вы сейчас утверждаете.
Точка в этом вопросе поставлена 92 года назад.
Также теорема утверждает, что располагая лишь самой аксиоматикой такое пополнение сделать невозможно.
Об эту теорему споткнулся сам Гильберт, пытаясь организовать то, о чем вы сейчас утверждаете.
К 1922 году у Гильберта сложился значительно более обширный план обоснования всей (или хотя бы значительного, общепринятого фрагмента) математики путём её полной формализации с последующим «метаматематическим» доказательством непротиворечивости формализованной математики. Для осуществления этой программы Гильберт разработал строгую логическую теорию доказательств, продолжая работы Фреге с помощью которой непротиворечивость математики свелась бы к доказательству непротиворечивости арифметики. При этом Гильберт использовал только общепризнанные логические средства (логику первого порядка). Его программа оказалась невыполнимой, как впоследствии установил К. Гёдель, хотя послужила значительным стимулом к развитию логики.
Точка в этом вопросе поставлена 92 года назад.
Мне кажется тут сыграло роль именно то что вы написали: "… может быть банальная случайность (или причина вообще может лежать в другой плоскости), о чем некоторые исследователи забывают..." — мне кажется именно эта забывчивость и стала причиной.
Забывают все, ведь нельзя сказать что забывчивость это черта именно людей с «математическим складом ума» и больше никого. Ну и строят теории заговора все: могут и математики, могут и физики, музыканты, менедженры, слесаря и дворники. Это как раз и есть общая черта, а не отличие. И я бы не говорил что это как-то относится к «математическому» или «гуманитарному» образу мышления.
Все что я хотел сказать: у банальной ошибки может быть миллион причин (в том числе и особый склад ума), хотя чаще всего это банальная «забывчивость», «невнимательность» или что-то еще. Но почему-то всегда приходит кто-то, вешает ярлык «склад ума Х» и объясняет этим все ошибки и вообще всю судьбу человека и всех его бед и удач. Ну не нужно так делать :)
Забывают все, ведь нельзя сказать что забывчивость это черта именно людей с «математическим складом ума» и больше никого. Ну и строят теории заговора все: могут и математики, могут и физики, музыканты, менедженры, слесаря и дворники. Это как раз и есть общая черта, а не отличие. И я бы не говорил что это как-то относится к «математическому» или «гуманитарному» образу мышления.
Все что я хотел сказать: у банальной ошибки может быть миллион причин (в том числе и особый склад ума), хотя чаще всего это банальная «забывчивость», «невнимательность» или что-то еще. Но почему-то всегда приходит кто-то, вешает ярлык «склад ума Х» и объясняет этим все ошибки и вообще всю судьбу человека и всех его бед и удач. Ну не нужно так делать :)
Я неверно выразился. Приводя пример, имел в виду программистов, а не математиков. Просто термин «программист» постеснялся применить к Каспарову. Как там у Купера? «Программисты пожертвуют простотой ради контроля. Обменяют успех на понимание. Они сосредотачиваются на исключительных ситуациях вместо того, чтобы сосредоточиться на типичных»
Попытка найти логическое обоснование каждому событию играет иногда с нами злые шутки.
Попытка найти логическое обоснование каждому событию играет иногда с нами злые шутки.
Это как на олимпиаде по физике дать задачку без звёздочки из старенького Рымкевича. Ух, сколько мы тогда нарешали!
Важно то что гроссмейстер проиграл, а не то, что ход, который заставил его нервничать был результатом ошибки.
То что программа может делать нерациональные ходы (по ошибке или по задумке программистов — неважно) только приближает её игру к человекоподобной. Попытки оспорить результат, основанные на мифических «манипуляциях с ПО машины», на мой взгляд, не более чем махание кулаками после драки.
То что программа может делать нерациональные ходы (по ошибке или по задумке программистов — неважно) только приближает её игру к человекоподобной. Попытки оспорить результат, основанные на мифических «манипуляциях с ПО машины», на мой взгляд, не более чем махание кулаками после драки.
Именно. Проиграл — имей мужество это признать.
только приближает её игру к человекоподобнойА мне кажется машина выигрывать как раз таки нечеловеческими способностями. А возможностью просчитать миллионы комбинаций за короткое время.
Да странно как-то вообще ссылаться на «манипуляции с ПО».
Если кто-то способен так манипулировать с ПО, что получается выигрышный вариант — ну, наймите этого манипулятора в разработчики! Получится «более умный вариант».
А ещё лучше — раз человек чётко представляет, что нужно «сманипулировать», чтоб запросто обыграть чемпиона мира — дык пусть вдвоём и сыграют! Может это и есть потенциальный чемпион?
Если кто-то способен так манипулировать с ПО, что получается выигрышный вариант — ну, наймите этого манипулятора в разработчики! Получится «более умный вариант».
А ещё лучше — раз человек чётко представляет, что нужно «сманипулировать», чтоб запросто обыграть чемпиона мира — дык пусть вдвоём и сыграют! Может это и есть потенциальный чемпион?
Такая ошибка машины лично для меня выглядела бы как чистой воды блеф. Конечно, шахматы — не моя игра, я больше по картам. И даже не столь важно, что этот блеф — результат программной ошибки. Важно, что он сработал ровно так, как полагается блефу.
Мы строим системы так, чтобы они работали предсказуемо, но в этом случае ошибка или случайное действие привели к решению задачи. Получилось что-то сродни человеческому «озарению», механика которого ещё толком не изучена. Есть над чем задуматься для разработчиков разного рода прикладных машинных разумов.
Мы строим системы так, чтобы они работали предсказуемо, но в этом случае ошибка или случайное действие привели к решению задачи. Получилось что-то сродни человеческому «озарению», механика которого ещё толком не изучена. Есть над чем задуматься для разработчиков разного рода прикладных машинных разумов.
Не думаю, что слово «блеф» применимо. Если в партии любой ход приведет к ухудшению положения, кроме такого бессмысленного, то сделать его вполне оправдано, пропускать ведь ход нельзя.
Ну и тот случай сейчас уже не столь важен в смысле развития техники, все равно люди проигрывают в шахматы компьютеру. Да, вопрос первенства становиться шатким в плане чистоты, но это уже детали, на сегодняшний день представляющие чисто академический интерес.
Ну и тот случай сейчас уже не столь важен в смысле развития техники, все равно люди проигрывают в шахматы компьютеру. Да, вопрос первенства становиться шатким в плане чистоты, но это уже детали, на сегодняшний день представляющие чисто академический интерес.
Технически, «блеф» заставил оппонента думать, что есть некий план, которого на самом деле нет. Что соответствует определению.
Но я имел в виду расширение применимости принципа с шахмат до других вариантов машинного разума. Речь о возможности создания «ошибочных» ходов, шагов и решений для того, чтобы расширить возможности системы. Там, где это допустимо, конечно. Что-то подобное уже обсуждалось на хабре, (ныне на GT: geektimes.ru/post/144144/), но в контексте процессорных ресурсов, а не искусственного разума.
Что если позволить экспертной системе иногда связывать понятия просто так, без всякой логики? Такие паразитные связи и выводы из них можно пометить и в случае необходимости удалить. С одной стороны, большинство выводов будут ошибочными. С другой, некоторые выводы могут стать прорывными. Но разве не так развивалась человеческая наука?
Но я имел в виду расширение применимости принципа с шахмат до других вариантов машинного разума. Речь о возможности создания «ошибочных» ходов, шагов и решений для того, чтобы расширить возможности системы. Там, где это допустимо, конечно. Что-то подобное уже обсуждалось на хабре, (ныне на GT: geektimes.ru/post/144144/), но в контексте процессорных ресурсов, а не искусственного разума.
Что если позволить экспертной системе иногда связывать понятия просто так, без всякой логики? Такие паразитные связи и выводы из них можно пометить и в случае необходимости удалить. С одной стороны, большинство выводов будут ошибочными. С другой, некоторые выводы могут стать прорывными. Но разве не так развивалась человеческая наука?
Шахматы — это не та игра, где блеф имеет практический смысл. Если ты сильнее противника, то обыграешь его и обычным образом. Если слабее — то противник просто воспользуется твоим неидеальным ходом. И я сильно сомневаюсь, что ошибка программы могла увеличить её шансы на победу (т. е. ошибка Каспарова была случайностью).
И мне кажется, что Гай Ритчи любил шахматы исключительно с эстетической точки зрения: серьёзные дяди сидят с умным видом и двигают изящные фигурки (намекаю на фильм «Револьвер»).
И мне кажется, что Гай Ритчи любил шахматы исключительно с эстетической точки зрения: серьёзные дяди сидят с умным видом и двигают изящные фигурки (намекаю на фильм «Револьвер»).
Блеф применяется сознательно. Как уловка, чтобы сбить с толку или заманить в ловушку. В случае с той партией, ничего подобного не было. Это был просто ход наобум.
Это они спустя 17 лет логи просмотрели, что ли? Ладно Каспарову в голову не залезешь, но мотивы выбора компьюетрного хода должны бы вроде как быть известными относительно немедленно, как и какой именно сбой произошел. Отдельно доставляет термин «безопасный ход» в шахматах :). Любой ход что-то приносит, как минимум, потерю темпа, если ничего больше.
В данном случае он принёс выигрыш. Правильный был ход, я считаю, полезный (на счёт безопасности не скажу).
Каспарову и незачем в голову лезть. Он подробно объяснял, почему проиграл (и это упоминается) — он настроился играть с машиной, которая делает только «выигрышные ходы». И вся его стратегия была заточена под раннее распознавание схемы, которую компьютер ДОЛЖЕН посчитать выигрышной.
И не сказать, что он сбился. Просто «не осмысленный ход» оппонента принудил его искать и придумывать то, чего ещё не было.
Так бывает. Компьютер перед боем начитался Сунь Цзы :)
И не сказать, что он сбился. Просто «не осмысленный ход» оппонента принудил его искать и придумывать то, чего ещё не было.
Так бывает. Компьютер перед боем начитался Сунь Цзы :)
Это они спустя 17 лет логи просмотрели, что ли?
Хороший вопрос.
Спустя 17 лет ситуация прояснилась
— где прояснилась, кем прояснилась?
Это marks 17 лет спустя узнал, а факт в общем-то довольно известный. Даже я, далекий от шахмат, откуда-то знаю о нём как минимум пару лет.
Что-то я не понял о какой ошибке речь? Якобы возник сбой и компьютер выполнил безопасный ход? Простите, но это слабо похоже на сбой. Ошибочная ситуация перехвачена и корректно обработана. Это часть алгоритма. Можно ли назвать предусмотренную ситуацию сбоем? Чистая подмена понятий.
Полагаю, правильнее сказать, что возник exception и его обработали. Перевести это как сбой на русский можно, а вот как ошибку уже не в любой ситуации.
Да мало-ли… Потерялся пакет, который шел в ответ из кластера и головная программа выдала экшепшн. Наводка, которую создала баба Галя включив микроволновку. Вспышка на солнце. Да все что угодно могло произойти…
Он считал-считал отведенное на ход время, внезапно обнаружилась ошибка, какая угодно, ECC не сошлось, исключение вылетело. Времени считать заново ход нет, сделал безопасный ход-заглушку. Может быть, так.
Хмм… Машина не побеждает человека в Starcraft? Но ведь у компьютера неограниченные возможности по микроконтролю, один Marine может убить Zealot в таком раскладе. То есть макроконтроль настолько решает?
Только если у Зилота нет «Рывка». Принятие решений на основе разведки, пожалуй, ключевой аспект игры, а компьютер пока что не может проанализировать имеющиеся у противника здания и войска и отреагировать соответствующим образом. Не буду говорить что это невозможно, но подобные алгоритмы никто не писал насколько я знаю. Имеющийся в игре ИИ действует по нескольким заранее предопределенным стратегиям, только исполняет их от «очень хорошо», до «практически идеально», в зависимости от уровня сложности поэтому победить его относительно несложно, если человек обладает должным уровнем навыка, АПМ в т.ч.
По-моему никто не писал алгоритмы (а писать их ой как дорого), потому что никто не будет платить за игру, в которой выйграть не возможно.
Терры вообще с SCV могут выносить Тосса, если постоянно делать ротацию тех, что под ударом и тех что ремонтируют.
Терры вообще с SCV могут выносить Тосса, если постоянно делать ротацию тех, что под ударом и тех что ремонтируют.
Именно так. Для большинства игр нет проблем сделать непобедимый ИИ.
Но задача разработчика не в том, чтобы сделать непобедимый ИИ. Задача в том, чтобы сделать ИИ, который будет достаточно интересно играть. В идеале ИИ должен быть адаптивным, чтобы достаточно долго представлять интерес для игрока.
Старкрафту конечно же не место на картинке. И не потому, что логика игры какая-то особенная, а потому что никто и не пытаеться сделать ИИ способного победить человека.
Конечно ИИ старика все еще не способен победить топовых игроков… ведь он не развивается с момента создания.
Но задача разработчика не в том, чтобы сделать непобедимый ИИ. Задача в том, чтобы сделать ИИ, который будет достаточно интересно играть. В идеале ИИ должен быть адаптивным, чтобы достаточно долго представлять интерес для игрока.
Старкрафту конечно же не место на картинке. И не потому, что логика игры какая-то особенная, а потому что никто и не пытаеться сделать ИИ способного победить человека.
Конечно ИИ старика все еще не способен победить топовых игроков… ведь он не развивается с момента создания.
В идеале ИИ должен быть адаптивным, чтобы достаточно долго представлять интерес для игрока.Сейчас примерно так и есть, в игре есть вариант игры против ИИ где его сложность растет в зависимости от того как сыграны предыдущие матчи против ИИ. Для человека, который только начал играть, этот режим может представлять интерес достаточно долго.
Конечно ИИ старика все еще не способен победить топовых игроков… ведь он не развивается с момента создания.Не знаю есть ли изменения в коде/логике ИИ, хотя похоже что добавлены несколько стратегий развития для ИИ, но для игрока изменения есть, теперь можно более детально настраивать как будет играть ИИ, будет ли это максимально ранняя атака, тайминговая атака и какой-то иной вариант. Раньше возможности такой настройки не было.
Здрасте, не развивается. Ежегодных соревнований искусственного интеллекта в Starcraft Brood War — мало? Кучи кастомных скриптов AI для всех версий Старкрафта — мало?
SCV, к сожалению, не могут так быстро ремонтировать, чтобы противостоять тоссу. Даже толпа зилотов убъёт толпу постоянно ремонтируемых SCV, не говоря уже о колоссах, имморталах, ну и, тем более темпларах.
SCV раш и толпа зилов — как то странно звучит, правда?
Если ты рашишь SCV, то к моменту твоего прихода на мою базу у меня будет в два раза больше рабов. Никакое идеальное микро тебе не поможет выиграть это сражение. Учти ещё, что деньги на починку SCV у тебя очень быстро кончатся. Ну и моё микро никто не отменял. В общем страта рабочая, но только против другого компа.
Мне тоже кажется, что с совершенным микро до макро дело не дойдёт…
Больше всего решают тайминги.
Для этого нужна огромная база игр и последующий их анализ.
Необходимо просчитать все возможные варианты развития противника и выяснить точку, в которой он объективно слаб.
Это если говорить про мидгейм, в макроигре контроль + правильный набор войск, дефболы, вот это всё.
Проблема в том что состояние игры недетермирвано (точнее детерминировано, но с большим числом свободных переменных).
Я как-то писал ИИ для одной похожей игры, но там умнее минимакса ничего не придумал, но пришлось писать очень сложную оценочную функцию (модуль ~25к строк), для стархрафта это будет намного сложнее.
Для этого нужна огромная база игр и последующий их анализ.
Необходимо просчитать все возможные варианты развития противника и выяснить точку, в которой он объективно слаб.
Это если говорить про мидгейм, в макроигре контроль + правильный набор войск, дефболы, вот это всё.
Проблема в том что состояние игры недетермирвано (точнее детерминировано, но с большим числом свободных переменных).
Я как-то писал ИИ для одной похожей игры, но там умнее минимакса ничего не придумал, но пришлось писать очень сложную оценочную функцию (модуль ~25к строк), для стархрафта это будет намного сложнее.
Машина не побеждает человека в Starcraft?
У человека слишком велика свобода действий. Сложно предусмотреть все хитрые стратегии, которые может придумать человек.
К первому Старкрафту есть API, проводятся соревнования AI. Мне, например, понравился AI, который устраивал жуткое микро с муталисками. Его натренировали искать дырки в обороне, пролезать, атаковать, а при приближении опасных юнитов быстро линять, аккуратно отмеряя время атаки. Если человек будет играть против такого AI, то компьютер и хорошего игрока может заставить попотеть, но это только при первой игре. В следующей партии человек просто воспользуется слабыми местами AI (если не опустится для классического «сыра»).
Во втором Старкрафте прямо из коробки идут хорошие не читерящие AI (честно исследуют карту, честно добывают ресурсы). Они отлично играют, и бешеный APM позволяет им находиться сразу по всей карте. Есть несколько версий AI: один рано атакует, другой захватывает всю карту и т.п. (точнее, карту захватывают все, если позволить, тут вопрос приоритета). Возможностью бешеного микро при запредельном APM изкоробочные AI не пользуются. :)
Скажем так, с новичками и середнячком современный старкрафтовый AI вполне нормально играет, если игроки не чизят его по-чёрному (например, не ставят оборонные здания посреди минералов на базе противника в начале партии — первые версии AI этим способом легко ломались, на данный момент почти починили). Разнообразие приоритетов плюс возможность подстраиваться под тактику игрока дают вполне вменяемые партии.
А «сыр» это что?
Cheese — нестандартная стратегия, обычно ва-банк, рассчитанная на то, что оппонент офигеет от происходящего и не сможет адекватно отреагировать. AI обычно не ожидает нестандартных стратегий, поэтому для быстрой победы над AI — самое то. Когда вышел Старкрафт 2, самой простой тактикой уничтожения AI любой сложности было поставить зерговские оборонные здания в правильные точки среди вражеских минералов — компьютеру сносило мозг, и он не мог ни атаковать, ни добывать ресурсы. Ну и окружение противника протоссовскими фотонными пушками в пять слоёв, всё такое. А вот с зерглинг рашем AI эффективно справляется.
Хмм… Машина не побеждает человека в Starcraft?По одной простой причине — машину всерьез никто не научил побеждать, а обучаться она не умеет.
>> Хмм… Машина не побеждает человека в Starcraft?
Если бы для создания AI Starcraft-а выделяли такие же бюджеты, как на шахматные движки, непобедимого компа уже бы давно создали. Задача сложной не кажется. Все билды на проф уровне формализованы и расписаны по секундам, а значит хорошо описываются алгоритмами.
Если бы для создания AI Starcraft-а выделяли такие же бюджеты, как на шахматные движки, непобедимого компа уже бы давно создали. Задача сложной не кажется. Все билды на проф уровне формализованы и расписаны по секундам, а значит хорошо описываются алгоритмами.
Как шахматист заинтересовался Вашей статьёй и решил найти искомую партию.
В матче 1997 года Deep Blue выиграл у Каспарова 2 партии (и проиграл одну). Знаменитый разгром за 19 ходов в результате шаблонной дебютной жертвы коня на поле e6 в защите Каро-Канн случился в последней встрече. Явно не про эту партию речь. Может имеется ввиду вторая партия, которую компьютер выиграл на 45 ходу?
Deep Blue — Каспаров, 1997, 2-я партия матча
В последней партии матча своим 45-м ходом машина неожиданно для всех походила ладьёй с a8 на a6. После размена ферзей белую пешку можно остановить только ценой чёрного слона. Каспаров поверил компьютеру на слово и сдался. Между тем, врываясь ферзём в стан белых 45.… Фе3! относительно несложно достигалась ничья — белому королю не уйти от вечного шаха.
Другой стрёмный ход ладьёй у компьютера (и это как раз было 44.… Лd5-d1) был сделан в предыдущей, 1-й партии, которую Каспаров выиграл.
Каспаров — Deep Blue, 1997, 1-я партия матча
Чёрные только что переместили ладью с 5-й горизонтали на 1-ю. Последовало логичное 45. g6-g7 и команда IBM тут же признала поражение — лавину белых пешек не остановить. Первый бой Каспаров выиграл, но войну в тот момент проиграл. Именно этот ход ладьёй сбил его с толку и он перестал понимать логику компьютера. Следующую партию обескураженный чемпион мира сдаёт, купившись на другой глупый ладейный ход, а в последней встрече матча вообще проигрывает так, как никому никогда не проигрывал.
В матче 1997 года Deep Blue выиграл у Каспарова 2 партии (и проиграл одну). Знаменитый разгром за 19 ходов в результате шаблонной дебютной жертвы коня на поле e6 в защите Каро-Канн случился в последней встрече. Явно не про эту партию речь. Может имеется ввиду вторая партия, которую компьютер выиграл на 45 ходу?
Deep Blue — Каспаров, 1997, 2-я партия матча
В последней партии матча своим 45-м ходом машина неожиданно для всех походила ладьёй с a8 на a6. После размена ферзей белую пешку можно остановить только ценой чёрного слона. Каспаров поверил компьютеру на слово и сдался. Между тем, врываясь ферзём в стан белых 45.… Фе3! относительно несложно достигалась ничья — белому королю не уйти от вечного шаха.
Другой стрёмный ход ладьёй у компьютера (и это как раз было 44.… Лd5-d1) был сделан в предыдущей, 1-й партии, которую Каспаров выиграл.
Каспаров — Deep Blue, 1997, 1-я партия матча
Чёрные только что переместили ладью с 5-й горизонтали на 1-ю. Последовало логичное 45. g6-g7 и команда IBM тут же признала поражение — лавину белых пешек не остановить. Первый бой Каспаров выиграл, но войну в тот момент проиграл. Именно этот ход ладьёй сбил его с толку и он перестал понимать логику компьютера. Следующую партию обескураженный чемпион мира сдаёт, купившись на другой глупый ладейный ход, а в последней встрече матча вообще проигрывает так, как никому никогда не проигрывал.
Спасибо большое за анализ, подкорректировал статью, сославшись на ваш комментарий.
Т.е. можно просто сказать что гроссмейстер эпично протабанил? Странное, какое-то не гроссмейстерское, поведение…
Ничего странного. Все до единого чемпионы делали в матчах на первенство мира глупейшие промахи. И как ни странно именно потому, что они сильнейшие на планете. Стремясь максимально просчитать противника, вникнуть в самую суть мышления соперника, они иногда копали настолько глубоко, что приходили к фундаментально неверным выводам (при этом испытывая высочайшее нервное напряжение) и на ровном месте делали грубейшие зевки, которые бы и перворазрядник не допустил бы.
В данном ходе Каспаров искал у компьютера исключительно тонкую логику, а между тем никакой особой логики и не было и ход был всего лишь следствием бага. В результате первой партии Каспаров пришёл к ложной уверенности, что компьютер играет исключительно хитроумно. Так и не поняв, что хотел сказать Deep Blue ходом 44.… Лd5-d1 в первой партии, Каспаров решил что и ход 45. Ла8-а6 во второй партии несёт глубочайший сакральный смысл (причём и этот ход был следствием неверного алгоритма в оценке позиции компьютером). Переиграв компьютер как гроссмейстер, Гарри, так сложились звёзды, вчистую проиграл компьютеру психологически :))) Если точнее — психологически он проиграл сам себе.
В данном ходе Каспаров искал у компьютера исключительно тонкую логику, а между тем никакой особой логики и не было и ход был всего лишь следствием бага. В результате первой партии Каспаров пришёл к ложной уверенности, что компьютер играет исключительно хитроумно. Так и не поняв, что хотел сказать Deep Blue ходом 44.… Лd5-d1 в первой партии, Каспаров решил что и ход 45. Ла8-а6 во второй партии несёт глубочайший сакральный смысл (причём и этот ход был следствием неверного алгоритма в оценке позиции компьютером). Переиграв компьютер как гроссмейстер, Гарри, так сложились звёзды, вчистую проиграл компьютеру психологически :))) Если точнее — психологически он проиграл сам себе.
Ему явно заплатили, чтобы он проиграл. И по лицу чётко видно, что у него перед глазами стоит кадр из присланного похитителями ролика со связанными женой и дочерью.
куда мотать?
7:40 — Фh1
Следующую партию обескураженный чемпион мира сдаёт, купившись на другой глупый ладейный ход, а в последней встрече матча вообще проигрывает так, как никому никогда не проигрывал.
По следующей (второй) партии есть и другие вопросы — как известно, решающий ход в той партии, сделанный машиной, ею же оценивался, как неясный — что породило обвинения со стороны Каспарова в помощи команде Deep Blue от живых гроссмейстеров. Да и зевок машины на 45-м ходу второй партии также был им приписан «белковой» помощи, и собственно, Каспаров эти машинные ошибки и считал доказательством постороннего вмешательства.
А последнюю партию, как по мне, необходимо просто занести в разряд банальных ошибок, случающихся у всех — все же, не думаю, что Каспаров совершил ту элементарную ошибку, будучи обескураженным от непонятной ему компьютерной логики.
Позволю себе не согласиться с тем, что
45… Фe3
46 Фd7+ Крg8
47 Ф:d6
И белые угрожают следующим ходом взять ладью с шахом.
Или, если черные закрываются слоном:
46… Сe7
47 d6
Белые грозят 48 Фe6+ с матом через 6 ходов максимум.
В обоих случаях черным не хватает времени, чтобы взять белого слона, а без этого не получится вечного шаха:
47… Фf4+
47 Крg1 Фc1+
48 Крh2 Фf4+
49 g3 Фd2+
50 Сg2
И черные больше шаховать не могут.
Если же черные все же берут слона, то в первом варианте белые берут ладью с шахом после чего занимают ферзем диагональ a7-g1, препятствуя вечному шаху, и, имея лишнюю ладью, достаточно легко выигрывают.
Во втором варианте, если черные берут слона, белые, как уже писал выше, неизбежно дают мат.
Поэтому Каспаров в этой партии сдался не зря.
врываясь ферзём в стан белых 45.… Фе3! относительно несложно достигалась ничья — белому королю не уйти от вечного шаха.
45… Фe3
46 Фd7+ Крg8
47 Ф:d6
И белые угрожают следующим ходом взять ладью с шахом.
Или, если черные закрываются слоном:
46… Сe7
47 d6
Белые грозят 48 Фe6+ с матом через 6 ходов максимум.
В обоих случаях черным не хватает времени, чтобы взять белого слона, а без этого не получится вечного шаха:
47… Фf4+
47 Крg1 Фc1+
48 Крh2 Фf4+
49 g3 Фd2+
50 Сg2
И черные больше шаховать не могут.
Если же черные все же берут слона, то в первом варианте белые берут ладью с шахом после чего занимают ферзем диагональ a7-g1, препятствуя вечному шаху, и, имея лишнюю ладью, достаточно легко выигрывают.
Во втором варианте, если черные берут слона, белые, как уже писал выше, неизбежно дают мат.
Поэтому Каспаров в этой партии сдался не зря.
Я бы подискутировал, но сами понимаете, какое «дерево вариантов» разрастётся в «ветке комментариев». Честно говоря, неохота этим заниматься. Позиция эта исследована вдоль и поперёк и эксперты пришли к однозначному выводу.
В целом, у белых слабы все чёрные поля в их лагере, по ним и происходит вечное нападение чёрным ферзём на белого монарха. В одном из вариантов белые ходят пешкой h3-h4 (для того чтобы спрятаться королём на h3, прикрыть его от шахов пешкой g2-g3 и слоном Ce4-g2). На это чёрные отвечают h6-h5 и у чёрного ферзя помимо чернопольных клеток появляется ещё и белое поле, откуда он может согнать короля с бункера на h3 — поле g4. Как-то так… Как я уже сказал, мне дискутировать на эту тему лень.
В целом, у белых слабы все чёрные поля в их лагере, по ним и происходит вечное нападение чёрным ферзём на белого монарха. В одном из вариантов белые ходят пешкой h3-h4 (для того чтобы спрятаться королём на h3, прикрыть его от шахов пешкой g2-g3 и слоном Ce4-g2). На это чёрные отвечают h6-h5 и у чёрного ферзя помимо чернопольных клеток появляется ещё и белое поле, откуда он может согнать короля с бункера на h3 — поле g4. Как-то так… Как я уже сказал, мне дискутировать на эту тему лень.
А может сбой произошел от того, что это была например 200 000 001 комбинация расчета дальнейшей игры? А компьютер был запрограммирован на обязательный ход менее чем за секунду(ну чтобы не выглядеть слабым) И он просто не успел все рассчитать?
Задам вопрос не очень по теме. Если DeepBlue в 95 году на соответствующем железе оценивал 200 млн комбинаций в секунду, то какая примерно производительность у него будет при перекомпиляции под какой-нибудь i7? Хоть ориентировочно
Неравноценное сравнение. DeepBlue использовал специализированные шахматные процессоры, которые, работая на 25МГц, в разы обгоняли ширпотребные процессоры, работавшие на сотнях мегагерц.
То есть это как сравнивать i7 с майнинговой фермой, сработанной на заказных чипах, способных только перебирать хэши.
Потому и меряют его производительность не в традиционных флопсах, а в позициях в секунду.
То есть это как сравнивать i7 с майнинговой фермой, сработанной на заказных чипах, способных только перебирать хэши.
Потому и меряют его производительность не в традиционных флопсах, а в позициях в секунду.
Современные шахматные программы на Core2Duo анализируют порядка 5 миллонов комбинаций в секунду. На последних десктопных восьмиядерниках полагаю все равно меньше сотни миллионов в секунду будет. Но с другой стороны современные программы делают более глубокий анализ и эти <100 миллионов комбинаций на практике сильно переигрывают 200 миллионов от Deep Blue.
Спасибо, что-то такое я предполагал. Еще бы взглянуть на ассемблер этих процессоров. Кстати, VLSI это всего-навсего «сверхвысокая степень интеграции»
Но есть ещё и VLSI Technology.
Позанудничаю немного:
В таблице «Difficulty of various games for computers» на мой взгляд последняя категория, та где компьютер может никогда не переиграть человека, вообще некорректна.
Snakes and Ladders основана целиком на вероятности. В эту игру попросту нельзя играть лучше или хуже.
Seven minutes in heaven вообще не предполагает концепции выйгрыша или пройгрыша.
Calvinball не имеет четких правил и предполагает физическую активность. Это как играть в футбол с роботом, только ему еще и новые правила нужно объяснять каждый раз перед игрой.
Про МАО ничего не знаю к сожалению.
В таблице «Difficulty of various games for computers» на мой взгляд последняя категория, та где компьютер может никогда не переиграть человека, вообще некорректна.
Snakes and Ladders основана целиком на вероятности. В эту игру попросту нельзя играть лучше или хуже.
Seven minutes in heaven вообще не предполагает концепции выйгрыша или пройгрыша.
Calvinball не имеет четких правил и предполагает физическую активность. Это как играть в футбол с роботом, только ему еще и новые правила нужно объяснять каждый раз перед игрой.
Про МАО ничего не знаю к сожалению.
На третьем ходу выяснилось, что гроссмейстер играет восемнадцать испанских партий. В остальных двенадцати черные применили хотя и устаревшую, но довольно верную защиту Филидора. Если б Остап узнал, что он играет такие мудреные партии и сталкивается с такой испытанной защитой, он крайне бы удивился. Дело в том, что великий комбинатор играл в шахматы второй раз в жизни.
Сперва любители, и первый среди них — одноглазый, пришли в ужас. Коварство гроссмейстера было несомненно.
С необычайной легкостью и безусловно ехидничая в душе над отсталыми любителями города Васюки, гроссмейстер жертвовал пешки, тяжелые и легкие фигуры направо и налево. Обхаянному на лекции брюнету он пожертвовал даже ферзя. Брюнет пришел в ужас и хотел было немедленно сдаться, но только страшным усилием воли заставил себя продолжать игру.
Искусственный интеллект под видом сбоя? :)
И уже в 1997 все партии были выиграны машиной.
Это как? Вроде бы как Каспаров — Deep Blue +1-2=3, то есть ну никак не «все партии».
Еще со времен института отложилось, что возможен подобный баг в голове:
Ситуация на экзамене. Преподаватель задает дополнительный вопрос. Вроде бы простой. Начинаешь сомневаться, в том что он без подвоха. И не верится, что препод на вытягивает на оценку выше. Думаешь: «Чертпобери! Валит *ука!». А на самом деле оказывается, что это и был простой вопрос. И уходишь с экзамена в оценкой на бал(два) ниже.
не баг, а фича
Пытаюсь понять нововведения хабра: разве это не должно быть в гиктаймс не?
Они научили машину блефовать.
В момент «безопасного хода», надо чтобы на мониторе загорался «покер фэйс».
В момент «безопасного хода», надо чтобы на мониторе загорался «покер фэйс».
Помню партии Крамника против Deep Fritz. Оказывается, по-правилам экземпляр программы предоставлялся гроссмейстеру за полгода для изучения. Поторчав с программой, Крамник находит выигрышную комбинацию, практически всегда с проходными пешками — компьютер их плохо видит, и демонстрирует потом решение на чемпионате. Достаточно всего одной-двух выигрышных партий, остальные сливаются в ничью.
Более того, все программы снабжены базами финалов, до 6-й или 7-й фигуры. Во всех подобных чемпионатах, игра заканчивается, если партия входит в финал, и компьютер показывает результат. Однако результат верен, если человек не ошибется в финале, что даже для гроссмейстеров далеко не всегда верно.
Более того, все программы снабжены базами финалов, до 6-й или 7-й фигуры. Во всех подобных чемпионатах, игра заканчивается, если партия входит в финал, и компьютер показывает результат. Однако результат верен, если человек не ошибется в финале, что даже для гроссмейстеров далеко не всегда верно.
Нет. «Эндшпильные таблицы Налимова» и гроссмейстеры прекрасно знают. Конечно не все алгоритмы, а просто позиции — выигрышная, ничейная или проигрышная. Ведь подавляющее большинство партий не играется до самого мата — а просто до понимания проигрышности позиции. Ну и лажануть в эндшпиле для гроссмейстера… Неужто он не сможет убежать королём от коня? Или понять что против ладьи не попрёшь (утрировано). Суть серьёзной игры в шахматы по большей части строится на выходе из дебюта в миттельшпиль (сами дебюты хорошо известны, но вот их развитие...) — дальше уже по большей части на игра идёт на автомате.
Забавно, если бы этот ход не помог компьютеру — читали бы мы сейчас статью: «Deep Blue проиграл Гарри Каспарову из-за компьютерного сбоя»: о)
Спасибо. Видимо, проверки с браузеров, где не авторизован, недостаточно.
Альтернативная ссылка
Альтернативная ссылка
А я вот помню, что этот второй матч, ака матч-реванш, был совсем отличен от первого. Во-первых, компьютер обслуживался коммандой… в общем кучей людей, во-вторых, компьютеру давалось неограниченное время на обдумывание хода, в отличие от гроссмейстера. Там были еще какие-то, видимо менее запоминающиеся вещи, но факт того, что человек проиграл не совсем машине, я помню.
Пардон, но в статье слишком много, скажем так, неточностей. Во-первых, причины поражения Каспарова не могут быть объяснены компьютерным сбоем, это слишком примитивно. Тогда Каспаров высказал сомнение, что отдельные ходы могли быть сделаны машиной, а не человеком. Особенно это касалось дебютной жертвы фигуры в последней партии, и тут его понять можно, потому что в 1997 году даже суперкомпьютеры очень неохотно жертвовали материал за неочевидную (для них тогда) компенсацию. А говорить, что Каспаров проиграл из-за бага, или потому что перестал понимать логику компьютера — это смешно. Помимо всего прочего, Дип Блю играл уже вполне неплохо).
Что означает фраза «И уже в 1997 все партии были выиграны машиной» — ? Финальный счёт был 3,5-2,5 в пользу Дип Блю.
Что означает фраза «И уже в 1997 все партии были выиграны машиной» — ? Финальный счёт был 3,5-2,5 в пользу Дип Блю.
Зарегистрируйтесь на Хабре, чтобы оставить комментарий
Гарри Каспаров проиграл суперкомпьютеру Deep Blue в шахматы из-за компьютерного сбоя