http://dspace.bsu.edu.ru/handle/123456789/47696| Название: | Формализация структуры иерархических систем с помощью дескрипционной логики |
| Авторы: | Михелев, В. В. Маторин, С. И. |
| Ключевые слова: | техника кибернетика теория сложных систем сложные системы информационные системы концептуальные системы иерархические системы формализация системно-объектный подход дескрипционная логика |
| Дата публикации: | 2020 |
| Библиографическое описание: | Михелев, В.В. Формализация структуры иерархических систем с помощью дескрипционной логики / В.В. Михелев, С.И. Маторин // Информатика: проблемы, методы, технологии : материалы XX Междунар. науч.-метод. конф., Воронеж, 13-14 февр. 2020 г. / ВГУ и др. ; под ред. А.А. Зацаринного, Д.Н. Борисова. - Воронеж, 2020. - С. 1645-1654. - Библиогр.: с. 1654. |
| Краткий осмотр (реферат): | В работе рассматриваются результаты формального описания иерархии концептуальных систем с учетом их системных взаимоотношений путем формализации средствами дискрипционной логики некоторых положений системно-объектного подхода. Описан синтаксис и семантика дескрипционных логик ALCOQ и SHIOQ. Введены и формально описаны понятия объёма и содержания концептуальной системы |
| URI (Унифицированный идентификатор ресурса): | http://dspace.bsu.edu.ru/handle/123456789/47696 |
| Располагается в коллекциях: | Статьи из сборников |
| Файл | Описание | Размер | Формат | |
|---|---|---|---|---|
| Mikhelev_Formalizatsiya_20.pdf | 381.79 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.