Search by:
The implementation of the universal solver based on adaptive logical conclusion with linear complexity and cloud technologies
Full text (PDF)
UDC: 004.8
Publication Language: Russian
Stuc. intelekt. 2013; 18(3):512-523
Abstract: The aim of our research is to create a logical artificial intelligence and its applications in various domains. Proposed development of Mivar theory consist in moving from formalism «rules – variables» to the formalism of «relationship – rules – variables» in such networks and in introduction of multi-level and multi-dimensional representation of the rules. A new version of the universal problem solver is able to perform adaptive logical conclusion based on a two-level conception of «relationship – rules – variables». The latest version is based on cloud technologies. The latest version of UDAV is based on cloud technologies and is available on site wwww.mivar.org. Experimentally confirmed the theoretical linear complexity of logical conclusion and automatic construction of algorithms for solving various problems on the basis mivar networks and productions of the form «if – then – else». In the long term UDAV can almost completely replace the human operator in automated data processing systems and control systems.
Keywords: mivar; mivar net's, artificial intelligence, universal solver, the logical conclusion linear complexity, expert systems, active databases
References:
- Варламов О.О. Разработка линейного матричного метода определения маршрута логического вывода на адаптивной сети правил / О.О. Варламов // Известия вузов. Электроника. – 2002. – № 6. – С. 43-51.
- Владимиров А.Н. Программный комплекс «УДАВ»: практическая реализация активного обучаемого логического вывода с линейной вычислительной сложностью на основе миварной сети правил / А.Н. Владимиров, О.О. Варламов, А.В. Носов, Т.С. Потапова // Труды НИИР. – 2010. – Т. 1. – С. 108-116.
- Варламов О.О. Миварные технологии: переход от продукций к двудольным миварным сетям и практическая реализация автоматического конструктора алгоритмов, управляемого потоком входных данных и обрабатывающего более трех миллионов продукционных правил / О.О. Варламов // Искусственный интеллект. – 2012. – № 4. – С. 11-33.
- Варламов О.О. Практическая реализация линейной вычислительной сложности логического вывода на правилах «ЕСЛИ-ТО» в миварных сетях и обработка более трех миллионов правил / О.О. Варламов // Автоматизация и управление в технических системах. – 2013. – № 1 (3); [Электронный ресурс]. – Режим доступа : URL: http://auts.esrae.ru/3-66 (дата обращения: 26.03.2013).
- Varlamov O.O. MIVAR: Transition from Productions to Bipartite Graphs MIVAR Nets and Practical Realization of Automated Constructor of Algorithms Handling More than Three Million Production Rules / O.O. Varlamov // ARXIV.ORG. 05.11.2011. [Электронный ресурс]. – URL: http://arxiv.org/abs/1111.1321. (дата обращения: 31.01.2013).
- Варламов О.О. Логический искусственный интеллект создан на основе миварного похода! МИВАР: активные БД с линейным логическим выводом > 3 млн правил => понимание смысла+ сингулярность в виртуальной реальности / Варламов О.О. – Саарбрюкен, Германия : LAP LAMBERT Academic Publishing Gmbh & Co. KG, 2012. – 700 с.
- Варламов О.О. О системном подходе к созданию модели компьютерных угроз и ее роли в обеспечении безопасности информации в ключевых системах информационной инфраструктуры / О.О. Варламов // Известия Таганрогского государственного радиотехнического университета. – 2006. – Т. 62. – № 7. – С. 216-223.
- Варламов О.О. Подход к защите информации в АСУ оператора связи на основе миварных баз данных и правил / О.О. Варламов, М.Р. Амарян, Л.Е. Адамова [и др.]. // Известия Таганрогского государственного радиотехнического университета. – 2003. – Т. 33. – № 4. – С.174-175.
- Варламов О.О. Особенности защиты персональных данных и информации в АСУ регионального оператора связи / О.О. Варламов, М.Р. Амарян, Л.Е. Адамова // Известия Таганрогского государственного радиотехнического университета. – 2003. – Т. 33. – № 4. С. 238-239.
- Варламов О.О. Подход к защите информации на основе локальных корректировок вычислений и обработки данных / О.О. Варламов, М.Р. Амарян, В.А. Лысаковский, Л.Е. Адамова // Известия Таганрогского государственного радиотехнического университета. – 2003. – Т. 33. – № 4. – С. 239-240.
- Варламов О.О. Обзор 25 лет развития миварного подхода к разработке интеллектуальных систем и создания искусственного интеллекта / О.О. Варламов // Труды НИИР. – 2011. – № 1. – С. 34-44.
- Варламов О.О. Основы многомерного информационного развивающегося (миварного) пространства представления данных и правил / О.О. Варламов // Информационные технологии. – 2003. – № 5. – С. 42-47.
- Варламов О.О. Параллельная обработка потоков информации на основе виртуальных потоковых баз данных / О.О. Варламов // Известия высших учебных заведений. Электроника. – 2003. – № 5. – С. 82.
- Варламов О.О. Разработка метода распараллеливания потокового множественного доступа к общей базе данных в условиях недопущения взаимного искажения данных / // Информационные технологии. 2003. №1. С. 20.
- Варламов О.О. Системный анализ и синтез моделей данных и методы обработки информации для создания самоорганизующихся комплексов оперативной диагностики / О.О. Варламов // Искусственный интеллект. – 2003. – № 3. – С. 299.
- Варламов О.О. Системный анализ и синтез моделей данных и методы обработки информации в самоорганизующихся комплексах оперативной диагностики : дис. … доктора тех. наук / Варламов О.О. – М. : МАРТИТ, 2003. – 307 с.
- Варламов О.О. Системы обработки информации и взаимодействие групп мобильных роботов на основе миварного информационного пространства / О.О. Варламов // Искусственный интеллект. – 2004. – № 4. – С. 695.
- Тоноян С.А. Методика модернизации стандартных модулей типовой конфигурации на базе технологической платформы «1С: предприятие 8» с минимальными доработками / С.А. Тоноян, А.В. Балдин, Д.В. Елисеев // Наука и образование: электронное научно-техническое издание. – 2012. – № 08. – С. 17.
- Балдин А.В. Обзор способов построения темпоральных систем на основе реляционной базы данных / А.В. Балдин, Д.В. Елисеев, К.Г. Агаян // Наука и образование: электронное научно-техническое издание. – 2012. – № 08.
- Балдин А.В. Адаптация темпоральной реляционной модели данных в многомерном пространстве / А.В. Балдин, Д.В. Елисеев // Наука и образование: электронное научно-техническое издание. – 2011. – № 09. – С. 1.
- Елисеев Д.В. Алгебра многомерных матриц для обработки адаптируемой модели данных / Д.В. Елисеев, А.В. Балдин // Наука и образование: электронное научно-техническое издание. – 2011. – № 07. – С. 4.
- Балдин А.В. Адаптируемая модель данных на основе многомерного пространства / А.В. Балдин, Д.В. Елисеев // Наука и образование: электронное научно-техническое издание. – 2010. – № 10. – С. 1.
- Елисеев Д.В. Модель представления знаний при создании адаптивной информационной системы / Д.В. Елисеев // Наука и образование: электронное научно-техническое издание. – 2010. – № 03. – С. 2.