Стоимость материала: аксиоматика

Тема в разделе "Машинное отделение", создана пользователем WinPooh, 23 авг 2006.

  1. NO Учаcтник

    • Участник
    Рег.:
    01.05.2006
    Сообщения:
    31
    Симпатии:
    0
    Репутация:
    0
    Оффлайн
    в шахматах стоимость как говорится "контекстно-зависима", а контекст в свою очередь не известен, просматривается только на ограниченную глубину, "горизонт событий"
  2. Fruit Александр

    • Заслуженный
    • Участник
    • Старожил
    Рег.:
    12.02.2006
    Сообщения:
    2.201
    Симпатии:
    64
    Репутация:
    3
    Оффлайн
    "А чему тут удивляться? В эндшпиле, как ни крути, отношение коня к пешке уже никак не 3 к одному. Оно другое - заметно меньше. И в миттельшпиле 3 пешки совсем не ровня слону. Вот вам и "перестает действовать"."

    Так и там,в эндшпиле, конь около 3 и остаётся!!
    К примеру что-то вроде этого:
    конь(3) - малое количество материала(0,8) = 2,2
    2 пешки(2)+проходные(0,3)+поддержанные королём(0,5)+связанные(0,8) = 3,6
    На любую ситуацию выходит то, что оценка самой фигуры, как таковой, не меняется.

    "Еще вопрос - как эти базовые веса вычислить? Берем с потолка или округляем взятое с потолка? Изначально с чего вы взяли, что, к примеру, конь равен 3-м пешкам? С какой стати?"

    О том, что конь = 3 пешкам рассказывал мне отец, когда мне было 5 лет. :) Я спорить не стал, потом личный опыт и мнение классиков это подтвердили.
    А базовые веса научились вычислять ещё со времен Дипсот (Сергей Марков об этом здесь уже упоминал). Вот нашёл описание.
    "Андреас Новатцк из ФРГ разработал способ более тонкого учёта пешечной структуры позиции. Поясним это.
    При построении шкалы сравнительной силы фигур в шахматных учебниках сила пешки обычно принимается за 1, сила коня и слона - за 3,5, ладьи - за 5 и ферзя за 9 единиц. Однако эти оценки существенно меняются в зависимости от конкретной ситуации. Скажем, пешки в фаланге следует оценивать выше, а сдвоенные пешки - ниже. Важными факторами являются количество фигур на доске, пространство, которое они контролируют, и т.д. Эти и другие позиционные нюансы учтены в программе "Дипсот".
    А. Новатцк начал с общих оценок, известных ранее, и постепенно двигался по пути их конкретизации, используя шахматную эрудицию доктора Мэррея Кэмпбелла из Канады - самого сильного в пятёрке авторов "Дипсот". В процессе работы компьютерному анализу были подвергнуты 900 партий, сыгранных гроссмейстерами и мастерами. При этом ЭВМ сравнивала оценки, которые игроки назначали фигурами в тех или иных ситуациях. Такой подход практически превратил "Дипсот" в усердного ученика нескольких сильных гроссмейстеров.
    А. Новатцк построил шкалу, содержащую около 100 оценок силы фигур в различных положениях. Например, коня в центре доски он оценил в 6,274, а на краю доски - в 4,733. Оценка может меняться в зависимости от стадии партии. Так, королю крайне рискованно путешествовать в центр доски в дебюте и раннем миттельшпиле, но в окончании это чаще всего приносит пользу. Исходя из этого "Дипсот" даёт отрицательную оценку централизованному королю в дебюте и положительную в окончании."

    "Или то, что сдвоенные пешки порой очень полезны - когда контролируют центральные поля, обеспечивают форпост для коня."

    Вот это рыбина отлично понимает. Не боится сдвоенные пешки, а сдвоенные в центре - просто любит.
  3. Crest Админ, МГ

    • Команда форума
    Рег.:
    05.02.2006
    Сообщения:
    57.245
    Симпатии:
    21.134
    Репутация:
    627
    Адрес:
    Москва, Россия
    Оффлайн
    Мы просто по разному трактуем одно и то же. Уперлись в термины. А по сути разночтений нет.
    Вы пишете "конь(3) - малое количество материала(0,8) = 2,2" Но простите, из деревьев нельзя вычитать железяки. А из зеленых - красных. Само уравнение не смотрится с точки зрения физического смысла. С точки зрения размерности величин. :)
    Я же трактую то же самое и почти точно также.
    Конь в дебюте и миттельшпиле = примерно 3 (не знаю, как вычислить точно). Конь в эндшпиле = примерно 2 или меньше. От первого до второго, разумеется, есть плавные переходы.
    Слон в дебюте и миттельшпиле = 3,5 - 4 (не знаю, как вычислить точно). Слон в окончании = примерно 2,5 - 2. Опять же сильнее коня, так как в состоянии бороться с проходными соперника и поддерживать своих.
    Но все это, разумеется, лишь на глазок.
    Уменьшение веса фигур в окончании почему-то почти не учитывается программистами. Вот поэтому порой и можно видеть неадекватные эндшпильные оценки их детищ.

    Новатцк подтверждает мои нехитрые тезисы - "Например, коня в центре доски он оценил в 6,274, а на краю доски - в 4,733. Оценка может меняться в зависимости от стадии партии..."
    Так что изначальная оценка коня в 3 пешки есть всего лишь точка отсчета, причем, наверняка - на 100 процентов - неточная. Непонятно, впрочем, как усреднять реальные значения силы коня в разных стадиях партии. Да и нужно ли? Это так же нужно, как и приводить средний рост человека по всей его жизни! Хотя он имел такой средний рост, наверное, лишь одно мгновение - в подростковом возрасте. А всю остальную жизнь его рост был иной.

    А теперь всмотримся в фразу Новатцк... Конь в центре доски только в строго конкретной ситуации мог весить 6,274. Легко представить себе диаграмму, где он на d5 и на пешку не потянет. Ту самую, которая рвется в ферзи.
    Ага! Значит, единица оценки - пешка - это всего лишь абстрактное понятие. Реальные пешки также меняются в силе... Одна пешка может оказаться сильнее трех. Интересная игра!
  4. Crest Админ, МГ

    • Команда форума
    Рег.:
    05.02.2006
    Сообщения:
    57.245
    Симпатии:
    21.134
    Репутация:
    627
    Адрес:
    Москва, Россия
    Оффлайн
    Что ж, попробую подумать об усредненных значениях...
    С первого взгляда видно, что ладью классик явно переоценил. Слон никак не может весить на 2 пешки меньше. Мой опыт - игровой и комментаторский - говорит о том, что разница у них примерно в 1,5 пешки (может, даже чуть меньше) и эта величина колеблется в разные стороны.

    Нельзя не учитывать и сочетаемость фигур. Или надо отказаться от банального арифметического сложения! Яркий пример - позиции с тремя легкими фигурами против ферзя. Программы систематически переоценивают их в пользу той стороны, у которой ферзь. Я регулярно в комменте (и в игре) встречался с ситуациями, когда ферзь постепенно загибался против трех фигур. Причем, любой квалифицированный игрок предпочел бы играть с фигурами. Возникает вопрос - как исправить сей баг?
  5. NS Нефёдов Сергей

    • Заслуженный
    • Ветеран
    • Старожил
    Рег.:
    02.05.2006
    Сообщения:
    6.811
    Симпатии:
    96
    Репутация:
    3
    Адрес:
    Санкт-Петербург
    Оффлайн
    Уменьшение веса фигур в окончании почему-то почти не учитывается программистами. Вот поэтому порой и можно видеть неадекватные эндшпильные оценки их детищ.
    Учитывается... У меня в эншпиле пешка дороже...
  6. Crest Админ, МГ

    • Команда форума
    Рег.:
    05.02.2006
    Сообщения:
    57.245
    Симпатии:
    21.134
    Репутация:
    627
    Адрес:
    Москва, Россия
    Оффлайн
    Это правильно. Можно и пешки утяжелить...
    Относительность, однако!
  7. e271 Старожил

    • Ветеран
    • Старожил
    Рег.:
    11.02.2006
    Сообщения:
    6.512
    Симпатии:
    4
    Репутация:
    1
    Оффлайн
    Может быть некоторую поправку к весу фигуры определять количеством доступных ей полей? Вроде в таком случае для слонов многое будет определятся пешечной структурой...
  8. TopicStarter Overlay

    WinPooh В.М.

    • Команда форума
    Рег.:
    13.02.2006
    Сообщения:
    9.491
    Симпатии:
    3.120
    Репутация:
    95
    Адрес:
    Москва
    Оффлайн
    Естественно, так делают очень и очень часто. Называется "мобильность", и считается по-разному - от простого подсчёта доступных пустых полей до вычисления, какие из них под ударом противника, а какие нет.
    Обычно за одно поле мобильности дают 1...3 сантипешки. Но шкала может быть и существенно нелинейной.
  9. MS Михаил Семионенков

    • Команда форума
    Рег.:
    11.02.2006
    Сообщения:
    6.542
    Симпатии:
    3.361
    Репутация:
    175
    Оффлайн
    Лечение, опять же, через расширение аппарата оценки. Все сильно упирается в консолидированность позиции с фигурами. Если она есть - нужно предпочесть фигуры, а если нет - ферзя. А вот формализовать консолидированность в рамках существующих подходов не так просто: если она полная ("все-все защищено"), это еще куда ни шло (но бывает редко), а если все держится на уровне "он сюда - я сюда" (что более жизненно), то вертеть числовые коэффициентики бесполезно - нужно "видеть" конкретные маршруты, а не рассуждать об абстрактной мобильности.
  10. NS Нефёдов Сергей

    • Заслуженный
    • Ветеран
    • Старожил
    Рег.:
    02.05.2006
    Сообщения:
    6.811
    Симпатии:
    96
    Репутация:
    3
    Адрес:
    Санкт-Петербург
    Оффлайн
    Вроде не считают обычно программы что три фигуры слабее ферзя... У меня не считает, и простой арифметикой так и получается... 1,3,3,5,9 Исходя из такой стоимости фигур - ферзь не сильнее трех легких. Причем при такой схеме - делают легкую фигуру чуть дороже трех пешек (иначе легко две фигуры отдает за ладью и пешку)
  11. NS Нефёдов Сергей

    • Заслуженный
    • Ветеран
    • Старожил
    Рег.:
    02.05.2006
    Сообщения:
    6.811
    Симпатии:
    96
    Репутация:
    3
    Адрес:
    Санкт-Петербург
    Оффлайн
    то вертеть числовые коэффициентики бесполезно - нужно "видеть" конкретные маршруты, а не рассуждать об абстрактной мобильности.
    А что программа смотрит в процессе перебора? Не маршруты?
    Еще в Каиссе оцевались фигуры не на сильном поле, а возможность хода на сильное поле.
  12. MS Михаил Семионенков

    • Команда форума
    Рег.:
    11.02.2006
    Сообщения:
    6.542
    Симпатии:
    3.361
    Репутация:
    175
    Оффлайн
    NS, я понимаю Вашу мысль. Попробуйте понять и Вы мою. Я вижу следующую ситуацию: в КОНЦЕ перебора возникает соотношение 3 фигуры - ферзь. Как его оценить? Манипулируя числовой "подвижностью", нельзя правильно ответить на вопрос, есть ли у ферзя форсированный выигрыш, или фигуры потенциально способны консолидироваться. Ваши ресурсы полного перебора исчерпаны... При позиционной игре это - общая ситуация: чтобы оценить "сегодня", нужно заглянуть в "завтра". Работа ОФ с "сегодняшними" параметрами позиции есть вероятностое гадание, которое мало поможет в игре против квалифицированного человека. В этом духе высказывался и NO, если не ошибаюсь.
  13. Crest Админ, МГ

    • Команда форума
    Рег.:
    05.02.2006
    Сообщения:
    57.245
    Симпатии:
    21.134
    Репутация:
    627
    Адрес:
    Москва, Россия
    Оффлайн
    NS, вертеть числовые коэффициентики очень даже полезно - точно так же, как колки на гитаре. Если она плохо настроена, то будет фальшивить всю песню! И никакие маршрутики не помогут.
    Я понимаю, что вторгаюсь со стороны в ваше святое, в сферы ваших амбиций и гордости. Но все же вы пишете именно шахматные программы, и потому мы, шахматисты, тоже могли бы чем-то помочь. Хотя бы потому, что ненмного знаем сами шахматы и их нюансы. Ваша ставка на одни лишь технологии и железный прирост уже неконкурентоспособна. Полагаю, что в этом деле мелочей уже давно нет. Все важно.
    Если не доверяете мне, поговорите с другими гроссмейстерами, более заслуженными. Пока!
  14. MS Михаил Семионенков

    • Команда форума
    Рег.:
    11.02.2006
    Сообщения:
    6.542
    Симпатии:
    3.361
    Репутация:
    175
    Оффлайн
    NS, вот и Вам за меня от Креста перепало 1-1. :)
    Крест прав, что на одном железе и таблицах ресурсы усиления ограничены. Но он с Вами, за уточнение коэффициентов. А я - за маршрутики. Жаль, WildCat вышел из разговора. Но позиции пишущих программы, похоже, ясны. Надо пожелать вам удачи не не мешать на вашем пути.
  15. atoku Модератор

    • Команда форума
    Рег.:
    05.02.2006
    Сообщения:
    2.949
    Симпатии:
    9
    Репутация:
    0
    Адрес:
    USA
    Оффлайн
    Сергей, Миша, ну NS же играет в силу мастера, что вы ему впариваете про нюансы позиции? ;)
  16. MS Михаил Семионенков

    • Команда форума
    Рег.:
    11.02.2006
    Сообщения:
    6.542
    Симпатии:
    3.361
    Репутация:
    175
    Оффлайн
    Антон, извини, ты не в теме. Речь не о позиционных тонкостях, а методике оценки позиции.
    Я остаюсь при своих, перворазрядник атоку, мастер NS и гросс Крест меня не переубедили. Равно как и я их.
    Селява.
  17. atoku Модератор

    • Команда форума
    Рег.:
    05.02.2006
    Сообщения:
    2.949
    Симпатии:
    9
    Репутация:
    0
    Адрес:
    USA
    Оффлайн
    Миша, ты не мог бы быть чуть более конкретным, а то я не понял твоей методики. Может она будет все же полезна разработчикам...
  18. MS Михаил Семионенков

    • Команда форума
    Рег.:
    11.02.2006
    Сообщения:
    6.542
    Симпатии:
    3.361
    Репутация:
    175
    Оффлайн
    Антон, на конкретность пока спроса нет: спрос может возникнуть, когда будет согласие с принципиальной посылкой. Основа расхождений, надеюсь, ясна :) А смысла пинать воздух конкретностями не наблюдаю. Я это вижу большой работой, которая требует серьезного осмысления. Пока тратиться бессмысленно.
  19. Евгений Никитин Учаcтник

    • Участник
    Рег.:
    18.02.2006
    Сообщения:
    404
    Симпатии:
    2
    Репутация:
    0
    Оффлайн
    Может быть, надо учесть типовые позиции миттельшпиля. В зависимости от них оценка должна меняться. Здесь бы знатока дебютов, вроде Каспарова. Он бы сказал, какие нюансы в оценке стоимости фигур, скажем, в варианте Найдорфа... Крест с Ежом бы помог)
  20. atoku Модератор

    • Команда форума
    Рег.:
    05.02.2006
    Сообщения:
    2.949
    Симпатии:
    9
    Репутация:
    0
    Адрес:
    USA
    Оффлайн
    А без конкретности нет и разговора. Как можно "принципиальную посылку" оценить, коли не о чем говорить?! Вот это и есть "пинание воздуха"
  21. MS Михаил Семионенков

    • Команда форума
    Рег.:
    11.02.2006
    Сообщения:
    6.542
    Симпатии:
    3.361
    Репутация:
    175
    Оффлайн
    Антон, я, кажется, об"яснил, в чем я вижу принципиальное ограничение существующего метода.
    Экспериментальные данные (позиции, где проги плавают) я нагло записываю как "сочувствующие" мне. Утверждаю, что проги будут продолжать плавать, сколько труда в уточнение весов не вложи.
    Если имеешь что-то возразить здесь - возрази. Если не понял мои аргументы о принципиальной ограниченности - переспроси. А ожидать от меня в 6 секунд четкой конкретной альтернативы - много хочешь. Есть только нащупывание подхода. Это стадия обдумывания, а не четких результатов. Что-то можно попытаться показать на пальцах, но не интересно даже пытаться это сделать, пока ты вполне удовлетвлетворен существующим подходом. Глупо тратиться на решение того, что не считают задачей.
  22. WildCat Коршунов Игорь

    • Команда форума
    Рег.:
    04.05.2006
    Сообщения:
    3.599
    Симпатии:
    4
    Репутация:
    0
    Адрес:
    Гомель
    Оффлайн
    Все прекрасно понимают ограничения существующего метода. Все горе в том, что он пока лучший.
    MS, если можете предлоджите метод получше. Разве ж кто-то против?
  23. NO Учаcтник

    • Участник
    Рег.:
    01.05.2006
    Сообщения:
    31
    Симпатии:
    0
    Репутация:
    0
    Оффлайн
    Чтобы всю эту задачу решить нужно
    1. Хорошо разбираться в символьных вычислениях. В России программирование в основном прислуживает математике, или в последнее время бизнес-логике, про форматирование-переформатирование разных пакетов и страничек я вообще не говорю. Это очень частные приложения и собственно вообще не программирование. Использовать вместо цикла рекурсию очень редко для кого является естественным, а большинству вообще не понятным.
    2. Начать с карточных игр. Шахматы формально игра с полной информацией, а фактически нет. Карточные игры с неполной, но там это явно, даже правилами регулируется. А в шахматах даже языка нет чтобы такое обсуждать, тем более программировать, тем более чтобы машина на этом уровне работала сама. Про языки см.п.1.

    Натуральные числа определяются как можности множеств, порожденных примитивно рекурсивным алгоритмом, известным как аксиома Архимеда. Это чрезвычайно абстратные вещи, математику можно увидеть почти во всем. Но это не значит, что этим все и ограничивается. Например Пол Грэхэм, наверно самый известный в мире Лиспа после Маккарти, называет определение Лиспа аксиоматикой. Там всего одна страница, для программиста она даже проще чем аксиоматика арифметики. Но в России таких чистых программистов почти не готовят.

    Шахматы определены правилами. Необходимости в дополнительных аксиомах нет. Можно только дополнительно "взять на себя обязательства". Вот интеллектуальная игра это и есть создание правил в дополнение к правилам игры.

    Здесь у кого-нибудь в его программе правила в явном виде есть? Чтобы в виде данных. Чтобы можно было исправив одну строчки сделать из программы, которая стремится выиграть, сделать программу, которая решает этюды, или сочиняет этюды.

    Вот эта точка зрения, что решение этюдов и составление их зависит всего от 1 (одного) бита в файле exe-шнике. Она понятна? Я думаю большинство профессионалов считают это совсем разными программами, что чтобы из одной сделать другую нужны килобайты кода.
  24. TopicStarter Overlay

    WinPooh В.М.

    • Команда форума
    Рег.:
    13.02.2006
    Сообщения:
    9.491
    Симпатии:
    3.120
    Репутация:
    95
    Адрес:
    Москва
    Оффлайн
    1. Извините, Вы не могли бы уточнить - какую эту задачу?
    2. Призываю Вас также внимательно перечитать ЗАГОЛОВОК ВЕТКИ и первый пост в этой ветке. У Вас есть что сказать по конкретно поставленному вопросу - ЧЕМУ РАВНЫ СТОИМОСТИ ФИГУР? Философия - это хорошо, но место ей в другой ветке (хотя бы про "Шахматы на Лиспе" и т.п.).
  25. TopicStarter Overlay

    WinPooh В.М.

    • Команда форума
    Рег.:
    13.02.2006
    Сообщения:
    9.491
    Симпатии:
    3.120
    Репутация:
    95
    Адрес:
    Москва
    Оффлайн
    Кстати, насчёт "Использовать вместо цикла рекурсию очень редко для кого является естественным, а большинству вообще не понятным" - это Вы очень круто загнули, а главное в подходящем обществе, среди шахматных программистов :)
  26. TopicStarter Overlay

    WinPooh В.М.

    • Команда форума
    Рег.:
    13.02.2006
    Сообщения:
    9.491
    Симпатии:
    3.120
    Репутация:
    95
    Адрес:
    Москва
    Оффлайн
    У меня есть. Например, массив из восьми чисел - как конь прыгает. Это правила в явном виде, можете их назвать данными. Что дальше?
  27. Booot Учаcтник

    • Участник
    Рег.:
    05.06.2006
    Сообщения:
    140
    Симпатии:
    0
    Репутация:
    0
    Оффлайн
    Спор здесь возник только потому, что программы (программисты) и шахматисты вкладывают совершенно разное понятие в слова "оценка позиции". :). Для шахматиста оценка позиции проводится, чтоб по факту определиться как ему играть дальше (пресловутый план игры), а программе оценка позиции нужна исключительно с целью оценить последовательность ходов, сделанную на данной ветке. Поэтому и некоторая разница во взглядах. Мое мнение: сильные шахматисты могут помочь программистам исключительно статистикой своих партий (да и то - пока вместо них не привлекли для этой цели сотни еще более сильно играющих роботов). :). Ну правда... Крамник может сколько угодно (и абсолютно правильно) оценивать конкретную позицию с взаимными слабостями, но программа в сотнях тысяч подобных позиций, встречающихся в переборе, должна каждый раз по новому определяться на сколько сантипешек два слона больше чем отдаленная проходная... Так что только статистика партий, из которой можно будет в последствии вытащить "статистически благоприятные" или "статистически неблагоприятные" шаблоны элементов позиции (именно этим, подозреваю, и отличается Рабка от других современных программ, каждый раз заново оценивающих одно и то же).
  28. NO Учаcтник

    • Участник
    Рег.:
    01.05.2006
    Сообщения:
    31
    Симпатии:
    0
    Репутация:
    0
    Оффлайн
    Эта задача - оценка фигур. Чья это проблема, если человек требует оценку в галактических кредитах, тогда как фигура стоит два барана и унцию перца, а он слово унция не знает, барана считает вымышленным сказочным животным, а перец философией?

    Может быть шахматные программисты скажут строго определение чем отличаются данные от алгоритмов, что такое метациркулярный интерпретатор и какие есть методы для обращения рекурсивных функций? А само слово "рекурсия" знают даже не программисты.
    Ну и вот. Это абстрактное правило для игры в целом. В конкретной ситуации оно не действует, т.к. какие-то клетки заняты, какие-то вне доски, какие-то ходы явно плохие. Получаем частное правило. А когда правила другие обычно считают что это другая игра. У вас есть внятное объяснение зачем продолжать играть в шахматы, если на доске слева Го, справа преферанс, а противник играет шахматами в поддавки? В другую игру и играть нужно по-другому. Может она вообще решается как крестики-нолики, может она в принципе не решается, и нечего про нее думать, думать про то, где от нас что-то зависит.
  29. TopicStarter Overlay

    WinPooh В.М.

    • Команда форума
    Рег.:
    13.02.2006
    Сообщения:
    9.491
    Симпатии:
    3.120
    Репутация:
    95
    Адрес:
    Москва
    Оффлайн
    ок, я кажется немного начинаю понимать о чём речь

    Вы имеете в виду что-то похожее на http://www.zillions-of-games.com/ - "обобщенный" движок для разных игр, со специальным языком для описания правил и универсальным решателем, параметризуемым этими правилами?

    Насчёт метациркулярных бурбуляторов - уверен, что среди нескольких сотен лучших шахматных программистов найдутся способные ответить на этот вопрос. Точно так же кто-то из них наверняка способен исполнить на фоно ноктюрн Шопена. Вопрос только, насколько это умение существенно именно для поставленной задачи...
  30. NO Учаcтник

    • Участник
    Рег.:
    01.05.2006
    Сообщения:
    31
    Симпатии:
    0
    Репутация:
    0
    Оффлайн
    не существенно, а необходимо.
    а бурбулятор это два лезвия или еще лучще две подковы для сапогов, между которыми проложены спички и подключенные к электрической сети, в армии и т.п. используется для кипячения чая :)
  31. ber-viking Учаcтник

    • Участник
    Рег.:
    10.05.2006
    Сообщения:
    1.881
    Симпатии:
    93
    Репутация:
    12
    Адрес:
    Россия, Казань
    Оффлайн
    Неверное мнение. См. например здесь http://snz.vega-int.ru/Html/litra/04/gromod/gromod02.htm
  32. MS Михаил Семионенков

    • Команда форума
    Рег.:
    11.02.2006
    Сообщения:
    6.542
    Симпатии:
    3.361
    Репутация:
    175
    Оффлайн
    WildCat, хорошо. Если Вы согласны думать вместе, давайте начнем.
    В новой ветке :)

Поделиться этой страницей