Вирішення задачі визначення звання військовослужбовця на основі алгебри кінцевих предикатів.
DOI:
https://doi.org/10.30837/bi.2021.2(97).04Ключові слова:
ВІЙСЬКОВА ЗВАННЯ, РАНГ, АЛГЕБРА СКІНЧЕННИХ ПРЕДИКАТІВ, ДВОДОЛЬНИЙ ГРАФ, ЛОГІЧНА МЕРЕЖААнотація
На сьогодні апарат алгебри кінцевих предикатів розвинений настільки, що за його допомогою можна описувати та моделювати будь-які процеси людської інтелектуальної діяльності, починаючи від опису вирішення найпростіших рівнянь та закінчуючи описом мовних процесів. У статті розглядається побудова логічної мережі для вирішення задачі визначення звання військовослужбовця, яке залежить від рангу, типу звання, типу служби та інших параметрів. Для опису процесу розподілу звань використано мову алгебри кінцевих предикатів. Використовуючи метод формульного запису відносин побудовано парадигматичні таблиці та описано всі звання військовослужбовців, сформовані дводольні графи та побудовано відповідну їм логічну реляційну мережу. Кожну логічну мережу можна реалізувати програмно або перетворити на електронну схему для автоматичного вирішення того чи іншого класу завдань, описаних моделлю, для якої побудована дана схема. Програмна реалізація довела ефективність збудованої мережі.
Посилання
M.F. Bondarenko, N.P. Kruglikova, I.O. Leshchynska, N.E. Rusakova, Yu.P. Shabanov-Kushnarenko, About algebra of predicates // Bionics of Intelligence: Sci. Mag. – 2010. – № 3 (74). – P. 3–7.
I.D. Vechirska, I.E. Goncharov, Т.М. Khamitov, Bulding of logic network for the diagnosis and management of emergencies // Bionics of Intelligence: Sci. Mag. – 2015. – № 2 (85). – P.41–51.
Bondarenko M.F., Shabanov-Kushnarenko Yu.P. Mozgopodobnyie strukturyi: spravochnoe posobie. Tom pervyiy. [Tekst] – K.: Naukova dumka, 2011. – 460 s.
Zakon Ukrainyi ot 25 marta 1992 g. # 2232-XII «O vseobschey voinskoy obyazannosti i voennoy sluzhbe»
