Реализация общедоступного миварного универсального решателя задач на основе адаптивного активного логического вывода с линейной сложностью и облачных технологий
Данное исследование направлено на создание логического искусственного интеллекта и его применение в различных предметных областях. Предложено развитие миварной теории путем перехода от формализма «правила – переменные» к формализму «отношения – правила – переменные» в миварных сетях и введением м...
Збережено в:
Дата: | 2013 |
---|---|
Автори: | , , , , |
Формат: | Стаття |
Мова: | Russian |
Опубліковано: |
Інститут проблем штучного інтелекту МОН України та НАН України
2013
|
Назва видання: | Искусственный интеллект |
Теми: | |
Онлайн доступ: | http://dspace.nbuv.gov.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 Ukraineid |
irk-123456789-84916 |
---|---|
record_format |
dspace |
spelling |
irk-123456789-849162015-07-18T03:01:53Z Реализация общедоступного миварного универсального решателя задач на основе адаптивного активного логического вывода с линейной сложностью и облачных технологий Чибирова, М.О. Сергушин, Г.С. Варламов, О.О. Елисеев, Д.В. Хадиев, А.М. Обучающие и экспертные системы Данное исследование направлено на создание логического искусственного интеллекта и его применение в различных предметных областях. Предложено развитие миварной теории путем перехода от формализма «правила – переменные» к формализму «отношения – правила – переменные» в миварных сетях и введением многоуровневого и многомерного представления правил. Представлены результаты создания новой версии миварного универсального решателя задач УДАВ, способного выполнять адаптивный активный логический вывод на двухуровневом представлении «отношения – правила – переменные». УДАВ реализован на основе облачных технологий и размещен на сайте 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. 2013 Article Реализация общедоступного миварного универсального решателя задач на основе адаптивного активного логического вывода с линейной сложностью и облачных технологий / М.О. Чибирова, Г.С. Сергушин, О.О. Варламов, Д.В. Елисеев, А.М. Хадиев // Искусственный интеллект. — 2013. — № 3. — С. 512–523. — Бібліогр.: 23 назв. — рос. http://dspace.nbuv.gov.ua/handle/123456789/84916 004.8 ru Искусственный интеллект Інститут проблем штучного інтелекту МОН України та НАН України |
institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
collection |
DSpace DC |
language |
Russian |
topic |
Обучающие и экспертные системы Обучающие и экспертные системы |
spellingShingle |
Обучающие и экспертные системы Обучающие и экспертные системы Чибирова, М.О. Сергушин, Г.С. Варламов, О.О. Елисеев, Д.В. Хадиев, А.М. Реализация общедоступного миварного универсального решателя задач на основе адаптивного активного логического вывода с линейной сложностью и облачных технологий Искусственный интеллект |
description |
Данное исследование направлено на создание логического искусственного интеллекта и его применение
в различных предметных областях. Предложено развитие миварной теории путем перехода от формализма
«правила – переменные» к формализму «отношения – правила – переменные» в миварных сетях и
введением многоуровневого и многомерного представления правил. Представлены результаты создания
новой версии миварного универсального решателя задач УДАВ, способного выполнять адаптивный
активный логический вывод на двухуровневом представлении «отношения – правила – переменные».
УДАВ реализован на основе облачных технологий и размещен на сайте wwww.mivar.org. Экспериментально
подтверждена теоретическая линейная вычислительная сложность логического вывода и автоматического конструирования алгоритмов решения различных задач на основе миварных сетей и продукций вида
«если – то – иначе». |
format |
Article |
author |
Чибирова, М.О. Сергушин, Г.С. Варламов, О.О. Елисеев, Д.В. Хадиев, А.М. |
author_facet |
Чибирова, М.О. Сергушин, Г.С. Варламов, О.О. Елисеев, Д.В. Хадиев, А.М. |
author_sort |
Чибирова, М.О. |
title |
Реализация общедоступного миварного универсального решателя задач на основе адаптивного активного логического вывода с линейной сложностью и облачных технологий |
title_short |
Реализация общедоступного миварного универсального решателя задач на основе адаптивного активного логического вывода с линейной сложностью и облачных технологий |
title_full |
Реализация общедоступного миварного универсального решателя задач на основе адаптивного активного логического вывода с линейной сложностью и облачных технологий |
title_fullStr |
Реализация общедоступного миварного универсального решателя задач на основе адаптивного активного логического вывода с линейной сложностью и облачных технологий |
title_full_unstemmed |
Реализация общедоступного миварного универсального решателя задач на основе адаптивного активного логического вывода с линейной сложностью и облачных технологий |
title_sort |
реализация общедоступного миварного универсального решателя задач на основе адаптивного активного логического вывода с линейной сложностью и облачных технологий |
publisher |
Інститут проблем штучного інтелекту МОН України та НАН України |
publishDate |
2013 |
topic_facet |
Обучающие и экспертные системы |
url |
http://dspace.nbuv.gov.ua/handle/123456789/84916 |
citation_txt |
Реализация общедоступного миварного универсального решателя задач на основе
адаптивного активного логического вывода с линейной сложностью и облачных технологий / М.О. Чибирова, Г.С. Сергушин, О.О. Варламов, Д.В. Елисеев, А.М. Хадиев // Искусственный интеллект. — 2013. — № 3. — С. 512–523. — Бібліогр.: 23 назв. — рос. |
series |
Искусственный интеллект |
work_keys_str_mv |
AT čibirovamo realizaciâobŝedostupnogomivarnogouniversalʹnogorešatelâzadačnaosnoveadaptivnogoaktivnogologičeskogovyvodaslinejnojsložnostʹûioblačnyhtehnologij AT sergušings realizaciâobŝedostupnogomivarnogouniversalʹnogorešatelâzadačnaosnoveadaptivnogoaktivnogologičeskogovyvodaslinejnojsložnostʹûioblačnyhtehnologij AT varlamovoo realizaciâobŝedostupnogomivarnogouniversalʹnogorešatelâzadačnaosnoveadaptivnogoaktivnogologičeskogovyvodaslinejnojsložnostʹûioblačnyhtehnologij AT eliseevdv realizaciâobŝedostupnogomivarnogouniversalʹnogorešatelâzadačnaosnoveadaptivnogoaktivnogologičeskogovyvodaslinejnojsložnostʹûioblačnyhtehnologij AT hadievam realizaciâobŝedostupnogomivarnogouniversalʹnogorešatelâzadačnaosnoveadaptivnogoaktivnogologičeskogovyvodaslinejnojsložnostʹûioblačnyhtehnologij |
first_indexed |
2023-10-18T19:29:58Z |
last_indexed |
2023-10-18T19:29:58Z |
_version_ |
1796147126788423680 |