fromPIONEERs_to_LG.HTM
Хронология модели     ▲ Выше     Тесты для шахматной LG-системы

От ПИОНЕРа к Лингвистической Геометрии

                    "… Когда великий Глюк
явился и открыл нам новы тайны
(глубокие, пленительные тайны !),
не бросил ли я всё, что прежде знал,
что так любил, чему так жарко верил,
и не пошёл ли бодро вслед за ним
безропотно, как тот, кто заблуждался
и встречным послан в сторону иную."
Александр Пушкин
"Моцарт и Сальери", 1830.

Проект ПИОНЕР закончился в конце 80-х годов одновременно с выходом последней научной книги Ботвинника (1989) о программировании шахмат, которую отделяло от предыдущей (1979) целых десять лет. Подводя итог этим исследованиям, Штильман (2000) пишет:

   "Проект ПИОНЕР закончился разработкой одной из самых интересных и мощных эвристических моделей, основанной на эвристических сетях. Применение разработанной модели к шахматной игре было полностью реализовано в виде программы ПИОНЕР 1.x… Аналогичная эвристическая модель была также реализована для долгосрочного календарного планирования в виде набора программ ПИОНЕР 2.x, 3.x, 4.x. Они использовались для составления графика ремонтов электроагрегатов, для сглаживания графика потребления мощности и для планирования народного хозяйства в прежнем СССР… Эти модели… были представлены в форме идей, правдоподобных рассуждений и работающих программ."

Время ускоряло бег. На смену большим ЭВМ пришли персональные компьютеры, постепенно ставшие доступными широкой публике. В 1997 году компьютерная система Deep Blue фирмы IBM выиграла матч у чемпиона мира Гарри Каспарова (Е.Мансуров, 2004, ч.9,10). С точки зрения сторонников 1-го подхода («брут форс») шахматы перестали быть "дрозофилой" ИИ (Донской, "Каисса"; Донской и Битман, 2002).

Однако, это было совсем не то, к чему стремился Ботвинник. О роли шахмат в ИИ Штильман (2000) пишет так:

   "Когда работа над этой книгой была почти закончена, я узнал о следующем заявлении профессора Джона Маккарти (John McCarthy) из Стэнфордского Университета. В своих комментариях о решении шахматного этюда Рети компьютерами он писал: Обратите внимание, что идея Рети может быть реализована на доске размером 100x100, и люди всё ещё смогут решать эту задачу, но современные программы [традиционные, т.е. работающие по методу «брут форс» — Б.Ш.] уже не смогут... Шахматы по-прежнему будут служить дрозофилой для ИИ, если исследователи попробуют создать программу, которая сможет решать задачи на доске произвольного размера. Однако, ИИ не будет продвигаться к человеческому уровню, если исследователи ИИ удовлетворятся методом «брут форс» как заменой интеллекта... Будет ли кто-нибудь серьёзно утверждать, что компьютер не сможет решить этюд Рети методом, отличным от «брут форс»? (Маккарти,1998). Конечно, LG была разработана независимо и за длительный период времени. Однако, удивительно, что исследования по LG вдохновлялись аналогичными идеями."

С другой стороны, становление Лингвистической Геометрии в 90-х годах, как самостоятельной математической дисциплины, снимает с шахмат "ореол" исключительности — быть единственной "дрозофилой" ИИ, (Stilman, 2000). К тому же, длительный опыт программирования показал, что шахматная игра неудобна для математического моделирования из-за большой ничейной зоны (Битман), т.е. область экстремума (победы) не допускает постепенного приближения (по градиенту) (Штильман), или иначе область экстремума — не холм, а похожа скорее на дельта-функцию, т.к. зачастую только одна ветвь LG-дерева ведёт к победе, а остальные — к ничьей или к поражению, (Stilman, 2000).

