Миварные технологии: переход от продукций к двудольным миварным сетям и реализация автоматического конструктора алгоритмов, управляемого потоком входных данных и обрабатывающего более трех миллионов правил
Теоретически обоснована линейная вычислительная сложность автоматического конструирования алгоритмов (логического вывода) из переменных-объектов и правил-процедур миварных сетей. В качестве миварных правил могут быть использованы сервисы, модули и вычислительные процедуры. На основе миварных сетей с...
Gespeichert in:
| Veröffentlicht in: | Штучний інтелект |
|---|---|
| Datum: | 2012 |
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут проблем штучного інтелекту МОН України та НАН України
2012
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/57707 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Миварные технологии: переход от продукций к двудольным миварным сетям и реализация автоматического конструктора алгоритмов, управляемого потоком входных данных и обрабатывающего более трех миллионов правил / О.О. Варламов // Штучний інтелект. — 2012. — № 4. — С. 11-33. — Бібліогр.: 33 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862652000329531392 |
|---|---|
| author | Варламов, О.О. |
| author_facet | Варламов, О.О. |
| citation_txt | Миварные технологии: переход от продукций к двудольным миварным сетям и реализация автоматического конструктора алгоритмов, управляемого потоком входных данных и обрабатывающего более трех миллионов правил / О.О. Варламов // Штучний інтелект. — 2012. — № 4. — С. 11-33. — Бібліогр.: 33 назв. — рос. |
| collection | DSpace DC |
| container_title | Штучний інтелект |
| description | Теоретически обоснована линейная вычислительная сложность автоматического конструирования алгоритмов (логического вывода) из переменных-объектов и правил-процедур миварных сетей. В качестве миварных правил могут быть использованы сервисы, модули и вычислительные процедуры. На основе миварных сетей создан программный комплекс УДАВ, который обрабатывает более 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.
|
| first_indexed | 2025-12-01T21:10:59Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-57707 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1561-5359 |
| language | Russian |
| last_indexed | 2025-12-01T21:10:59Z |
| publishDate | 2012 |
| publisher | Інститут проблем штучного інтелекту МОН України та НАН України |
| record_format | dspace |
| spelling | Варламов, О.О. 2014-03-13T21:13:11Z 2014-03-13T21:13:11Z 2012 Миварные технологии: переход от продукций к двудольным миварным сетям и реализация автоматического конструктора алгоритмов, управляемого потоком входных данных и обрабатывающего более трех миллионов правил / О.О. Варламов // Штучний інтелект. — 2012. — № 4. — С. 11-33. — Бібліогр.: 33 назв. — рос. 1561-5359 https://nasplib.isofts.kiev.ua/handle/123456789/57707 004.8 Теоретически обоснована линейная вычислительная сложность автоматического конструирования алгоритмов (логического вывода) из переменных-объектов и правил-процедур миварных сетей. В качестве миварных правил могут быть использованы сервисы, модули и вычислительные процедуры. На основе миварных сетей создан программный комплекс УДАВ, который обрабатывает более 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. ru Інститут проблем штучного інтелекту МОН України та НАН України Штучний інтелект Концептуальные проблемы создания систем искусственного интеллекта Миварные технологии: переход от продукций к двудольным миварным сетям и реализация автоматического конструктора алгоритмов, управляемого потоком входных данных и обрабатывающего более трех миллионов правил Міварні технології і перехід від продукції до дводольних міварних мереж та реалізація автоматичного конструктора алгоритмів, яким керує потік вхідних даних і обробляє більше трьох мільйонів правил MIVAR Technologies: Transition from Productions to Bipartite Graphs MIVAR Nets and Realization of Automated Constructor of Algorithms Handling More than Three Million Production Rules Article published earlier |
| spellingShingle | Миварные технологии: переход от продукций к двудольным миварным сетям и реализация автоматического конструктора алгоритмов, управляемого потоком входных данных и обрабатывающего более трех миллионов правил Варламов, О.О. Концептуальные проблемы создания систем искусственного интеллекта |
| title | Миварные технологии: переход от продукций к двудольным миварным сетям и реализация автоматического конструктора алгоритмов, управляемого потоком входных данных и обрабатывающего более трех миллионов правил |
| title_alt | Міварні технології і перехід від продукції до дводольних міварних мереж та реалізація автоматичного конструктора алгоритмів, яким керує потік вхідних даних і обробляє більше трьох мільйонів правил MIVAR Technologies: Transition from Productions to Bipartite Graphs MIVAR Nets and Realization of Automated Constructor of Algorithms Handling More than Three Million Production Rules |
| title_full | Миварные технологии: переход от продукций к двудольным миварным сетям и реализация автоматического конструктора алгоритмов, управляемого потоком входных данных и обрабатывающего более трех миллионов правил |
| title_fullStr | Миварные технологии: переход от продукций к двудольным миварным сетям и реализация автоматического конструктора алгоритмов, управляемого потоком входных данных и обрабатывающего более трех миллионов правил |
| title_full_unstemmed | Миварные технологии: переход от продукций к двудольным миварным сетям и реализация автоматического конструктора алгоритмов, управляемого потоком входных данных и обрабатывающего более трех миллионов правил |
| title_short | Миварные технологии: переход от продукций к двудольным миварным сетям и реализация автоматического конструктора алгоритмов, управляемого потоком входных данных и обрабатывающего более трех миллионов правил |
| title_sort | миварные технологии: переход от продукций к двудольным миварным сетям и реализация автоматического конструктора алгоритмов, управляемого потоком входных данных и обрабатывающего более трех миллионов правил |
| topic | Концептуальные проблемы создания систем искусственного интеллекта |
| topic_facet | Концептуальные проблемы создания систем искусственного интеллекта |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/57707 |
| work_keys_str_mv | AT varlamovoo mivarnyetehnologiiperehodotprodukciikdvudolʹnymmivarnymsetâmirealizaciâavtomatičeskogokonstruktoraalgoritmovupravlâemogopotokomvhodnyhdannyhiobrabatyvaûŝegoboleetrehmillionovpravil AT varlamovoo mívarnítehnologíííperehídvídprodukcíídodvodolʹnihmívarnihmerežtarealízacíâavtomatičnogokonstruktoraalgoritmívâkimkeruêpotíkvhídnihdanihíobroblâêbílʹšetrʹohmílʹionívpravil AT varlamovoo mivartechnologiestransitionfromproductionstobipartitegraphsmivarnetsandrealizationofautomatedconstructorofalgorithmshandlingmorethanthreemillionproductionrules |