November 1st, 2018

новый язык моделирования

мой коммент к посту по поводу нового языка моделирования
Системная мереология https://ailev.livejournal.com/1451832.html

1. так и не определились вы с понятием модели а для сисмоланга вашего это базовая штука, как для лиспа базовая штука список, как для машины тьюринга баззовая штука (сами_знаете_что), как для нормальных алгоритмов маркова базовая штука..., как для лямбда нотации базовая штука...

2 модель это ((*,*),(*,*))

3. что главное в моделировании? понятие модели и композиция моделей
какие нужны композиции? думайте )

4. все остальные более высокоуровневые конструкции важны но вторичны

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

я не знаю каким должен быть такой язык в целом, какой хочет Левенчук (он хочет такой, чтобы человеку было очень удобно моделировать и использовать при этом комп)
но немного это все пересекается с созданием сильного искусственного интеллекта (СИИ)
поскольку сильный искин это исключительно самомоделирующая система, поэтому кое-что я могу сказать по этому поводу, вот и говорю кое-что про самый базовый уровень

сообщество metamodeling

зарегистрировал сообщество https://metamodeling.livejournal.com/
темы метамоделирование, сильный искусственный интеллект, сознание
оформление буду доделывать
велкам желающим
принимаю советы по оформлению и по ведению сообщества, поскольку впервые зарегил сообщество )

проблемы универсального языка моделирования

влияние языка на теорию, на концепцию, на науку, на конкретные дисциплины достаточно велико
формальный язык в математике и программировании это набор символов и правила порождения цепочек символов
/у меня все смутно тут, главное было зафиксить смутные мысли/

справка:
Collapse )
т.е. почему все трудности с языками и почему языков много и почему трудно придумать какойто универсальный язык моделирования
потому как обычно язык это всего лишь цепочка символов, всякие такие или иные конструкции языков программирования будут удобны тогда, когда они отражают какието хорошо структурированные объекты и операции с ними (например операции с матрицами, операции со списками)

когда язык не попадает в предметную область, приходится самим выписывать библиотеки по сути расширяющие язык

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

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

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