Программа «УДАВ»: реализация линейной вычислительной сложности матричного метода поиска маршрута логического вывода на основе миварной сети правил

Программа «УДАВ»: реализация линейной вычислительной сложности матричного метода поиска маршрута логического вывода на основе миварной сети правил

В статье приведены практические результаты создания программного комплекса «УДАВ», который реализует линейной вычислительной сложности матричный метод поиска маршрута логического вывода на миварной сети правил. Этот метод позволяет реализовать активный обучаемый логический вывод для любых предмет...

Повний опис

Збережено в:
Бібліографічні деталі
Дата:2009
Автори: Носов, А.В., Владимиров, А.Н., Потапова, Т.С., Колупаева, Е.Г., Варламов, О.О.
Формат: Стаття
Мова:Russian
Опубліковано: Інститут проблем штучного інтелекту МОН України та НАН України 2009
Теми:
Прикладные интеллектуальные системы
Онлайн доступ:https://nasplib.isofts.kiev.ua/handle/123456789/8134
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Программа «УДАВ»: реализация линейной вычислительной сложности матричного метода поиска маршрута логического вывода на основе миварной сети правил / А.В. Носов, А.Н. Владимиров, Т.С. Потапова, Е.Г. Колупаева, О.О. Варламов // Штучний інтелект. — 2009. — № 3. — С. 443-448. — Бібліогр.: 2 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id nasplib_isofts_kiev_ua-123456789-8134
record_format dspace
spelling Носов, А.В.
Владимиров, А.Н.
Потапова, Т.С.
Колупаева, Е.Г.
Варламов, О.О.
2010-04-30T15:39:52Z
2010-04-30T15:39:52Z
2009
Программа «УДАВ»: реализация линейной вычислительной сложности матричного метода поиска маршрута логического вывода на основе миварной сети правил / А.В. Носов, А.Н. Владимиров, Т.С. Потапова, Е.Г. Колупаева, О.О. Варламов // Штучний інтелект. — 2009. — № 3. — С. 443-448. — Бібліогр.: 2 назв. — рос.
1561-5359
https://nasplib.isofts.kiev.ua/handle/123456789/8134
004.82:007.52
В статье приведены практические результаты создания программного комплекса «УДАВ», который реализует линейной вычислительной сложности матричный метод поиска маршрута логического вывода на миварной сети правил. Этот метод позволяет реализовать активный обучаемый логический вывод для любых предметных областей, моделирование которых проводится в миварном информационном пространстве. Реализация: в реальном времени и при любых наборах входных данных решаются геометрические задачи решений треугольников с 33 объектами и 161 правилом (33! варианта), что ранее считалось невозможным.
У статті наведені практичні результати програмного комплексу «Удав», який реалізує лінійної обчислю- вальної складності матричний метод пошуку маршруту логічного виводу на миварній сітці правил. Цей метод дозволяє реалізувати активний научуваний логічний вивід для будь-яких предметних областей, моделювання яких проводиться у миварному інформаційному просторі. Реалізація: в реальному часі і за будь-яких наборів вхідних даних вирішуються геометричні задачі рішень трикутників з 33 об’єктами і 161 правилом (33! варіанти), що раніше вважалося неможливим.
An active trained logic conclusion for any subject spheres which modelling is carried out in mivar information space is realized. As an example realization of "geometrical tasks of decisions of triangles" is shown. The software "UDAV" is executed on technology Java and realizes "the universal maker of algorithms Varlamov" which can be referred to a class of " intellectual packages of applied programs ".
ru
Інститут проблем штучного інтелекту МОН України та НАН України
Прикладные интеллектуальные системы
Программа «УДАВ»: реализация линейной вычислительной сложности матричного метода поиска маршрута логического вывода на основе миварной сети правил
Програма «УДАВ»: реалізація лінейної обчислювальної складності матричного методу пошуку маршруту логічного висновку на основі миварної сітки правил
The Program Complex «UDAV»: Realization of Linear Computing Complexity of the Matrix Method of Route Searching of the Logic Conclusion on the Basis of Mivarnoi Network of Rules
Article
published earlier
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
title Программа «УДАВ»: реализация линейной вычислительной сложности матричного метода поиска маршрута логического вывода на основе миварной сети правил
spellingShingle Программа «УДАВ»: реализация линейной вычислительной сложности матричного метода поиска маршрута логического вывода на основе миварной сети правил
Носов, А.В.
Владимиров, А.Н.
Потапова, Т.С.
Колупаева, Е.Г.
Варламов, О.О.
Прикладные интеллектуальные системы
title_short Программа «УДАВ»: реализация линейной вычислительной сложности матричного метода поиска маршрута логического вывода на основе миварной сети правил
title_full Программа «УДАВ»: реализация линейной вычислительной сложности матричного метода поиска маршрута логического вывода на основе миварной сети правил
title_fullStr Программа «УДАВ»: реализация линейной вычислительной сложности матричного метода поиска маршрута логического вывода на основе миварной сети правил
title_full_unstemmed Программа «УДАВ»: реализация линейной вычислительной сложности матричного метода поиска маршрута логического вывода на основе миварной сети правил
title_sort программа «удав»: реализация линейной вычислительной сложности матричного метода поиска маршрута логического вывода на основе миварной сети правил
author Носов, А.В.
Владимиров, А.Н.
Потапова, Т.С.
Колупаева, Е.Г.
Варламов, О.О.
author_facet Носов, А.В.
Владимиров, А.Н.
Потапова, Т.С.
Колупаева, Е.Г.
Варламов, О.О.
topic Прикладные интеллектуальные системы
topic_facet Прикладные интеллектуальные системы
publishDate 2009
language Russian
publisher Інститут проблем штучного інтелекту МОН України та НАН України
format Article
title_alt Програма «УДАВ»: реалізація лінейної обчислювальної складності матричного методу пошуку маршруту логічного висновку на основі миварної сітки правил
The Program Complex «UDAV»: Realization of Linear Computing Complexity of the Matrix Method of Route Searching of the Logic Conclusion on the Basis of Mivarnoi Network of Rules
description В статье приведены практические результаты создания программного комплекса «УДАВ», который реализует линейной вычислительной сложности матричный метод поиска маршрута логического вывода на миварной сети правил. Этот метод позволяет реализовать активный обучаемый логический вывод для любых предметных областей, моделирование которых проводится в миварном информационном пространстве. Реализация: в реальном времени и при любых наборах входных данных решаются геометрические задачи решений треугольников с 33 объектами и 161 правилом (33! варианта), что ранее считалось невозможным. У статті наведені практичні результати програмного комплексу «Удав», який реалізує лінійної обчислю- вальної складності матричний метод пошуку маршруту логічного виводу на миварній сітці правил. Цей метод дозволяє реалізувати активний научуваний логічний вивід для будь-яких предметних областей, моделювання яких проводиться у миварному інформаційному просторі. Реалізація: в реальному часі і за будь-яких наборів вхідних даних вирішуються геометричні задачі рішень трикутників з 33 об’єктами і 161 правилом (33! варіанти), що раніше вважалося неможливим. An active trained logic conclusion for any subject spheres which modelling is carried out in mivar information space is realized. As an example realization of "geometrical tasks of decisions of triangles" is shown. The software "UDAV" is executed on technology Java and realizes "the universal maker of algorithms Varlamov" which can be referred to a class of " intellectual packages of applied programs ".
issn 1561-5359
url https://nasplib.isofts.kiev.ua/handle/123456789/8134
citation_txt Программа «УДАВ»: реализация линейной вычислительной сложности матричного метода поиска маршрута логического вывода на основе миварной сети правил / А.В. Носов, А.Н. Владимиров, Т.С. Потапова, Е.Г. Колупаева, О.О. Варламов // Штучний інтелект. — 2009. — № 3. — С. 443-448. — Бібліогр.: 2 назв. — рос.
work_keys_str_mv AT nosovav programmaudavrealizaciâlineinoivyčislitelʹnoisložnostimatričnogometodapoiskamaršrutalogičeskogovyvodanaosnovemivarnoisetipravil
AT vladimirovan programmaudavrealizaciâlineinoivyčislitelʹnoisložnostimatričnogometodapoiskamaršrutalogičeskogovyvodanaosnovemivarnoisetipravil
AT potapovats programmaudavrealizaciâlineinoivyčislitelʹnoisložnostimatričnogometodapoiskamaršrutalogičeskogovyvodanaosnovemivarnoisetipravil
AT kolupaevaeg programmaudavrealizaciâlineinoivyčislitelʹnoisložnostimatričnogometodapoiskamaršrutalogičeskogovyvodanaosnovemivarnoisetipravil
AT varlamovoo programmaudavrealizaciâlineinoivyčislitelʹnoisložnostimatričnogometodapoiskamaršrutalogičeskogovyvodanaosnovemivarnoisetipravil
AT nosovav programaudavrealízacíâlíneinoíobčislûvalʹnoískladnostímatričnogometodupošukumaršrutulogíčnogovisnovkunaosnovímivarnoísítkipravil
AT vladimirovan programaudavrealízacíâlíneinoíobčislûvalʹnoískladnostímatričnogometodupošukumaršrutulogíčnogovisnovkunaosnovímivarnoísítkipravil
AT potapovats programaudavrealízacíâlíneinoíobčislûvalʹnoískladnostímatričnogometodupošukumaršrutulogíčnogovisnovkunaosnovímivarnoísítkipravil
AT kolupaevaeg programaudavrealízacíâlíneinoíobčislûvalʹnoískladnostímatričnogometodupošukumaršrutulogíčnogovisnovkunaosnovímivarnoísítkipravil
AT varlamovoo programaudavrealízacíâlíneinoíobčislûvalʹnoískladnostímatričnogometodupošukumaršrutulogíčnogovisnovkunaosnovímivarnoísítkipravil
AT nosovav theprogramcomplexudavrealizationoflinearcomputingcomplexityofthematrixmethodofroutesearchingofthelogicconclusiononthebasisofmivarnoinetworkofrules
AT vladimirovan theprogramcomplexudavrealizationoflinearcomputingcomplexityofthematrixmethodofroutesearchingofthelogicconclusiononthebasisofmivarnoinetworkofrules
AT potapovats theprogramcomplexudavrealizationoflinearcomputingcomplexityofthematrixmethodofroutesearchingofthelogicconclusiononthebasisofmivarnoinetworkofrules
AT kolupaevaeg theprogramcomplexudavrealizationoflinearcomputingcomplexityofthematrixmethodofroutesearchingofthelogicconclusiononthebasisofmivarnoinetworkofrules
AT varlamovoo theprogramcomplexudavrealizationoflinearcomputingcomplexityofthematrixmethodofroutesearchingofthelogicconclusiononthebasisofmivarnoinetworkofrules
first_indexed 2025-12-07T18:13:46Z
last_indexed 2025-12-07T18:13:46Z
_version_ 1850874241064370176

Схожі ресурси