PREDICATE DATA ANALYSIS FOR BUILDING A LOGICAL NETWORK-BASED SYSTEM FOR OPTIMAL VACATION SPOT SELECTION

Authors

DOI:

https://doi.org/10.32782/IT/2025-1-4

Keywords:

subject area, decomposition, finite predicate algebra, mathematical model, logical network, binary relation, bipartite graph.

Abstract

Relevance. The rapid development of information technologies significantly increases the volume of data that needs to be processed. Therefore, the development and application of new mathematical methods for analyzing data of various types are of great importance. To address this issue, the language of finite predicates was chosen for systematic data analysis, as it allows for the decomposition of multi-place relations. Objective. From a theoretical perspective, predicate analysis facilitates the formalization of information represented in both digital and natural language formats. Alternatively, an appropriate decomposition of a multidimensional relation into a composition of binary relations can enhance information processing efficiency when determining an optimal solution by enabling parallel processing of binary relations corresponding to the nodes of a logical network. The objective of this study is to investigate and decompose the problem domain to construct a mathematical model in the form of a logical network. Methodology. The approach to constructing a logical network by decomposing complex multi-place predicates into a combination of simpler binary predicates enables the development of an information system that not only performs analysis but also synthesis and comparison tasks. This is achieved by applying linear logical transformations at each step of the network’s operation. Scientific novelty. A detailed systematic analysis of a specific subject area allows for the construction of a mathematical model of a particular selection problem. Thus, the complex system for selecting a vacation spot was represented as a logical model consisting of a composition of nine binary predicates. In the article, they are presented in the form of bipartite graphs and corresponding formulas. The developed mathematical model includes a predicate dependent on ten variables and serves as the basis for effective analysis and comparison of options. Conclusions. The practical significance of this work lies in the subject area analysis through data decomposition during the construction of a mathematical model for a logical network. This approach simplifies many-tomany relationships into one-to-one relationships, thereby facilitating faster information processing. Ultimately, the constructed logical network effectively assists in finding the optimal vacation type for a client based on specified parameters, as well as solving analysis, synthesis, and comparison tasks.

References

Вдовиченко І. Н., Хоцкіна В. Б. Інтелектуальні системи: навч. посіб. Запоріжжя : ЗНУ, 2021. 224 с.

New Information Technologies, Simulation and Automation / за ред. І. І. Мельника. Львів : ЛНУ, 2022. 310 с.

Менькова К. І., Зозульов О. В. Структурно-логічна схема бізнес-моделі підприємства як інструмент аналізу та оцінки стійкості. Економічний вісник НТУУ «КПІ». 2020. № 1(17). С. 330–339.

Сидоренко О. В., Гречко В. В. Логічна модель формування сукупності показників оцінки функціонування національної економіки. Таврійський науковий вісник. Серія: Економіка. 2024. № 21. С. 28–34.

Урбанський М. В. Формування структурно-логічної моделі вдосконалення стратегічного управління. Проблеми і перспективи економіки та управління. 2024. № 3(39). С. 50–58.

Вечірська І. Д., Гончаров І. Е., Хамітов Т. М. Побудова логічної мережі для діагностики та управління надзвичайними ситуаціями. Біоніка інтелекту. 2015. № 2 (85). С. 41–51.

Ляшик В., Шубін І. Метод логічних мереж для моделювання систем адаптивного тестування знань. Сучасний стан наукових досліджень та технологій в промисловості. 2023. № 4 (26). С. 45–57.

Vechirska I., Vechirska A. Construction of a mathematical model for finding a dance studio in the form of a logical network using finite predicate algebra. Computer Systems and Information Technologies. 2024. № 4. С. 6–14.

Козирєв А. Д., Шубін І. Ю. Метод лінійно-логічних операторів та логічних рівнянь у завданнях видобування інформації. Сучасний стан наукових досліджень та технологій в промисловості. 2024. № 1(27). С. 81–95. DOI: https://doi.org/10.30837/ITSSI.2024.27.081

Shubin I., Kozyriev A., Liashik V., Chetverykov G. Methods of adaptive knowledge testing based on the theory of logical networks. CEUR Workshop Proceedings. 2021. P. 1184–1193.

Published

2025-04-30