Definition,analysis and synthesis of goals in complex systems. Simulation models and methods

The problem of ensuring logically correct definition, analysis and synthesis of goals in complex systems and correct results of these procedures, viz. structures of goals and schemes of achieving goals, is stated. Models and methods that allow classifying the possible logical errors in the structures of goals and developing a human-machine system for analyzing and synthesizing goals are proposed.