ИСХОДНЫЕ ПОЛОЖЕНИЯ СЕМАНТИЧЕСКОГО МОДЕЛИРОВАНИЯ
Методологическую основу семантического моделирования составляет задачный подход, теоретической базой является математическая логика, теория вероятностей, дифференциальные уравнения, геометрическая теория управления и другие разделы математики.
Решение задач осуществляется в рамках и терминах, релевантных предметной области на основе методологически единой математической платформы.
Описание предметной области и постановка задачи осуществляется в декларативном виде в виде некоторой исполнимой логико-вероятностной системы. Подобное формальное декларативное описание предметной области и запросов к ней носит название семантической модели.
Процесс моделирования предметной области в виде семантической модели представляет собой процесс проектирования информационной модели, представляющей данную предметную область. Данный процесс протекает в определенной технологической среде, основным элементом которой является инструментально-технологическая платформа (bSystem, DISCOVERY, KIRIK).