Программа «УДАВ»: реализация линейной вычислительной сложности матричного метода поиска маршрута логического вывода на основе миварной сети правил
В статье приведены практические результаты создания программного комплекса «УДАВ», который реализует
 линейной вычислительной сложности матричный метод поиска маршрута логического вывода на миварной
 сети правил. Этот метод позволяет реализовать активный обучаемый логический вывод дл...
Gespeichert in:
| Datum: | 2009 |
|---|---|
| Hauptverfasser: | , , , , |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут проблем штучного інтелекту МОН України та НАН України
2009
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/8134 |
| 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: | Программа «УДАВ»: реализация линейной вычислительной сложности матричного метода поиска маршрута логического вывода на основе миварной сети правил / А.В. Носов, А.Н. Владимиров, Т.С. Потапова, Е.Г. Колупаева, О.О. Варламов // Штучний інтелект. — 2009. — № 3. — С. 443-448. — Бібліогр.: 2 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862718202389200896 |
|---|---|
| author | Носов, А.В. Владимиров, А.Н. Потапова, Т.С. Колупаева, Е.Г. Варламов, О.О. |
| author_facet | Носов, А.В. Владимиров, А.Н. Потапова, Т.С. Колупаева, Е.Г. Варламов, О.О. |
| citation_txt | Программа «УДАВ»: реализация линейной вычислительной сложности матричного метода поиска маршрута логического вывода на основе миварной сети правил / А.В. Носов, А.Н. Владимиров, Т.С. Потапова, Е.Г. Колупаева, О.О. Варламов // Штучний інтелект. — 2009. — № 3. — С. 443-448. — Бібліогр.: 2 назв. — рос. |
| collection | DSpace DC |
| 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 ".
|
| first_indexed | 2025-12-07T18:13:46Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-8134 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1561-5359 |
| language | Russian |
| last_indexed | 2025-12-07T18:13:46Z |
| publishDate | 2009 |
| publisher | Інститут проблем штучного інтелекту МОН України та НАН України |
| 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 |
| spellingShingle | Программа «УДАВ»: реализация линейной вычислительной сложности матричного метода поиска маршрута логического вывода на основе миварной сети правил Носов, А.В. Владимиров, А.Н. Потапова, Т.С. Колупаева, Е.Г. Варламов, О.О. Прикладные интеллектуальные системы |
| title | Программа «УДАВ»: реализация линейной вычислительной сложности матричного метода поиска маршрута логического вывода на основе миварной сети правил |
| 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 |
| title_full | Программа «УДАВ»: реализация линейной вычислительной сложности матричного метода поиска маршрута логического вывода на основе миварной сети правил |
| title_fullStr | Программа «УДАВ»: реализация линейной вычислительной сложности матричного метода поиска маршрута логического вывода на основе миварной сети правил |
| title_full_unstemmed | Программа «УДАВ»: реализация линейной вычислительной сложности матричного метода поиска маршрута логического вывода на основе миварной сети правил |
| title_short | Программа «УДАВ»: реализация линейной вычислительной сложности матричного метода поиска маршрута логического вывода на основе миварной сети правил |
| title_sort | программа «удав»: реализация линейной вычислительной сложности матричного метода поиска маршрута логического вывода на основе миварной сети правил |
| topic | Прикладные интеллектуальные системы |
| topic_facet | Прикладные интеллектуальные системы |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/8134 |
| 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 |