Миварные технологии: переход от продукций к двудольным миварным сетям и реализация автоматического конструктора алгоритмов, управляемого потоком входных данных и обрабатывающего более трех миллионов правил

Теоретически обоснована линейная вычислительная сложность автоматического конструирования алгоритмов (логического вывода) из переменных-объектов и правил-процедур миварных сетей. В качестве миварных правил могут быть использованы сервисы, модули и вычислительные процедуры. На основе миварных сетей с...

Повний опис

Збережено в:
Бібліографічні деталі
Дата: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 Ukraine
id 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