Approach to modelling a personnel control subsystem by means of formal logic at the engineering enterprises

Estimation criteria of the personnel by means of marking their basic properties influencing reliability are considered. On the basis of the selected properties indicators characterizing each of them according to a special technique are worked. An attempt to apply formal logic for shaping and using properties and qualities of the personnel for preparation of the head decision project on maintenance of the acceptable level of the personnel reliability at the engineering enterprises is made.