Логический планировщик «Разуматор» от «Мивар» сделает роботов более самостоятельными
Click to viewРобототехническая платформа "Муром-ИСП"
Муром-ИСП гибрид андроида и колесного робота
Компания «Мивар», разработчик искусственного интеллекта нового поколения, создала программное логическое ядро «Разуматор» - основу системы управления (СУ) автономными роботами и роботизированными комплексами. Использование этого модуля принципиально расширяет степень автономности интеллектуальных систем, делая их практически независимыми от человека-оператора, сообщили CNews в «Мивар».
Как пояснили в компании, функционально «Разуматор» - это логический планировщик, который дает возможность автономным роботам и робототехническим комплексам самостоятельно строить алгоритмы и решать задачи без участия людей. Логическое ядро, как часть комплексного программного решения по интеллектуализации «Роборазум», также разработанного компанией «Мивар», может быть интегрировано в уже существующие СУ.
Подробнее: http://www.cnews.ru/news/line/2016-05-19_logicheskij_planirovshchik_razumator_ot_mivar
Сайт http://www.mivar.ru/
Мивар - наименьший структурный элемент дискретного информационного пространства. В рамках миварной модели он описывает объект во всей полноте не только реальных, но и потенциальных связей. Используется при создании искусственного интеллекта (ИИ) для семантического анализа и адекватной трансляции гуманитарных, гносеологических и аксиологических принципов. Миварная модель позволяет ИИ сохранять динамическое равновесие и эффективно преодолевать противоречия. ИИ, созданный на миварных принципах, в случае изменения условий перерешает поставленную задачу в режиме реального времени. Причем сделает это без участия человека-оператора.
Мивар описывается формулой VSO, в которой V обозначает объект или вещь, S - свойства объекта, а O - многообразие отношений с другими объектами определенной предметной области. При этом категория «Отношения» может описывать зависимости любого уровня сложности: формулы, логические переходы, текстовые выражения, функции, сервисы, вычислительные процедуры и даже нейронные сети. Такая широта возможностей усложняет описание взаимосвязей при моделировании, но позволяет максимально учесть все факторы. Миварные вычисления используют аппарат математической логики. В предельно упрощенном виде могут сводиться к импликации, выраженной в формуле «Если …, то …». Итог миварного моделирования можно представить в виде двудольного графа, связывающего два множества объектов - исходных и результирующих.
Теория миваров