Сегодня интересны приложения LG к робототехнике (Алферов Г.В., 1998), к системам реального времени (реакция LG-систем практически мгновенна, потому что они не перебирают всё подряд), к созданию беспилотных транспортных средств, а так же к тем наукоёмким областям, где имеется сложный перебор, возможно, что это — генетика, фармацевтика, информатика и пр. (Stilman, 2000).

Неудача Ботвинника (в создании играющей шахматной программы), который упорно искал алгоритм выбора лучшего хода в любой позиции (такого хода, какой сделают люди-гроссмейстеры), привела к пониманию неимоверной сложность такой постановки задачи, т.е. задачи построения человеческого дерева перебора для любой шахматной позиции (Линдер В. и Линдер И., 2001 ). Этого не хотят понимать сторонники подхода «брут форс» (Донской, "Крупные фигуры"; Мансуров, 2004). Проект ПИОНЕР (как LG-подход к шахматам) показал, что обучение прототипа шахматной LG-системы умению разыгрывать некоторые шахматные позиции (не говоря уже о любых) может быть очень сложным, и что такие исследования могут растянуться на годы. Так что шахматной программы по Ботвиннику пока нет.

Видимо сложность моделирования шахмат в проекте ПИОНЕР привела к такому высказыванию математика Штильмана: "Шахматы являются скорее скорлупой, которая закрывает ядро — LG-подход", отвлекая исследователей от успешного применения его в других прикладных областях, где нет таких, специфичных только для шахмат, особенностей, как блокада фигурой противника траектории атаки (т.е. не нужная жертва, лишь задерживающая на один ход продвижение стрелка к мишени, если она бессмысленна и не спасает ситуацию — то, что Ганс Берлинер назвал в своей диссертации 1974 года "эффектом горизонта", т.е. перенос неизбежной потери особо ценной мишени за горизонт, за предельную длину вариантов перебора (Лорьер, 1991)); взятие пешкой "на проходе"; рокировка и прочее. Конечно, для любителей шахматного программирования такое замечание может показаться неприятным и горьким, но так оно и есть.

Известно, что дорогостоящие научно-исследовательские проекты, как правило, рано или поздно заканчиваются ожидаемыми результатами, например Дип Блю (Deep Blue, IBM), победившая Каспарова. Заказчик какое-то время терпит отсутствие результата, соглашаясь с неизбежными трудностями, встающими перед исследователями, но потом требует результат во чтобы-то ни стало (любой ценой). Как следствие, в 80% проектов результаты "натянуты", т.е. не совсем достоверны, т.к. не все проблемы удалось решить. Лишь мизерная часть проектов приводит не к ожидаемым, а к неожиданным результатам (по принципу — новое знание только расширяет границы нашего незнания или, как говорили древние, "во многой мудрости много печали"). Может быть к таким проектам относится и ПИОНЕР в смысле "главной" цели — создание шахматной программы, которая строит дерево как человек-гроссмейстер. Хотя, как научный проект, ПИОНЕР выглядел вполне достойно и даже можно считать его успешным. Однако, тем неожидаемым результатом (с точки зрения Ботвинника) оказалась Лингвистическая Геометрия, которую правильнее (и проще для нас) связывать с именем Бориса Штильмана, хотя он не забывает отметить, что в создание LG-подхода к решению сложных переборных задач были вовлечены многие научные сотрудники (участники проекта ПИОНЕР), крупные учёные и финансовые организации (Stilman, 2000).

Всё же, пока не создан программный мастер (wizard), который бы генерировал прототипы LG-систем для разных прикладных областей, создавать LG-системы в этих областях без эксперта-человека затруднительно. Поэтому шахматы всё ещё остаются той областью, для которой прототипы LG-систем создавать можно, т.к. люди-эксперты, понимающие эту игру, есть (Stilman, 2000).






Хронология модели   ▲ В начало текущей   Тесты для шахматной LG-системы




Последнее обновление 01.01.2007, size=15 089 bytes

© 2005 г., Александр Тимофеев, г.Харьков, Украина, Об авторе eMail: atimopheyev@yahoo.com