Abstract

For the first time in the world, mivar expert systems were used for solving action planning problems for robotic systems. The KESMI (Wi!Mi) Razumator solution was used to create a mivar-based system called MIPRA (mivar-based intelligent planner of robot actions), which delivers a qualitative (by several orders of magnitude) boost to the process of solving STRIPS-type problems, i. e. constructing algorithms for planning the actions of a robot tasked with relocating blocks in the blocks-world domain. Practical experiments, which any researcher can verify and replicate, have shown that, instead of many hours and powerful multiprocessor servers, MIPRA, runs on an ordinary computer and takes seconds to solve problems involving relocations of the following numbers of blocks: 10 blocks – 0.98 s; 50 blocks – 3.44 s; 100 blocks – 10.57 s; 200 blocks – 38.32 s, and 300 blocks – 84.07 s. The mivar approach implemented in MIPRA allows it to handle tasks with more than three towers on the table and with varied numbers of blocks, even in changing conditions. This creates an opportunity, in the future, to solve a greater variety of action planning problems for different robots, such as, e. g., ensuring logical compliance with traffic regulations for autonomous vehicles, etc.

Highlights

  • Ключевые слова: мивар, миварные сети, система принятия решений, экспертные системы, беспилотные автомобили, логический искусственный интеллект, системы помощи водителям, МИПРА, STRIPS, General Problem Solver (GPS), Blocks World

  • For the first time in the world, mivar expert systems were used for solving action planning problems for robotic systems

  • The KESMI (Wi!Mi) Razumator solution was used to create a mivar-based system called Mivar-based intelligent planner of robot actions (MIPRA), which delivers a qualitative boost to the process of solving STRIPS-type problems, i. e. constructing algorithms for planning the actions of a robot tasked with relocating blocks in the blocks-world domain

Read more

Summary

Планирование в пространстве состояний в формализме миварных сетей

Миварные технологии позволяют выполнять логическую обработку и автоматическое построение алгоритмов с линейной вычислительной сложностью. Ограничением применения миваров является возможность представления задачи в формализме миварных двудольных сетей, где в явном виде выделяют Объекты и Правила формата «Если, То». «Правило» в миварной сети может само по себе быть неким алгоритмом, сервисом, отношением в формализме «Вещь–Свойство–Отношение» (ВСО) [15,16,17,18,19], главное, что у «правила» есть «Вход» (набор входных объектов) и «Выход» (набор выходных объектов правила). База знаний (миварная модель среды)/ Knowledge base (mivar model of the environment)

Decomposition of the problem taking
Особенности реализации алгоритма планирования
Результаты испытаний производительности МИПРА
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call