Теоретико-категорная формализация при проектировании нечетких интеллектуальных систем
Розглянуто комплекс проблем, пов’язаних з теоретико-категорною формалізацією нечітких діаграм UML, нечітких графів та систем трансформації нечітких графів. Досліджено основні обмеження, яким мають задовольняти діаграми UML, що представляють основу нечітких моделей інтелектуальних систем. З використа...
Збережено в:
| Опубліковано в: : | Кибернетика и системный анализ |
|---|---|
| Дата: | 2009 |
| Автори: | , |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
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 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-44494 |
|---|---|
| record_format |
dspace |
| spelling |
Парасюк, И.Н. Ершов, С.В. 2013-06-02T09:35:41Z 2013-06-02T09:35:41Z 2009 Теоретико-категорная формализация при проектировании нечетких интеллектуальных систем / И.Н. Парасюк, С.В. Ершов // Кибернетика и системный анализ. — 2009. — № 6. — С. 149-154. — Бібліогр.: 10 назв. — рос. 0023-1274 https://nasplib.isofts.kiev.ua/handle/123456789/44494 681.3: 517.11 Розглянуто комплекс проблем, пов’язаних з теоретико-категорною формалізацією нечітких діаграм 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. ru Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Новые средства кибернетики, информатики, вычислительной техники и системного анализа Теоретико-категорная формализация при проектировании нечетких интеллектуальных систем Теоретико-категорна формалізація при проектуванні нечітких інтелектуальних систем Category-theoretic formalization in designing fuzzy intelligent systems Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Теоретико-категорная формализация при проектировании нечетких интеллектуальных систем |
| spellingShingle |
Теоретико-категорная формализация при проектировании нечетких интеллектуальных систем Парасюк, И.Н. Ершов, С.В. Новые средства кибернетики, информатики, вычислительной техники и системного анализа |
| title_short |
Теоретико-категорная формализация при проектировании нечетких интеллектуальных систем |
| title_full |
Теоретико-категорная формализация при проектировании нечетких интеллектуальных систем |
| title_fullStr |
Теоретико-категорная формализация при проектировании нечетких интеллектуальных систем |
| title_full_unstemmed |
Теоретико-категорная формализация при проектировании нечетких интеллектуальных систем |
| title_sort |
теоретико-категорная формализация при проектировании нечетких интеллектуальных систем |
| author |
Парасюк, И.Н. Ершов, С.В. |
| author_facet |
Парасюк, И.Н. Ершов, С.В. |
| topic |
Новые средства кибернетики, информатики, вычислительной техники и системного анализа |
| topic_facet |
Новые средства кибернетики, информатики, вычислительной техники и системного анализа |
| publishDate |
2009 |
| language |
Russian |
| container_title |
Кибернетика и системный анализ |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| format |
Article |
| title_alt |
Теоретико-категорна формалізація при проектуванні нечітких інтелектуальних систем Category-theoretic formalization in designing fuzzy intelligent systems |
| description |
Розглянуто комплекс проблем, пов’язаних з теоретико-категорною формалізацією нечітких діаграм 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.
|
| issn |
0023-1274 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/44494 |
| citation_txt |
Теоретико-категорная формализация при проектировании нечетких интеллектуальных систем / И.Н. Парасюк, С.В. Ершов // Кибернетика и системный анализ. — 2009. — № 6. — С. 149-154. — Бібліогр.: 10 назв. — рос. |
| work_keys_str_mv |
AT parasûkin teoretikokategornaâformalizaciâpriproektirovaniinečetkihintellektualʹnyhsistem AT eršovsv teoretikokategornaâformalizaciâpriproektirovaniinečetkihintellektualʹnyhsistem AT parasûkin teoretikokategornaformalízacíâpriproektuvannínečítkihíntelektualʹnihsistem AT eršovsv teoretikokategornaformalízacíâpriproektuvannínečítkihíntelektualʹnihsistem AT parasûkin categorytheoreticformalizationindesigningfuzzyintelligentsystems AT eršovsv categorytheoreticformalizationindesigningfuzzyintelligentsystems |
| first_indexed |
2025-12-07T21:18:43Z |
| last_indexed |
2025-12-07T21:18:43Z |
| _version_ |
1850885876681277440 |