"ОБЛАЧНАЯ" РЕАЛИЗАЦИЯ МИВАРНОГО УНИВЕРСАЛЬНОГО РЕШАТЕЛЯ ЗАДАЧ НА ОСНОВЕ АДАПТИВНОГО АКТИВНОГО ЛОГИЧЕСКОГО ВЫВОДА С ЛИНЕЙНОЙ СЛОЖНОСТЬЮ ОТНОСИТЕЛЬНО ПРАВИЛ "ЕСЛИ-ТО-ИНАЧЕ"
Целью наших исследований является создание логического искусственного интеллекта и его применение в различных предметных областях. Предложено развитие миварной теории путем перехода от формализма "правила-переменные" к формализму "отношения-правила-переменные" в миварных сетях и введением многоуровневого и многомерного представления правил. Представлены результаты создания новой версии миварного универсального решателя задач УДАВ, способного выполнять адаптивный активный логический вывод на двухуровневом представлении "отношения-правила-переменные". Теперь УДАВ реализован на основе облачных технологий и размещен на сайте wwww.mivar.org. Экспериментально подтверждена теоретическая линейная вычислительная сложность логического вывода и автоматического конструирования алгоритмов решения различных задач на основе миварных сетей и продукций вида "если - то-иначе". В перспективе УДАВ практически полностью может заменить человека-оператора в автоматизированных системах обработки информации и АСУТП.
Ключевые слова: мивар; миварные сети; искусственный интеллект; универсальный решатель задач; логический вывод с линейной вычислительной сложностью; экспертные системы; активные базы данных.
Библиографическая ссылка
Варламов О.О. 1, Чибирова М.О. 2, Сергушин Г.С. 3, Елисеев Д.В. 4 "ОБЛАЧНАЯ" РЕАЛИЗАЦИЯ МИВАРНОГО УНИВЕРСАЛЬНОГО РЕШАТЕЛЯ ЗАДАЧ НА ОСНОВЕ АДАПТИВНОГО АКТИВНОГО ЛОГИЧЕСКОГО ВЫВОДА С ЛИНЕЙНОЙ СЛОЖНОСТЬЮ ОТНОСИТЕЛЬНО ПРАВИЛ "ЕСЛИ-ТО-ИНАЧЕ" // Автоматизация и управление в технических системах. – 2013. – № 2(4);
URL: auts.esrae.ru/4-78 (дата обращения:
21.11.2024).