Реализация общедоступного миварного универсального решателя задач на основе адаптивного активного логического вывода с линейной сложностью и облачных технологий
Данное исследование направлено на создание логического искусственного интеллекта и его применение
 в различных предметных областях. Предложено развитие миварной теории путем перехода от формализма
 «правила – переменные» к формализму «отношения – правила – переменные» в миварных сетя...
Збережено в:
| Опубліковано в: : | Искусственный интеллект |
|---|---|
| Дата: | 2013 |
| Автори: | , , , , |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут проблем штучного інтелекту МОН України та НАН України
2013
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/84916 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Реализация общедоступного миварного универсального решателя задач на основе
 адаптивного активного логического вывода с линейной сложностью и облачных технологий / М.О. Чибирова, Г.С. Сергушин, О.О. Варламов, Д.В. Елисеев, А.М. Хадиев // Искусственный интеллект. — 2013. — № 3. — С. 512–523. — Бібліогр.: 23 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862679773489135616 |
|---|---|
| author | Чибирова, М.О. Сергушин, Г.С. Варламов, О.О. Елисеев, Д.В. Хадиев, А.М. |
| author_facet | Чибирова, М.О. Сергушин, Г.С. Варламов, О.О. Елисеев, Д.В. Хадиев, А.М. |
| citation_txt | Реализация общедоступного миварного универсального решателя задач на основе
 адаптивного активного логического вывода с линейной сложностью и облачных технологий / М.О. Чибирова, Г.С. Сергушин, О.О. Варламов, Д.В. Елисеев, А.М. Хадиев // Искусственный интеллект. — 2013. — № 3. — С. 512–523. — Бібліогр.: 23 назв. — рос. |
| collection | DSpace DC |
| container_title | Искусственный интеллект |
| description | Данное исследование направлено на создание логического искусственного интеллекта и его применение
в различных предметных областях. Предложено развитие миварной теории путем перехода от формализма
«правила – переменные» к формализму «отношения – правила – переменные» в миварных сетях и
введением многоуровневого и многомерного представления правил. Представлены результаты создания
новой версии миварного универсального решателя задач УДАВ, способного выполнять адаптивный
активный логический вывод на двухуровневом представлении «отношения – правила – переменные».
УДАВ реализован на основе облачных технологий и размещен на сайте wwww.mivar.org. Экспериментально
подтверждена теоретическая линейная вычислительная сложность логического вывода и автоматического конструирования алгоритмов решения различных задач на основе миварных сетей и продукций вида
«если – то – иначе».
Дане дослідження спрямоване на створення логічного штучного інтелекту та його застосування у різних
предметних областях. Запропонований розвиток міварної теорії шляхом переходу від формалізму
«правила – змінні» до формалізму «відношення – правила – змінні» в міварних мережах і введення
багаторівневого і багатовимірного представлення правил. Представлені результати створення нової
версії міварного універсального розв’язника задач УДАВ, здатного виконувати адаптивний логічний
вивід на дворівневому представленні «відношення – правила – змінні». УДАВ реалізований на основі
хмарних технологій і розміщений на сайті wwww.mivar.org. Експериментально підтверджена теоретична
лінійна обчислювальна складність логічного виводу й автоматичного конструювання алгоритмів розв’язання
різноманітних задач на основі міварних мереж і продукцій виду «якщо – то – інакше».
The aim of our research is to create a logical artificial intelligence and its applications in various domains.
Proposed development of Mivar theory consist in moving from formalism «rules – variables» to the formalism
of «relationship – rules – variables» in such networks and in introduction of multi-level and multi-dimensional
representation of the rules. A new version of the universal problem solver is able to perform adaptive logical
conclusion based on a two-level conception of «relationship – rules – variables». The latest version is based
on cloud technologies. The latest version of UDAV is based on cloud technologies and is available on site
wwww.mivar.org. Experimentally confirmed the theoretical linear complexity of logical conclusion and automatic
construction of algorithms for solving various problems on the basis mivar networks and productions of the
form «if – then – else». In the long term UDAV can almost completely replace the human operator in automated
data processing systems and control systems.
|
| first_indexed | 2025-12-07T15:43:57Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-84916 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| language | Russian |
| last_indexed | 2025-12-07T15:43:57Z |
| publishDate | 2013 |
| publisher | Інститут проблем штучного інтелекту МОН України та НАН України |
| record_format | dspace |
| spelling | Чибирова, М.О. Сергушин, Г.С. Варламов, О.О. Елисеев, Д.В. Хадиев, А.М. 2015-07-17T04:21:44Z 2015-07-17T04:21:44Z 2013 Реализация общедоступного миварного универсального решателя задач на основе
 адаптивного активного логического вывода с линейной сложностью и облачных технологий / М.О. Чибирова, Г.С. Сергушин, О.О. Варламов, Д.В. Елисеев, А.М. Хадиев // Искусственный интеллект. — 2013. — № 3. — С. 512–523. — Бібліогр.: 23 назв. — рос. https://nasplib.isofts.kiev.ua/handle/123456789/84916 004.8 Данное исследование направлено на создание логического искусственного интеллекта и его применение
 в различных предметных областях. Предложено развитие миварной теории путем перехода от формализма
 «правила – переменные» к формализму «отношения – правила – переменные» в миварных сетях и
 введением многоуровневого и многомерного представления правил. Представлены результаты создания
 новой версии миварного универсального решателя задач УДАВ, способного выполнять адаптивный
 активный логический вывод на двухуровневом представлении «отношения – правила – переменные».
 УДАВ реализован на основе облачных технологий и размещен на сайте wwww.mivar.org. Экспериментально
 подтверждена теоретическая линейная вычислительная сложность логического вывода и автоматического конструирования алгоритмов решения различных задач на основе миварных сетей и продукций вида
 «если – то – иначе». Дане дослідження спрямоване на створення логічного штучного інтелекту та його застосування у різних
 предметних областях. Запропонований розвиток міварної теорії шляхом переходу від формалізму
 «правила – змінні» до формалізму «відношення – правила – змінні» в міварних мережах і введення
 багаторівневого і багатовимірного представлення правил. Представлені результати створення нової
 версії міварного універсального розв’язника задач УДАВ, здатного виконувати адаптивний логічний
 вивід на дворівневому представленні «відношення – правила – змінні». УДАВ реалізований на основі
 хмарних технологій і розміщений на сайті wwww.mivar.org. Експериментально підтверджена теоретична
 лінійна обчислювальна складність логічного виводу й автоматичного конструювання алгоритмів розв’язання
 різноманітних задач на основі міварних мереж і продукцій виду «якщо – то – інакше». The aim of our research is to create a logical artificial intelligence and its applications in various domains.
 Proposed development of Mivar theory consist in moving from formalism «rules – variables» to the formalism
 of «relationship – rules – variables» in such networks and in introduction of multi-level and multi-dimensional
 representation of the rules. A new version of the universal problem solver is able to perform adaptive logical
 conclusion based on a two-level conception of «relationship – rules – variables». The latest version is based
 on cloud technologies. The latest version of UDAV is based on cloud technologies and is available on site
 wwww.mivar.org. Experimentally confirmed the theoretical linear complexity of logical conclusion and automatic
 construction of algorithms for solving various problems on the basis mivar networks and productions of the
 form «if – then – else». In the long term UDAV can almost completely replace the human operator in automated
 data processing systems and control systems. ru Інститут проблем штучного інтелекту МОН України та НАН України Искусственный интеллект Обучающие и экспертные системы Реализация общедоступного миварного универсального решателя задач на основе адаптивного активного логического вывода с линейной сложностью и облачных технологий The implementation of the universal solver based on adaptive logical conclusion with linear complexity and cloud technologies Article published earlier |
