Modeling of the human resources subsystem using formal logic in the occupational health and safety management system at machine-building enterprises

Analysis of the existing occupational health and safety management systems at machine-building enterprises. Selection of personnel assessment by highlighting the main properties of the personnel that influence the reliability of their work. Development of indicators that describe each of them using a special technique, based on the selected properties. The possibility of using predicate logic for forming and using the properties and qualities of the personnel in the future when senior executives make a decision to maintain an appropriate level of the personnel reliability at the machine-building enterprises.