Формализация структуры иерархических систем с помощью дескрипционной логики

Михелев, В. В.; Маторин, С. И.

Формализация структуры иерархических систем с помощью дескрипционной логики

Дата публикации: 2020

Дата публикации в реестре: 2022-10-06T12:43:47Z

Аннотация:

В работе рассматриваются результаты формального описания иерархии концептуальных систем с учетом их системных взаимоотношений путем формализации средствами дискрипционной логики некоторых положений системно-объектного подхода. Описан синтаксис и семантика дескрипционных логик ALCOQ и SHIOQ. Введены и формально описаны понятия объёма и содержания концептуальной системы

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

Тип: Article

Формализация структуры иерархических систем с помощью дескрипционной логики

Связанные документы (рекомендация CORE)

Партнеры

Индексация