М.С. Ярошинський, аспірант, О.В. Сіроткін, аспірант,
Д.П. Сінько, аспірант, С.Б. Гунько, аспірант, Д.О. Манолюк, аспірант
Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України
Україна, 03164, Київ, вул. Генерала Наумова, 15
тел. +38 093 970 29 39, e-mail:
Èlektron. model. 2023, 45(2):34-43
https://doi.org/10.15407/emodel.45.02.034
АНОТАЦІЯ
Класифікації широко застосовуються в семантичних мережах та системах підтримки прийняття рішень на основі формальних знань і є складовою частиною комп’ютерних онтологій. Класифікації та комп'ютерні онтології, які на них побудовані, являють собою результат роботи одного або декількох експертів. Як наслідок, такі класифікації відображають суб’єктивний погляд автора (або авторів) на світ та взаємозв’язок між класами (концептами) створеної класифікації. Запропоновано підхід, який дозволяє оцінити коректність побудови пласкої класифікації.
КЛЮЧОВІ СЛОВА:
класифікація, алгебра класифікацій, ізоморфізм класифікацій, коректність класифікацій, правила ділення класів.
СПИСОК ЛІТЕРАТУРИ
- Коротков Е.М. Дослідження систем управління. М.: Юрайт, 2015, 228 с.
- Басипов А.А., Демич О.В. Семантический поиск: проблемы и технологии. // Вестник Астраханского государственного технического университета. Серия: Управление, вычислительная техника и информатика, 2012, № 1, с. 104—111.
- Ивлев Ю.В., Логика. Краткий курс. /Учеб. пособие. М. Проспект, 2008, 304 с.
- Шаталкин А.И. Таксономия. Основания, принципы и правилаМ.: КМК, 2012, 600 с.
- Вьюгин В. Математические основы теории машинного обучения и прогнозирования. М.: МЦНМО, 2013, 387 с.
- Голдблат Р. Топосы. Категорный анализ логики. М.: Мир, 1983, 488 с.
- Берзтис А.Т. Структуры данных. М.: Статистика, 1974, 408 с.
- Adamek J. Herrlich. H, Strecker G.E. Abstract and Concrete Categories. The Joy of Cats. Dover Pub Inc, 2009, 517
- Кравцов Г.А. Модель обчислень на класифікаціях // Електрон. моделювання, 2016, 38, № 1, с. 73—87.
ЯРОШИНСЬКИЙ Микола Сергійович, аспірант Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України. В 2009 р. закінчив Національний університет кораблебудування ім. адм. Макарова. Область наукових досліджень — програмування, розробка розподілених гетерогенних обчислювальних систем.
СІРОТКІН Олексій Вікторович, аспірант Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України. В 2017 р. закінчив Черкаський державний технологічний університет. Область наукових досліджень — методи прогнозування та балансування навантаження.
СІНЬКО Дмитро Павлович, аспірант Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України. В 2009 р. закінчив Луганський державний університет внутрішніх справ ім. Е.О. Дідоренка. Область наукових досліджень — теорія та методи штучного інтелекту.
ГУНЬКО Сергій Борисович, аспірант Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України. В 2022 р. закінчив Національну академію внутрішніх справ. Область наукових досліджень — математичне моделювання логістичних процесів портової діяльності, теорія та методи штучного інтелекту.
МАНОЛЮК Дмитро Олегович, аспірант Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України. В 2014 р. закінчив Київський національний університет ім. Тараса Шевченко. Область наукових досліджень — криптографія, програмування, теорія та методи штучного інтелекту.