О возможности создания систем принятия решений для автономных роботов на основе миварных экспертных систем, обрабатывающих более 1 млн продукционных правил/с

Для создания автономных роботов необходимы системы принятия решений на логическом уровне искусственного интеллекта, которые будут принимать решения на основе логического вывода. До 2002 г. логический вывод считался NP-полным, что запрещало создание экспертных систем (ЭС) и систем поддержки принятия решений (СППР) для реальных задач и роботов. Миварные технологии эволюционного накопления и быстрой логической обработки информации за счет линейной вычислительной сложности логического вывода и автоматического конструирования алгоритмов позволили снять фундаментальное ограничение NP-полноты логического вывода. В НИИ МИВАР и на кафедре ИУ-5 МГТУ им. Н.Э. Баумана комплекс «КЭСМИ (РАЗУМАТОР)», на ноутбуке обрабатывающий 5 млн правил/с и включенный в Реестр Российского программного обеспечения, применяется для создания на качественно новом уровне систем принятия решения «РобоРазум».