Приборы и системы. Управление, контроль, диагностика Аннотация к статье << Назад Практическая реализация универсального решателя задач «УДАВ» с линейной сложностью логического вывода на основе миварного подхода и «облачных» технологий ВАРЛАМОВ О.О. ЧИБИРОВА М.О. СЕРГУШИН Г.С. ЕЛИСЕЕВ Д.В. Глобальной целью наших исследований является создание логического искусственного интеллекта и его применение в различных предметных областях. Представлена интернет-версия универсального решателя задач «УДАВ», способного выполнять адаптивный активный логический вывод на двухуровневом представлении «отношения-правила-переменные». В режиме реального времени реша- ются задачи с большой размерностью, например, задача «треугольники» с 237 правилами продукционного вида «если-то». Предложено развитие миварной теории путем перехода от формализма «правила-переменные» к формализму «отношения-правила-переменные» в миварных сетях и введением многоуровневого и многомерного представления правил. Логический вывод с 2002 года НЕ является NP-полной задачей, т.к. для него существует линейной вычислительной сложности алго- ритм логического вывода на продукциях «ЕСЛИ-ТО» в формализме миварных сетей (MIVAR net’s). Экспериментально подтверждена теоретическая линейная вычислительная сложность логического вывода и автоматического конструирования алгоритмов решения различных задач на основе миварных сетей и продукций вида «если-то-иначе». Показано, что универсальный решатель задач «УДАВ» может быть использован для создания АСУТП. В близкой перспективе «УДАВ» практически полностью может заменить человека-оператора в автоматизированных системах обработки информации и АСУТП. В перспективе «УДАВ» сможет заменить человека-оператора в автоматизированных системах обработки информации и АСУТП. Теоретические основы создания логического искусственного интеллекта созданы. Наши результаты значительно превышают «мировой уровень» научных исследований, так как впервые в мире предложено важнейшее решение по логической обработке продукцион- ных правил с линейной вычислительной сложностью. Таким образом, «компьютеры значительно поумнели» и можно использовать эти достижения миварного подхода для создания нового поколения информационных систем управления, контроля и диагностики. «УДАВ» реализован на основе миварного подхода и облачных технологий. Ключевые слова: мивар; миварные сети; искусственный интеллект; универсальный решатель задач; логический вывод; экспертные системы; активные базы данных, АСУТП, автоматизированные системы управления, автоматизированные системы обработки информации. Контактная информация: Е-mail: ovar@mivar.ru Стр. 45-55.