Conditional Constructions in Non-Procedural Languages of Robotic Systems

Abstract

The article researched and developed a universal theoretical concept of conditional constructions in non-procedural languages of different robotic systems. A multivariate classification of conditional constructions of non-procedural languages of robotic systems is offered. It is shown that the presented concept allows conditional constructions to be described in a form which allows to present them explicitly as they are common, especially their semantic properties and their typological primarily formal differences. A well-known thesis is discussed in the paper. It says that the conditional non-procedural design language fairly accurately reflects the logical operation of implication, and the notion of material implication is the source for the semantic definition of conditional constructions. A methodological basis of semantic research, pragmatic and communication properties of conditionals in the non-procedural languages of robotic systems is offered. A distinction of conditional constructions in non-procedural languages robotic systems into even and odd patterns is also researched.