Predicate-Based Model of Problem-Solving for Robotic Actions Planning

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.