проблемы универсального языка моделирования
влияние языка на теорию, на концепцию, на науку, на конкретные дисциплины достаточно велико
формальный язык в математике и программировании это набор символов и правила порождения цепочек символов
/у меня все смутно тут, главное было зафиксить смутные мысли/
тезис хороший язык это башня моделей
справка:
-------------
Формальный язык может быть определён по-разному, например:
Простым перечислением слов, входящих в данный язык. Этот способ, в основном, применим для определения конечных языков и языков простой структуры.
Словами, порождёнными некоторой формальной грамматикой (см. иерархия Хомского).
Словами, порождёнными регулярным выражением.
Словами, распознаваемыми некоторым конечным автоматом.
Словами, порождёнными БНФ-конструкцией.
https://ru.wikipedia.org/wiki/Формальный_язык
Формальная семантика.
Формальный язык может быть задан без какой-либо интерпретации. Это достигается заданием множества символов (также называемого алфавитом) и множества правил вывода (также называемого формальной грамматикой), которые определяют, какие строки символов являются правильно построенными формулами. При добавлении правил преобразования и принятии некоторых предложений за аксиомы (что вместе называется дедуктивной системой), формируется логическая система. Интерпретация - это задание смысла её символам и значений истинности её предложениям.
https://ru.wikipedia.org/wiki/Формальная_семантика
----------
т.е. почему все трудности с языками и почему языков много и почему трудно придумать какойто универсальный язык моделирования
потому как обычно язык это всего лишь цепочка символов, всякие такие или иные конструкции языков программирования будут удобны тогда, когда они отражают какието хорошо структурированные объекты и операции с ними (например операции с матрицами, операции со списками)
когда язык не попадает в предметную область, приходится самим выписывать библиотеки по сути расширяющие язык
но основная трудность это то, что язык всегда модель, причем многоуровневая модель
тезис хороший язык это башня моделей
эта башня моделей должна по идее быть описана в моделях, как формальный язык обычно описывается в нотации БНФ
т.е. в терминах моделей по сути на разработать язык моделей и в нем описать интерпретатор языка моделей
причем это надо делать все именно в терминах моделей и на базе моделей, поскольку язык (а язык это башня моделей) будет оказывать в данном случае решающее влияние на всю систему
в принципе аналогичная проблема была и с сильным искусственным интеллектом, постепенное формулирование проблемы и подбор правильных терминов позволили решить проблему, а именно удалось связать понятия понятия и ассоциации и все это произошло на базе моделей
для универсального интерпретатора моделей (для проектирования и моделирования) не подойдет решение в лоб примененное для задачи построения сильного искина, тут нужно модифицировать подход, ну или доработать
если с базовым типом данных все ясно - модели, понятно как их формализовать, а вот с набором трансформаций, сопряжений и композиций моделей в данном случае надо тщательно прорабатывать, и думаю успех такой системы моделирования будет заключаться именно в тщательном подборе этих композиций, имхо
это будет этакий базовый язык языков, универсальный язык моделирования
тот универсальный язык, что я описывал в блоге ранее, он универсальный, но низкоуровневый, у нас же стоит задача в данном случае сделать более высокоуровневый язык моделей
формальный язык в математике и программировании это набор символов и правила порождения цепочек символов
/у меня все смутно тут, главное было зафиксить смутные мысли/
тезис хороший язык это башня моделей
справка:
-------------
Формальный язык может быть определён по-разному, например:
Простым перечислением слов, входящих в данный язык. Этот способ, в основном, применим для определения конечных языков и языков простой структуры.
Словами, порождёнными некоторой формальной грамматикой (см. иерархия Хомского).
Словами, порождёнными регулярным выражением.
Словами, распознаваемыми некоторым конечным автоматом.
Словами, порождёнными БНФ-конструкцией.
https://ru.wikipedia.org/wiki/Формальный_язык
Формальная семантика.
Формальный язык может быть задан без какой-либо интерпретации. Это достигается заданием множества символов (также называемого алфавитом) и множества правил вывода (также называемого формальной грамматикой), которые определяют, какие строки символов являются правильно построенными формулами. При добавлении правил преобразования и принятии некоторых предложений за аксиомы (что вместе называется дедуктивной системой), формируется логическая система. Интерпретация - это задание смысла её символам и значений истинности её предложениям.
https://ru.wikipedia.org/wiki/Формальная_семантика
----------
т.е. почему все трудности с языками и почему языков много и почему трудно придумать какойто универсальный язык моделирования
потому как обычно язык это всего лишь цепочка символов, всякие такие или иные конструкции языков программирования будут удобны тогда, когда они отражают какието хорошо структурированные объекты и операции с ними (например операции с матрицами, операции со списками)
когда язык не попадает в предметную область, приходится самим выписывать библиотеки по сути расширяющие язык
но основная трудность это то, что язык всегда модель, причем многоуровневая модель
тезис хороший язык это башня моделей
эта башня моделей должна по идее быть описана в моделях, как формальный язык обычно описывается в нотации БНФ
т.е. в терминах моделей по сути на разработать язык моделей и в нем описать интерпретатор языка моделей
причем это надо делать все именно в терминах моделей и на базе моделей, поскольку язык (а язык это башня моделей) будет оказывать в данном случае решающее влияние на всю систему
в принципе аналогичная проблема была и с сильным искусственным интеллектом, постепенное формулирование проблемы и подбор правильных терминов позволили решить проблему, а именно удалось связать понятия понятия и ассоциации и все это произошло на базе моделей
для универсального интерпретатора моделей (для проектирования и моделирования) не подойдет решение в лоб примененное для задачи построения сильного искина, тут нужно модифицировать подход, ну или доработать
если с базовым типом данных все ясно - модели, понятно как их формализовать, а вот с набором трансформаций, сопряжений и композиций моделей в данном случае надо тщательно прорабатывать, и думаю успех такой системы моделирования будет заключаться именно в тщательном подборе этих композиций, имхо
это будет этакий базовый язык языков, универсальный язык моделирования
тот универсальный язык, что я описывал в блоге ранее, он универсальный, но низкоуровневый, у нас же стоит задача в данном случае сделать более высокоуровневый язык моделей