Hybrid technology of intelligent control of autonomous and anthropocentric on-board systems is proposed. It is based on non-clausal prover for automatic reasoning and combines symbolic knowledge representation and processing with other control methods. If a control task is not provided with all necessary means of its solving, the prover is able to deduce conditions for the task solvability and to ask another intelligent agents for the missing means to continue the control task solving. Since a logical approach can lead to non-unique solutions, e.g., in the problems of target pursuit in the operative area, then also non-logical models and optimization procedures are used. Applications to motion control problems in a threat environment are considered.
