Интеллектное управление телескопом

Рассматривается задача интеллектного наведения телескопа на центр планеты в неполной фазе. Задача решается путем включения в контур управления подсистемы логического вывода (ЛВ). В качестве логических средствиспользуются первопорядковый язык позитивно-образованных формул и соответствующие логические исчисления. Такой подход к управлению позволяет улучшить характеристики известных систем наведения. Детально показывается, как на основе ЛВ осуществляется синтез управления. В целом, используемые логические средства управления могут быть отнесены к системам вывода, управляемых временем (time-driven reasoning).