Страница публикации

Action Planning for Robots using the First Order Logic Calculus of Positively Constructed Formulas

Авторы: Davydov A., Larionov A.

Журнал: International Conference on Control Decision and Information Technologies: Proc. 7th Intern. Conf. on Control, Decision and Information Technologies (CoDIT 2020; Prague, Czech Republic; 29 June - 2 July 2020)



Год: 2020

Отчётный год: 2020


Местоположение издательства:


Аннотация: The paper presents an approach to constructing plans for a group of Lego MindStorm robots, moving small blocks to the target area. The approach is based on non-Horn logical programming in the original first-order language of positively constructed formulas (PCF). A description of the PCF formalism is given, an example of solving a problem of constructing action plans for a group of three robots is presented. Unlike other modern approaches to planning action in robotics, our approach is distinguished by a great expressiveness of means for representing knowledge in the system and about the environment.

Индексируется WOS: 1

Индексируется Scopus: 1

Индексируется РИНЦ: 0

Публикация в печати: 0

Добавил в систему: