Автоматизация и управление в технических системах
Электронный научный журнал
Архив выпусков

Автоматизация и управление в технических системах: научно-методический сборник трудов кафедры Автоматизированные системы управления Московского автомобильно-дорожного государственного технического университета (МАДИ)


Технические науки
"ОБЛАЧНАЯ" РЕАЛИЗАЦИЯ МИВАРНОГО УНИВЕРСАЛЬНОГО РЕШАТЕЛЯ ЗАДАЧ НА ОСНОВЕ АДАПТИВНОГО АКТИВНОГО ЛОГИЧЕСКОГО ВЫВОДА С ЛИНЕЙНОЙ СЛОЖНОСТЬЮ ОТНОСИТЕЛЬНО ПРАВИЛ "ЕСЛИ-ТО-ИНАЧЕ"
Варламов О.О. 1, Чибирова М.О. 2, Сергушин Г.С. 3, Елисеев Д.В. 4

1. ФГБОУ ВПО Московский автомобильно-дорожный государственный технический университет (МАДИ)
2. ФГБОУ ВПО Национальный исследовательский ядерный университет «МИФИ»
3. ФГБОУ ВПО Московский автомобильно-дорожный государственный технический университет (МАДИ)
4. ФГБОУ ВПО Московский госудраственнй технический университет им. Н.Э. Баумана (МГТУ им. Н.Э.Баумана), национальный исследовательский университет

Резюме:

Целью наших исследований является создание логического искусственного интеллекта и его применение в различных предметных областях. Предложено развитие миварной теории путем перехода от формализма "правила-переменные" к формализму "отношения-правила-переменные" в миварных сетях и введением многоуровневого и многомерного представления правил. Представлены результаты создания новой версии миварного универсального решателя задач УДАВ, способного выполнять адаптивный активный логический вывод на двухуровневом представлении "отношения-правила-переменные". Теперь УДАВ реализован на основе облачных технологий и размещен на сайте wwww.mivar.org. Экспериментально подтверждена теоретическая линейная вычислительная сложность логического вывода и автоматического конструирования алгоритмов решения различных задач на основе миварных сетей и продукций вида "если - то-иначе". В перспективе УДАВ практически полностью может заменить человека-оператора в автоматизированных системах обработки информации и АСУТП.

Ключевые слова: мивар; миварные сети; искусственный интеллект; универсальный решатель задач; логический вывод с линейной вычислительной сложностью; экспертные системы; активные базы данных.


Библиографическая ссылка

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


Код для вставки на сайт или в блог

Просмотры статьи

Сегодня: 852 | За неделю: 852 | Всего: 2444


Комментарии (0)


Сайт работает на RAE Editorial System
Яндекс.Метрика