Application of Automatic Theorem Proving (ATP) Approach to the Telescope Guidance

In the field of intelligent control it is often helpful to use fuzzy logic regulators and other rule-based control systems as well as neural networks. Petri nets, discrete event dynamic models and genetic algorithms. These tools have gained recognition in control community with great violence and have advanced at present dramatically [6, 7].