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

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)

Язык публикации: english

Серия книг: International Conference on Control Decision and Information Technologies

Номера страниц: 727-732

Количество страниц: 6

Год публикации: 2020

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

DOI: 10.1109/CoDIT49905.2020.9263814

Аннотация: 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: Q5

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

Индексируется УБС: Нет

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

Индексируется ВАК: Нет

Индексируется CORE: Нет