Principle of Constructing Procedures for Planning Behavior of Autonomous Intelligent Robots Based on Polyvariable Conditionally Dependent Predicates

• Published in: Automation and remote control Vol. 83; no. 4; pp. 613 - 625
• Main Authors: Melekhin, V. B., Khachumov, M. V.
• Format: Journal Article
• Language: English
• Published: Moscow Pleiades Publishing 01.04.2022; Springer Nature B.V
• Subjects: CAE) and Design; Calculus of Variations and Optimal Control; Optimization; Computer-Aided Engineering (CAD; Control; Inference; Knowledge representation; Mathematics; Mathematics and Statistics; Mechanical Engineering; Mechatronics; Operations Research; Optimization; Robotics; Robots; Semantics; System Analysis; Systems Theory; Task complexity; Upper bounds; behavior planning; problem environment; knowledge representation model; polyvariable conditionally dependent predicate; autonomous intelligent robot; implicative decision rules
• ISSN: 0005-1179; 1608-3032
• DOI: 10.1134/S0005117922040075

We propose a principle of constructing procedures for planning the goal-directed behavior of autonomous intelligent mobile robots of various purposes under underdetermined unstable operating conditions. To build a knowledge representation model, its typical constructions have been developed in the form of implicative decision rules formed on the basis of polyvariable conditionally dependent predicates of various content. The structure of different-in-purpose predicates of this type, which can contain both polyvariables in the form of active fuzzy semantic networks and individual variables of the “object” and “event” types associated with certain conditions of the problem environment, is determined. It is shown that the use of active fuzzy semantic networks permits one to describe various situations and subsituations of the problem environment regardless of a specific subject area, as well as to determine in general terms the relationships that can be observed by an intelligent robot in the process of planning behavior between its objects in the problem environment and the events occurring in it. Knowledge processing tools have been developed at various stages of decision inference that allow constructing effective behavior planning procedures providing autonomous intelligent mobile robots with the ability to perform complex tasks formulated as a generalized description of the target situation of the problem environment. Upper bound estimates are found for the complexity of planning procedures for purposeful behavior by an autonomous intelligent mobile robot built according to the proposed principle of organizing tools for knowledge processing and decision inference.