http://dspace.bsu.edu.ru/handle/123456789/47696| Title: | Формализация структуры иерархических систем с помощью дескрипционной логики |
| Authors: | Михелев, В. В. Маторин, С. И. |
| Keywords: | техника кибернетика теория сложных систем сложные системы информационные системы концептуальные системы иерархические системы формализация системно-объектный подход дескрипционная логика |
| Issue Date: | 2020 |
| Citation: | Михелев, В.В. Формализация структуры иерархических систем с помощью дескрипционной логики / В.В. Михелев, С.И. Маторин // Информатика: проблемы, методы, технологии : материалы XX Междунар. науч.-метод. конф., Воронеж, 13-14 февр. 2020 г. / ВГУ и др. ; под ред. А.А. Зацаринного, Д.Н. Борисова. - Воронеж, 2020. - С. 1645-1654. - Библиогр.: с. 1654. |
| Abstract: | В работе рассматриваются результаты формального описания иерархии концептуальных систем с учетом их системных взаимоотношений путем формализации средствами дискрипционной логики некоторых положений системно-объектного подхода. Описан синтаксис и семантика дескрипционных логик ALCOQ и SHIOQ. Введены и формально описаны понятия объёма и содержания концептуальной системы |
| URI: | http://dspace.bsu.edu.ru/handle/123456789/47696 |
| Appears in Collections: | Статьи из сборников |
| File | Description | Size | Format | |
|---|---|---|---|---|
| Mikhelev_Formalizatsiya_20.pdf | 381.79 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.