1. Наука
  2. Видання
  3. Системи обробки інформації
  4. 9(107)'2012
  5. Завдання формалізації процесів управління бойовою підготовкою

Завдання формалізації процесів управління бойовою підготовкою

М.І. Літвіненко
Анотації на мовах:

Управління бойовою підготовкою військ складний і багатогранний процес, що включає в область своїх інтересів велику кількість різноманітних чинників. З метою створення інтелектуальних систем управління бойовою підготовкою пропонується на основі формальної мови категорій один з можливих способів формалізації процесів управління бойовою підготовкою. Використання такого підходу дозволить використовувати при плануванні бойової підготовки не тільки вимоги керівних документів, але і досвід, знання особливості підготовки фахівців різного профілю. Використання мови категорій дозволяє створити гнучкий, і достатньо універсальний, інструмент формалізації процесів управління бойовою підготовкою.
Ключові слова: формалізація, учбовий процес, логіка категорій, формальна мова, управління, формальна теорія