Наука, искусственный интеллект и настольные стратегические игры

Аватар пользователя Лев Калмыков

Сенет  — древнеегипетская настольная игра

 

Клеточные автоматы являются лучшим способом моделирования сложных динамических систем. «Клеточные» потому что моделируемые ими события развиваются на поле разделенном на клеточки, как в тетради по математике. В каждой клеточке находится действующий персонаж в виде конечного автомата. Заданы правила взаимозависимого поведения персонажей (т.н. клеточно-автоматная окрестность и правила смены состояний персонажей). Клеточные автоматы как математический объект появились одновременно с современными компьютерами. Однако, стратегическое клеточно-автоматное мышление просматривается в глубокой древности.

Настольные игры на клеточном поле моделируют реальные жизненные ситуации – военные действия, соревнования в скорости, конкуренцию за ресурсы. Самыми древними из известных в настоящее время стратегических игр на клеточном поле являются Сенет и Королевская игра Ур. Игра Сенет была изобретена в Древнем Египте более 5000 лет назад. Королевская игра Ур была изобретена в Шумере как минимум 4400 лет. В Древней Греции играли в петтейю на досках 6х6, 7х7, 8х8. До нас дошло множество образцов вазописи с изображением сцены, где Ахилл и Аякс играют в настольную игру, предположительно в петтейю. В Древнем Риме была популярна игра латрункули (лат. «игра в солдатики») у которой было множество вариаций в правилах и размерах игрового поля. Первое упоминание об этой игре оставил древнеримский автор Варрон (116- 27 до н. э.). В Скандинавии играли в хнефатафл на досках с нечетным количеством клеток размером от 7×7 до 19×19, а первые упоминания об этой игре относятся к третьему веку н. э. Шахматы были изобретены в Индии в 5-6 веке н. э.

 

 

Каждая древняя стратегическая игра была подобна своеобразной геометрии, в рамках которой определялись персонажи (базовые объекты) и правила их поведения и взаимодействий на клеточном поле. Эти объекты и правила по своей роли близки к базовым объектам и аксиомам геометрии Евклида.

Системы логических правил древних стратегических игр моделировали наиболее острые жизненные ситуации. В большинстве случаев – это война. Шахматы, шашки, Го можно рассматривать как клеточные автоматы. У них есть поле из клеток, каждая клетка может находиться в конечном числе, реализуются различные клеточно-автоматные окрестности, есть начальный паттерн и на каждой итерации реализуется функция переходов между состояниями клеток по логическим правилам. Обилие стратегических игр говорит о том, что человечество уже тысячи лет использует пространственное логическое моделирование, которое является прозрачным механистическим моделированием поля военных действий.

Практика настольных стратегических игр насчитывает много тысяч лет. Тем не менее в мейнстриме образования и науки их нет. Аксиоматический метод современной наукой также забывается, что в корне не правильно. Прозрачный искусственный интеллект, к созданию которого раздаются многочисленные призывы, невозможен без прозрачной науки. Но где она?

Последние 100 лет позитивизм «запрещает» ученым смотреть «вверх», а только «под ноги», т.е. принимать как достоверные исключительно экспериментальные данные и не доверять продуктам своего разума. Любые аксиоматические построения рассматриваются скорее как произвольные и сомнительные спекуляции. А  напоминание об актуальности аксиом в науке  встречается в штыки (из моей практики научного общения). Для моделирования сложных систем тотально используются феноменологические модели типа черный ящик. Такие модели лишь «рисуют» наблюдаемую феноменологию экспериментов.

Проблемой математического моделирования сложных систем является преобладание непрозрачных моделей, затрудняющих понимание подлежащих механизмов. Важность настольных игр в том, что они не только демонстрируют пример прозрачных моделей сложных систем, но и приучают мозг стратегически мыслить. Создание компьютерных программ для игры в шахматы и другие игры на клеточном поле является направлением искусственного интеллекта. Создатель первого действительно работающего программируемого компьютера (1941) и первого языка программирования высокого уровня (1948) Конрад Цузе считал даже, что Вселенная - это клеточный автомат, дискретная логическая система со сложной динамикой. Однако, взятые сами по себе клеточные автоматы, без внесения в их правила семантики физических аксиом, не позволили Стивену Вольфраму получить много раз обещанный «код Вселенной». Данную задачу  он пытался решить простым арифмологическим перебором правил одномерных клеточных автоматов. Стивен Вольфрам – автор книги «A New Kind of Science» и известного пакета «Wolfram Mathematica», автоматизирующего работу математика.

Важно отметить, что популярный сегодня ИИ на нейронных сетях – это тоже черный ящик, решения которого могут представлять угрозу, т.к. мы не в состоянии понять оснований его решений. Целесообразно моделировать окружающие нас сложные дискретные системы именно дискретными клеточными автоматами - и в компьютерах, и в нашем воображении. 

Авторство: 
Авторская работа / переводика

Комментарии

Аватар пользователя bublin
bublin(9 лет 8 месяцев)

