The initial setting of semantic research, pragmatic and communicative properties of the conventional constructions is based on the well-known thesis that the conditional construction of the non-procedural language fairly accurately reflects the logical operation of implication.
There are no any studies based on a correct theoretical information providing a detailed description of the conditional constructions in non-procedural languages of the robotic systems of different structures.
So it is very important to develop theoretical concepts, which allow to describe the conditional constructions of non-procedural languages of robotic systems.
It is necessary to establish whether the concept of "default value" is undetectable, or it is possible to offer a universal definition that can reliably restrict the empirical data of various non-procedural languages of the robotic systems corresponding to this concept.
to determine which empirical facts oft he non-procedural languages of the robotic systems correspond to the concept
It should be noted that in the logic of the concept of connection does not appear in the analysis of the implications, which appears in the non-procedural languages of the conventional structures.
Only after the building of the universal semantic models of the conditional constructions it is possible to move on to the question concerning the formal means of these models and how they are translated into specific non-procedural languages, and how to classify the languages, depending on what kind of formal tools they use to express the certain universal semantic models of conventional constructions.
The importance of researching the problem of conditional constructions in non-procedural languages of the robotic systems is clear.