Character modeling of thought processes

Analyzing the history of AI, we can distinguish such a broad direction as the modeling of reasoning. For many years, the development of this science has been moving along this path, and now it is one of the most developed areas in modern AI. Modeling reasoning involves the creation of character systems, at the input of which a certain task is posed, and at the output its solution is required. As a rule, the proposed task is already formalized, that is, translated into mathematical form, but either does not have a solution algorithm, or it is too complicated, time consuming, etc. This area includes: theorem proof, decision making and game theory, planning and dispatching , forecasting.