Predicate‐based model of problem‐solving for robotic actions planning

Abstract

The aim of the article is to describe a predicate‐based logical model for the problem‐solving of robots. The proposed article deals with analyses of trends of problem‐solving robotic applications for manufacturing, especially for transportations and manipulations. Intelligent agent‐based manufacturing systems with robotic agents are observed. The intelligent cores of them are considered from point of view of ability to propose the plans of problem‐solving in the form of strategies. The logical model of adaptive strategies planning for the intelligent robotic system is composed in the form of predicates with a presentation of data processing on a base of set theory. The dynamic structures of workspaces, and a possible change of goals are considered as reasons for functional strategies adaptation.