Миварные технологии: переход от продукций к двудольным миварным сетям и реализация автоматического конструктора алгоритмов, управляемого потоком входных данных и обрабатывающего более трех миллионов правил
Теоретически обоснована линейная вычислительная сложность автоматического конструирования алгоритмов (логического вывода) из переменных-объектов и правил-процедур миварных сетей. В качестве миварных правил могут быть использованы сервисы, модули и вычислительные процедуры. На основе миварных сетей с...
Збережено в:
Дата: | 2012 |
---|---|
Автор: | |
Формат: | Стаття |
Мова: | Russian |
Опубліковано: |
Інститут проблем штучного інтелекту МОН України та НАН України
2012
|
Назва видання: | Штучний інтелект |
Теми: | |
Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/57707 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
Цитувати: | Миварные технологии: переход от продукций к двудольным миварным сетям и реализация автоматического конструктора алгоритмов, управляемого потоком входных данных и обрабатывающего более трех миллионов правил / О.О. Варламов // Штучний інтелект. — 2012. — № 4. — С. 11-33. — Бібліогр.: 33 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraineid |
irk-123456789-57707 |
---|---|
record_format |
dspace |
spelling |
irk-123456789-577072014-03-14T03:01:27Z Миварные технологии: переход от продукций к двудольным миварным сетям и реализация автоматического конструктора алгоритмов, управляемого потоком входных данных и обрабатывающего более трех миллионов правил Варламов, О.О. Концептуальные проблемы создания систем искусственного интеллекта Теоретически обоснована линейная вычислительная сложность автоматического конструирования алгоритмов (логического вывода) из переменных-объектов и правил-процедур миварных сетей. В качестве миварных правил могут быть использованы сервисы, модули и вычислительные процедуры. На основе миварных сетей создан программный комплекс УДАВ, который обрабатывает более 1,17 млн переменных и более 3,5 млн правил на обычных компьютерах и ноутбуках. Приведены результаты экспериментов, которые подтверждают линейную сложность логического вывода в формализме миварных сетей. Теоретично обґрунтована лінійна обчислювальна складність автоматичного конструювання алгоритмів (логічного висновку) зі змінних-об’єктів та правил-процедур міварних мереж. Як міварні правила можуть бути використані сервіси, модулі та обчислювальні процедури. На основі міварних мереж створений програмний комплекс «УДАВ», що оброблює більше 1,17 млн змінних та більш ніж 3,5 млн правил на звичайних комп’ютерах та ноутбуках. Наведені результати експериментів, які підтверджують лінійну складність логічного висновку у формалізмі міварних мереж. The theoretical transition from the graphs of production systems to the bipartite graphs of the MIVAR nets is shown. Examples of the implementation of the MIVAR nets in the formalisms of matrixes and graphs are given. The linear computational complexity of algorithms for automated building of objects and rules of the MIVAR nets is theoretically proved. On the basis of the MIVAR nets the UDAV software complex is developed, handling more than 1.17 million objects and more than 3.5 million rules on ordinary computers. The results of experiments that confirm a linear computational complexity of the MIVAR method of information processing are given. 2012 Article Миварные технологии: переход от продукций к двудольным миварным сетям и реализация автоматического конструктора алгоритмов, управляемого потоком входных данных и обрабатывающего более трех миллионов правил / О.О. Варламов // Штучний інтелект. — 2012. — № 4. — С. 11-33. — Бібліогр.: 33 назв. — рос. 1561-5359 http://dspace.nbuv.gov.ua/handle/123456789/57707 004.8 ru Штучний інтелект Інститут проблем штучного інтелекту МОН України та НАН України |
institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
collection |
DSpace DC |
language |
Russian |
topic |
Концептуальные проблемы создания систем искусственного интеллекта Концептуальные проблемы создания систем искусственного интеллекта |
spellingShingle |
Концептуальные проблемы создания систем искусственного интеллекта Концептуальные проблемы создания систем искусственного интеллекта Варламов, О.О. Миварные технологии: переход от продукций к двудольным миварным сетям и реализация автоматического конструктора алгоритмов, управляемого потоком входных данных и обрабатывающего более трех миллионов правил Штучний інтелект |
description |
Теоретически обоснована линейная вычислительная сложность автоматического конструирования алгоритмов (логического вывода) из переменных-объектов и правил-процедур миварных сетей. В качестве миварных правил могут быть использованы сервисы, модули и вычислительные процедуры. На основе миварных сетей создан программный комплекс УДАВ, который обрабатывает более 1,17 млн переменных и более 3,5 млн правил на обычных компьютерах и ноутбуках. Приведены результаты экспериментов, которые подтверждают линейную сложность логического вывода в формализме миварных сетей. |
format |
Article |
author |
Варламов, О.О. |
author_facet |
Варламов, О.О. |
author_sort |
Варламов, О.О. |
title |
Миварные технологии: переход от продукций к двудольным миварным сетям и реализация автоматического конструктора алгоритмов, управляемого потоком входных данных и обрабатывающего более трех миллионов правил |
title_short |
Миварные технологии: переход от продукций к двудольным миварным сетям и реализация автоматического конструктора алгоритмов, управляемого потоком входных данных и обрабатывающего более трех миллионов правил |
title_full |
Миварные технологии: переход от продукций к двудольным миварным сетям и реализация автоматического конструктора алгоритмов, управляемого потоком входных данных и обрабатывающего более трех миллионов правил |
title_fullStr |
Миварные технологии: переход от продукций к двудольным миварным сетям и реализация автоматического конструктора алгоритмов, управляемого потоком входных данных и обрабатывающего более трех миллионов правил |
title_full_unstemmed |
Миварные технологии: переход от продукций к двудольным миварным сетям и реализация автоматического конструктора алгоритмов, управляемого потоком входных данных и обрабатывающего более трех миллионов правил |
title_sort |
миварные технологии: переход от продукций к двудольным миварным сетям и реализация автоматического конструктора алгоритмов, управляемого потоком входных данных и обрабатывающего более трех миллионов правил |
publisher |
Інститут проблем штучного інтелекту МОН України та НАН України |
publishDate |
2012 |
topic_facet |
Концептуальные проблемы создания систем искусственного интеллекта |
url |
http://dspace.nbuv.gov.ua/handle/123456789/57707 |
citation_txt |
Миварные технологии: переход от продукций к двудольным миварным сетям и реализация автоматического конструктора алгоритмов, управляемого потоком входных данных и обрабатывающего более трех миллионов правил / О.О. Варламов // Штучний інтелект. — 2012. — № 4. — С. 11-33. — Бібліогр.: 33 назв. — рос. |
series |
Штучний інтелект |
work_keys_str_mv |
AT varlamovoo mivarnyetehnologiiperehodotprodukcijkdvudolʹnymmivarnymsetâmirealizaciâavtomatičeskogokonstruktoraalgoritmovupravlâemogopotokomvhodnyhdannyhiobrabatyvaûŝegoboleetrehmillionovpravil |
first_indexed |
2023-10-18T18:30:29Z |
last_indexed |
2023-10-18T18:30:29Z |
_version_ |
1796144399504113664 |