Досліджено окремі аспекти використання логічних моделей для опису процесу розв'язку задач, які вирішує інформаційна система управління рухомими об'єктами. Доведено твердження про існування виводу певної події із системи логічних формул, що описують процес розв'язку задачі. Показано, що в рамках логічної моделі, що описує виникнення тих чи інших подій, є допустимою інтерпретація певного виводу, як процесу прогнозування відповідної події.

 Наукова періодика України 

---

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

• Коробчинський Максим Володимирович (військові науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"