Теоретико-категорная формализация при проектировании нечетких интеллектуальных систем

• Опубліковано в: : Кибернетика и системный анализ
• Дата: 2009
• Автори: Парасюк, И.Н., Ершов, С.В.
• Формат: Стаття
• Мова: Російська
• Опубліковано: Інститут кібернетики ім. В.М. Глушкова НАН України 2009
• Теми: Новые средства кибернетики, информатики, вычислительной техники и системного анализа
• Онлайн доступ: https://nasplib.isofts.kiev.ua/handle/123456789/44494
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Цитувати: Теоретико-категорная формализация при проектировании нечетких интеллектуальных систем / И.Н. Парасюк, С.В. Ершов // Кибернетика и системный анализ. — 2009. — № 6. — С. 149-154. — Бібліогр.: 10 назв. — рос.

Розглянуто комплекс проблем, пов’язаних з теоретико-категорною формалізацією нечітких діаграм UML, нечітких графів та систем трансформації нечітких графів. Досліджено основні обмеження, яким мають задовольняти діаграми UML, що представляють основу нечітких моделей інтелектуальних систем. З використанням теоретико-категорного підходу досліджено властивості специфікації виведення на основі розподіленої системи трансформацій нечітких графів. Розроблено інструментальні засоби композиційного конструювання нечітких систем на основі морфізмів і категорій нечітких графів. A complex of problems related to the category-theoretic formalization of fuzzy UML diagrams, fuzzy graphs, and fuzzy-graph transformation systems is examined. The basic constraints that must be satisfied by UML diagrams, which are the basis of fuzzy models of intelligent systems are investigated. The category-theoretic approach is used to analyze the properties of reasoning specification based on a distributed system of fuzzy-graph transformations. Means for the compositional construction of fuzzy systems are developed using morphisms and categories of fuzzy graphs.