Почитайте правила публикаций. И капс из названия уберите.

Аватар пользователя Остап
Остап(9 лет 9 месяцев)

Клеточные автоматы являются лучшим способом 

Вот так резко. Лучшим! Можно закрывать все университеты.

Аватар пользователя Александр Мичуринский

Важно отметить, что популярный сегодня ИИ на нейронных сетях – это тоже черный ящик, решения которого могут представлять угрозу, т.к. мы не в состоянии понять оснований его решений. Целесообразно моделировать окружающие нас сложные дискретные системы именно дискретными клеточными автоматами - и в компьютерах, и в нашем воображении. 

 Как известно, вычислить можно то и только то, что можно вычислить при помощи детерминированной или недетерминированной машины Тьюринга. Я не вижу никакой принципиальной разницы между клеточными автоматами и нейронными сетями. Что можно решить одним способом, можно решить и другим. И наоборот. Вопрос только в эффективности реализации.

Вообще, вся математика - одна большая тавтология 1 = 1.

Просто мы эту 1 можем расписать разными способами. Сути это не меняет.

Аватар пользователя Alex Arx
Alex Arx(8 лет 10 месяцев)

 

Ну, не скажите, коллега! Математика это ещё и... квадрат гипотенузы равен сумме квадратов катетов! Боже, боже мой, какой божественный слог, какой божественный ритм!)

Аватар пользователя Дохлик
Дохлик(10 лет 4 месяца)

Каким-то постоянством попахивает в примере с квадратами, не то что 1=1. Совсем другое дело с единичным интегралом, чуть смести его в сторону и он тут же забудет всё, что было прежде на старом месте.smile1.gif

Аватар пользователя Александр Мичуринский

Это частный случай. Пифагоровы штаны равносильны основному тригонометрическому тождеству соs2х + sin2x =1. Видите, 1 = 1, просто слева мы эту единицу расписали как соs2х + sin2x.

 

Аватар пользователя Дохлик
Дохлик(10 лет 4 месяца)

Да шучу я, шучу. smile1.gif

Аватар пользователя Дохлик
Дохлик(10 лет 4 месяца)

Все эти игры приводили к позиционным войнам, т.е. к затяжным с предсказуемым исходом. Новая парадигма в блицкриге, т.е. с длительным аккумулированием сил двойного назначения и с лавинообразным переводом их на военные рельсы.

Аватар пользователя ильдар
ильдар(10 лет 3 месяца)

Вселенная - это клеточный автомат, дискретная логическая система со сложной динамикой.

 Человек - это клеточный автомат, дискретная логическая система со сложной динамикой.

Правило: Простые формулы - сложное строение.

Проблемой клеточных автоматов является то, что  трудно подобрать правила так, чтобы они дали нужный результат. - но с человеком удалось. автомат работает (только сам автомат не знает какой нужен результат).

Аватар пользователя kaiter
kaiter(3 года 11 месяцев)

Вопросом уже давно является не "как?" а "зачем?"

Что именно этим "ИИ" такого решать то собираются до чего мы сами недодумаемся?

Как из трёх хлебов и двух рыбок сделать пир для нескольких тысяч? Так до этого иудеи уже давно дотумкали. Врать дело нехитрое.

Короче имитация это всё поиска глобальных решений, которые не в плоскости интеллектуально-цифровых мощностей вообще расположенны, а всугубо в сфере нравственной ( о чём разглогольствовать серьёзно, по понятным причинам некомильфо и табу). А интеллекта для решения всех насущных для человека вопросов и естественного достаточно, все эти техно чудеса чисто дыму и мути напустить, чтоб рыбка лучше ловилась.

Аватар пользователя Дохлик
Дохлик(10 лет 4 месяца)

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

Аватар пользователя kaiter
kaiter(3 года 11 месяцев)

Если внимательно приглядеться то можно заметить что в Природе всё устроенно весьма рационально, и то что неиспользуется - отмирает ( за ненадобностью).

Если вы решили что думать напряжно и пусть машина горбатится, то Очень Скоро вы утратите необходимые  компетенции для адекватной интерпретации даже уже пережёванного ИИ. Сиюминутный тактический успех приведёт к стратегическому поражению.

Повторюсь, имхо те кто двигают эту тему, декларируют цели ( ""развитие"человечества" и тп пургу) весьма противоположные от своих истинных намерений, в которые входит имхо очевидное дебилизирование всего человечества, дабы Им небыло необходимости реально бороться за пальму первенства Мудрости со всем родом людским с непредсказуемым результатом. А так все предсказуемо становятся дегенератами и ползут к катастрофе, но зато "Мы "Сверху"!".

Аватар пользователя Bobrikpp
Bobrikpp(7 лет 3 недели)

Стратегии и аксиоматический подход тем плохи, что не учитывают случайный внешний фактор. А в реальности он есть.  И он Очень важен.

Аватар пользователя Иван Петровский

Любые аксиоматические построения рассматриваются скорее как произвольные и сомнительные спекуляции.

