Loading [a11y]/accessibility-menu.js
Action Planning for Robots using the First Order Logic Calculus of Positively Constructed Formulas | IEEE Conference Publication | IEEE Xplore
Scheduled Maintenance: On Tuesday, 25 February, IEEE Xplore will undergo scheduled maintenance from 1:00-5:00 PM ET (1800-2200 UTC). During this time, there may be intermittent impact on performance. We apologize for any inconvenience.

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


Abstract:

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 logic...Show More

Abstract:

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.
Date of Conference: 29 June 2020 - 02 July 2020
Date Added to IEEE Xplore: 27 November 2020
ISBN Information:

ISSN Information:

Conference Location: Prague, Czech Republic

Funding Agency:


References

References is not available for this document.