Наброски аксиом метамоделирования.
Наброски аксиом метамоделирования. Для дальнейшего размышления.
Цель аксиоматической системы (мотивация создания аксиом.системы):
возможность создавать объекты и стрелки в любом количестве, давать им произвольные имена, а также собирать любые произвольные конструкции.
Уточнение и формализация аксиом может быть любой.
1. Аксиома существования морфизмов (стрелок). (неограниченного числа их)
2. Аксиома позволяющая приписывать(давать имена) морфизмам, объектам и их конструкциям посредством цепочек символов.
2.1. Аксиома существования имён. (неограниченного числа их)
3. Аксиома позволяющая создавать произвольные конструкции из объектов и стрелок.
3.1. Аксиома позволяющая создавать произвольные конструкции из имен объектов и имен стрелок.
метафорично
(некогда сейчас формулировать корректнее)
1. аналог аксиомы существования пары в системе аксиом ZFC или NBG.
2. аналог аксиомы выбора (Axiom of choice)
ps
https://ru.wikipedia.org/wiki/Система_аксиом_фон_Неймана_-_Бернайса_-_Гёделя
https://wikicsu.ru/wiki/Axiom_of_choice
В математика, то аксиома выбора, или же AC, является аксиома из теория множеств эквивалентно утверждению, что а Декартово произведение набора непустых множеств непусто. Неформально говоря, аксиома выбора гласит, что для любой коллекции бункеров, каждая из которых содержит хотя бы один объект, можно выбрать ровно один объект из каждой ячейки, даже если коллекция бесконечный.Энциклопедия site:wikicsu.ru
Бертран Рассел придумал аналогию: для любой (даже бесконечной) коллекции пар обуви можно выделить левую обувь из каждой пары, чтобы получить соответствующий выбор; это позволяет напрямую определять функцию выбора. Для бесконечный набор пар носков (предполагается, что они не имеют отличительных черт), нет очевидного способа создать функцию, которая выбирает по одному носку из каждой пары, без применения аксиомы выбора.[2]
ps1
Метамоделирование https://ru.wikibooks.org/wiki/Метамоделирование
https://old.infodesigner.ru/pages/infodesigner/designing/metadesign/index.shtml
ps2
Теория именованных множеств
https://en.wikipedia.org/wiki/Named_set_theory
Теория именованных множеств
https://deep-econom.livejournal.com/975906.html
---
Маркировка семантической роли
https://en.m.wikipedia.org/wiki/Semantic_role_labeling
Маркировка семантической роли
https://deep-econom.livejournal.com/984833.html
---
Цель аксиоматической системы (мотивация создания аксиом.системы):
возможность создавать объекты и стрелки в любом количестве, давать им произвольные имена, а также собирать любые произвольные конструкции.
Уточнение и формализация аксиом может быть любой.
1. Аксиома существования морфизмов (стрелок). (неограниченного числа их)
2. Аксиома позволяющая приписывать(давать имена) морфизмам, объектам и их конструкциям посредством цепочек символов.
2.1. Аксиома существования имён. (неограниченного числа их)
3. Аксиома позволяющая создавать произвольные конструкции из объектов и стрелок.
3.1. Аксиома позволяющая создавать произвольные конструкции из имен объектов и имен стрелок.
метафорично
(некогда сейчас формулировать корректнее)
1. аналог аксиомы существования пары в системе аксиом ZFC или NBG.
2. аналог аксиомы выбора (Axiom of choice)
ps
https://ru.wikipedia.org/wiki/Система_аксиом_фон_Неймана_-_Бернайса_-_Гёделя
https://wikicsu.ru/wiki/Axiom_of_choice
В математика, то аксиома выбора, или же AC, является аксиома из теория множеств эквивалентно утверждению, что а Декартово произведение набора непустых множеств непусто. Неформально говоря, аксиома выбора гласит, что для любой коллекции бункеров, каждая из которых содержит хотя бы один объект, можно выбрать ровно один объект из каждой ячейки, даже если коллекция бесконечный.Энциклопедия site:wikicsu.ru
Бертран Рассел придумал аналогию: для любой (даже бесконечной) коллекции пар обуви можно выделить левую обувь из каждой пары, чтобы получить соответствующий выбор; это позволяет напрямую определять функцию выбора. Для бесконечный набор пар носков (предполагается, что они не имеют отличительных черт), нет очевидного способа создать функцию, которая выбирает по одному носку из каждой пары, без применения аксиомы выбора.[2]
ps1
Метамоделирование https://ru.wikibooks.org/wiki/Метамоделирование
https://old.infodesigner.ru/pages/infodesigner/designing/metadesign/index.shtml
ps2
Теория именованных множеств
https://en.wikipedia.org/wiki/Named_set_theory
Теория именованных множеств
https://deep-econom.livejournal.com/975906.html
---
Маркировка семантической роли
https://en.m.wikipedia.org/wiki/Semantic_role_labeling
Маркировка семантической роли
https://deep-econom.livejournal.com/984833.html
---