| spellingShingle | Реализация общедоступного миварного универсального решателя задач на основе адаптивного активного логического вывода с линейной сложностью и облачных технологий Чибирова, М.О. Сергушин, Г.С. Варламов, О.О. Елисеев, Д.В. Хадиев, А.М. Обучающие и экспертные системы |
| title | Реализация общедоступного миварного универсального решателя задач на основе адаптивного активного логического вывода с линейной сложностью и облачных технологий |
| title_alt | The implementation of the universal solver based on adaptive logical conclusion with linear complexity and cloud technologies |
| title_full | Реализация общедоступного миварного универсального решателя задач на основе адаптивного активного логического вывода с линейной сложностью и облачных технологий |
| title_fullStr | Реализация общедоступного миварного универсального решателя задач на основе адаптивного активного логического вывода с линейной сложностью и облачных технологий |
| title_full_unstemmed | Реализация общедоступного миварного универсального решателя задач на основе адаптивного активного логического вывода с линейной сложностью и облачных технологий |
| title_short | Реализация общедоступного миварного универсального решателя задач на основе адаптивного активного логического вывода с линейной сложностью и облачных технологий |
| title_sort | реализация общедоступного миварного универсального решателя задач на основе адаптивного активного логического вывода с линейной сложностью и облачных технологий |
| topic | Обучающие и экспертные системы |
| topic_facet | Обучающие и экспертные системы |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/84916 |
| work_keys_str_mv | AT čibirovamo realizaciâobŝedostupnogomivarnogouniversalʹnogorešatelâzadačnaosnoveadaptivnogoaktivnogologičeskogovyvodaslineinoisložnostʹûioblačnyhtehnologii AT sergušings realizaciâobŝedostupnogomivarnogouniversalʹnogorešatelâzadačnaosnoveadaptivnogoaktivnogologičeskogovyvodaslineinoisložnostʹûioblačnyhtehnologii AT varlamovoo realizaciâobŝedostupnogomivarnogouniversalʹnogorešatelâzadačnaosnoveadaptivnogoaktivnogologičeskogovyvodaslineinoisložnostʹûioblačnyhtehnologii AT eliseevdv realizaciâobŝedostupnogomivarnogouniversalʹnogorešatelâzadačnaosnoveadaptivnogoaktivnogologičeskogovyvodaslineinoisložnostʹûioblačnyhtehnologii AT hadievam realizaciâobŝedostupnogomivarnogouniversalʹnogorešatelâzadačnaosnoveadaptivnogoaktivnogologičeskogovyvodaslineinoisložnostʹûioblačnyhtehnologii AT čibirovamo theimplementationoftheuniversalsolverbasedonadaptivelogicalconclusionwithlinearcomplexityandcloudtechnologies AT sergušings theimplementationoftheuniversalsolverbasedonadaptivelogicalconclusionwithlinearcomplexityandcloudtechnologies AT varlamovoo theimplementationoftheuniversalsolverbasedonadaptivelogicalconclusionwithlinearcomplexityandcloudtechnologies AT eliseevdv theimplementationoftheuniversalsolverbasedonadaptivelogicalconclusionwithlinearcomplexityandcloudtechnologies AT hadievam theimplementationoftheuniversalsolverbasedonadaptivelogicalconclusionwithlinearcomplexityandcloudtechnologies |