Розроблено модель петлі Бойда на основі автомата Мура. Станами автомата є етапи петлі Бойда, а також процеси редагування онтології та пошук релевантних знань в онтології. Визначено можливі переходи між станами автомата і параметри, які при цьому передаються. Розроблений автомат є основою для побудови СППР командирами тактичних ланок СВЗСУ