Logic conditionally hung discourses: presentation of the knowledges and production rule of the conclusions

The revealed contents of the different forms of the thinking of the intellectual robot, allowing efficient image to organize planning his goal-directed behavior in different condition of the problem-solving ambience. It is designed one of forming notional thinking of the intellectual robot, connected with organization of the conclusion of the general significant conclusions in free application domain for renewing of his(its) know ledges in process of the planning the goal-directed behavior. The offered calculus conditionally-hung predicate, providing conclusion of the general significant conclusionsin free application domain by separations in her monotonous area of the conclusion. The different production rule of the general significant conclusions will build. The marked prospects of the further development of the offered approach, connected with organization of the conclusion of the general significant conclusions, which is reduced to building much tiered schemes of the conclusion, allowing form the chains mutually bound discourses, providing planning the behavior and decision makingof the intellectual robot in complex problem-solving ambience.