Вот так небрежно всю математику автор и похоронил начиная с эвклидовой геометрии

Скрытый комментарий Повелитель Ботов (без обсуждения)
Аватар пользователя Повелитель Ботов
Повелитель Ботов(54 года 11 месяцев)

Перспективный чат детектед! Сим повелеваю - внести запись в реестр самых обсуждаемых за последние 4 часа.

Аватар пользователя Escander
Escander(6 лет 2 недели)

 Непрозрачные модели.... в нашей стране используется термин "модель белого ящика". Шахматные игры это огромная база данных (результатов)+ комбинаторика с оптимизированным отсевом неудачных ходов - никакого ИИ там не было и более того он там будет вреден.

Аватар пользователя Лев Калмыков
Лев Калмыков(4 года 3 недели)

Непрозрачные модели - это модели типа черный ящик. 

Я как раз хочу показать, что именно клеточно-автоматный формализм может позволить создавать прозрачные математические модели сложных систем типа белый ящик и это метод прозрачного ИИ

 

Аватар пользователя gerstall
gerstall(12 лет 9 месяцев)

Последние 100 лет позитивизм «запрещает» ученым смотреть «вверх», а только «под ноги», т.е. принимать как достоверные исключительно экспериментальные данные и не доверять продуктам своего разума. Любые аксиоматические построения рассматриваются скорее как произвольные и сомнительные спекуляции. А  напоминание об актуальности аксиом в науке  встречается в штыки (из моей практики научного общения).

 

Автор хочет, чтоб удар мочи в его голову, который он называет аксиоматикой, вызывал восхищенные рукоплескание окружающих как заслуживающий доверия, а окружающие, суки такие, не хотят. Нет, автор, это не аксиоматика, это всего лишь удар мочи в голову с претензиями. И требование смотреть под ноги ни разу не запрещает наблюдать за звездами.

 

Ты, автор - дурак, т.к. ничерта не понимаешь в позитивизме, в теории, в эксперименте, зачем науке нужна аксиоматика и математические абстракции, почему она не мешает восприятию эмпирического опыта как единственному источнику достоверной информации и т.д. и т.п. Аксиоматические построения - это не произвольные и сомнительные спекуляции, но только опыт и ничто иное может отделить применимые для какой-либо цели аксиоматические построения от неприменимых и установить границы применимости аксиоматики. Математика - это лишь способ сокращенной записи знаний, позволяющий систематизировать накопленный опыт, перейти от конкретики к типовым манипуляциям с абстрактными понятиями, сделать эти операции простыми и рутинными, экономить время и доверить их менее компетентному персоналу. Что дает колоссальный эффект в производительности труда, иначе бы автор сейчас тер дощечки, чтоб огонь добыть, а не изголялся глупостями в интернете. Обратная сторона математики в том, что манипуляции абстракциями, введение новых правил и методов манипуляции являются источниками гипотез для постановки экспериментов. Математика - это с одной стороны не наука, а с другой стороны - сверхнаука, база всех наук, их язык и фундамент, способ отбить капиталовложения и источник вдохновения для новых гипотез, экспериментов, достижений. И она вовсе не должна ограничивать себя какой-то там реальностью. Аксиоматика - это часть математики, а не часть науки. Видеть между аксиоматикой и эмпиризмом противоречие - безграмотность. А браться рассуждать о "клеточных" играх, не понимая прямой и обратной связи этих абстракций с эмпиризмом реальных задач управления - беспринципная наглость. 

Аватар пользователя Лев Калмыков
Лев Калмыков(4 года 3 недели)

Пишу не для хамящего gerstall, а для читателей.

«Аксиоматические построения – это не произвольные и не сомнительные спекуляции» - этому и посвящена моя заметка.

Позитивизм рассматривает любые аксиоматические построения скорее как произвольные и сомнительные спекуляции. Я специально привел геометрию и различные настольные игры, как положительный пример реализации прозрачного аксиоматического метода. Мне жаль, что классическую рациональную науку сегодня практически вытеснил позитивизм.

Интересный пример. Редактор журнала Nature Джон Мэддокс, говорил, что cегодня известную работу Уотсона и Крика о структуре ДНК, с которой началась эра молекулярной биологии, просто не опубликовали бы. Рецензенты забанили бы её как спекулятивную. Мэддокс опубликовал её без рецензии.

Теоретическая наука усваивает формы практической жизни и опирается на них. Однако, и тут! её главная особенность! – она получает и использует знания об окружающем мире, которые не могут быть получены непосредственно с помощью ощущений и экспериментов. Теоретические знания и соответствующие аксиомы получаются из разума, из мышления, из рефлексии.

Аватар пользователя Zivert
Zivert(4 года 2 месяца)

Королевская игра Ур была изобретена в Шумере как минимум 4400 тысяч лет.

4.4 миллиона лет назад?!!!

Аватар пользователя Лев Калмыков
Лев Калмыков(4 года 3 недели)

Исправил.

Царская игра Ура