Физика 2.0
Футурология. О возможном пути развития способа описания физикой окружающего мира.
Здесь должен быть рассказ из книги Борхеса про королевство которое славилось исскуством изотовления карт, и однажды сделало карту королевства в масштабе 1 к 1.
UPD: Похоже идею с картой придумал Льюис Керрол в Sylvie and Bruno. Жесть !!!
момент озарения
Мне видится такая единая облачная (cloud computing) субстанция , которая содержит все модели окружающей действительности какие только есть, и умеет их при этом сопрягать (например программа tinker может использовать для разных частей обсчитываемой системы разные по точности и вычислительной стоимости алгоритмы).
Например. Use Case.
Есть задача промоделировать столкновение двух машин. Система предлагает на выбор несколько уровней моделирования.
Уровень 1 Ньютоновская механика. Шарики.
Нужные параметры : Скорости и массы машин.
Уровень 2 Технологический.
Некоторые эвристики и формулы применяемые криминалистами и инженерами в подобых ситуациях
...
Уровень 20 QED
Можно учесть влияние релятивистских эффектов на вероятность посылки в мозг сигнала ретиной водителя.
Естественно система должна быть модульной. А все модели должны быть формализованы аналогично тому о чем говорит plakhov вот здесь (и естественно иметь маинтейнера и документацию в виде опубликованной статьи) Т.е. например должны представлять собой исходный код на питоне с четко описанными параметрами и областью применимости. Область применимости вполне возможно позволит обойтись почти без онтологий. Ее же можно прописать примерно так :
Система из таких то атомов (такой то стали, таких то кварков) такого то типа, при такой то температуре (давлении, внешнем поле) с такими то геометрическими ограничениями (атомы расположены в кубической )
Конечно такая то сталь - это уже онтология, но достаточно простая (хотя вычислительно очень дорогая). Язык атомов состоит из менее чем 120 слов из которых часто в физике используются от силы 20 (H He C Au Fe Ga As Si Cu Cl O N S U Pu и т.д. ), вообще и еще сколько то не использутся почти никогда. Более низкоуровневые языки и того меньше.
Если учесть что много физических процессов и их моделей достаточно легко систематизируются по нескольким параметрам, как то порядок характерных энергии, действия,времен,напряженностей полей, плотности энергии различных типов полей в единице объема, то мы получим хорошее приближение для механизма поиска модлелей применимых к нужной нам системе.
Преимуществ у такой системы будет достаточно много, например сразу можно будет окинуть взглядом
" весь этот лабиринт сверху... " (с) Стругацкие. "Далекая Радуга"
К тому же сразу при добавлении модели в такую систему будет проверяться является ли старая теория предельным случаем новой теории. При достаточном уровне формализации это будет сделать относительно легко. Это не считая возможности автоматического формулирования, подготовки и проведения эксперимента в случае конфликта между двумя теориями.
Здесь должен быть рассказ из книги Борхеса про королевство которое славилось исскуством изотовления карт, и однажды сделало карту королевства в масштабе 1 к 1.
UPD: Похоже идею с картой придумал Льюис Керрол в Sylvie and Bruno. Жесть !!!
момент озарения
Мне видится такая единая облачная (cloud computing) субстанция , которая содержит все модели окружающей действительности какие только есть, и умеет их при этом сопрягать (например программа tinker может использовать для разных частей обсчитываемой системы разные по точности и вычислительной стоимости алгоритмы).
Например. Use Case.
Есть задача промоделировать столкновение двух машин. Система предлагает на выбор несколько уровней моделирования.
Уровень 1 Ньютоновская механика. Шарики.
Нужные параметры : Скорости и массы машин.
Уровень 2 Технологический.
Некоторые эвристики и формулы применяемые криминалистами и инженерами в подобых ситуациях
...
Уровень 20 QED
Можно учесть влияние релятивистских эффектов на вероятность посылки в мозг сигнала ретиной водителя.
Естественно система должна быть модульной. А все модели должны быть формализованы аналогично тому о чем говорит plakhov вот здесь (и естественно иметь маинтейнера и документацию в виде опубликованной статьи) Т.е. например должны представлять собой исходный код на питоне с четко описанными параметрами и областью применимости. Область применимости вполне возможно позволит обойтись почти без онтологий. Ее же можно прописать примерно так :
Система из таких то атомов (такой то стали, таких то кварков) такого то типа, при такой то температуре (давлении, внешнем поле) с такими то геометрическими ограничениями (атомы расположены в кубической )
Конечно такая то сталь - это уже онтология, но достаточно простая (хотя вычислительно очень дорогая). Язык атомов состоит из менее чем 120 слов из которых часто в физике используются от силы 20 (H He C Au Fe Ga As Si Cu Cl O N S U Pu и т.д. ), вообще и еще сколько то не использутся почти никогда. Более низкоуровневые языки и того меньше.
Если учесть что много физических процессов и их моделей достаточно легко систематизируются по нескольким параметрам, как то порядок характерных энергии, действия,времен,напряженностей полей, плотности энергии различных типов полей в единице объема, то мы получим хорошее приближение для механизма поиска модлелей применимых к нужной нам системе.
Преимуществ у такой системы будет достаточно много, например сразу можно будет окинуть взглядом
" весь этот лабиринт сверху... " (с) Стругацкие. "Далекая Радуга"
К тому же сразу при добавлении модели в такую систему будет проверяться является ли старая теория предельным случаем новой теории. При достаточном уровне формализации это будет сделать относительно легко. Это не считая возможности автоматического формулирования, подготовки и проведения эксперимента в случае конфликта между двумя теориями.