Method for solving quantifier linear equations based on the algebra of linear predicate operations

Zoya Dudar, Volodymyr Liashyk

Abstract


The subject involves structured approaches that extend the existing set of mathematical tools for processing complex relationships within databases and computational systems. This is particularly relevant for applications requiring efficient information retrieval, knowledge representation, and logical inference in automated decision-making environments. The task of this article is to develop a method for solving quantifier linear equations using the algebra of linear predicate operations, aimed at improving database query optimization and enhancing the capabilities of intelligent systems. The methods used in this research include algebraic techniques, logical operations, and matrix-based transformations to model and efficiently solve the predicate equations. By leveraging the algebra of finite predicates, the proposed approach enables a more systematic and scalable way to handle logical dependencies and optimize computational workflows. The method integrates linear logical operators, ensuring that complex queries and constraints in databases can be represented and processed through formal mathematical models. Additionally, it introduces a framework that enhances the structural representation of knowledge, facilitating intelligent data analysis. Because of the study, a formal method was developed to solve quantifier linear equations, enabling more effective query optimization, logical reasoning, and decision-support mechanisms within expert and automated information systems. The research demonstrates that algebraic approaches can significantly improve the efficiency of information retrieval processes, particularly in intelligent databases where relational constraints and dependencies play a crucial role. Benchmarks conducted on synthetic datasets validate the scalability of the method, showing that it maintains linear execution time growth even with increasing data complexity. Conclusion: the proposed method expands the mathematical foundation for solving logical equations in computational environments, providing a powerful tool for intelligent systems and database optimization. The ability to formalize and process complex logical relationships contributes to improved decision-making accuracy and automation efficiency.

Keywords


quantifier linear equations; algebraic methods; formal modeling; logical methods; algebra of finite predicates; predicate equation

Full Text:

PDF

References


Karataiev, О., & Shubin, І. Formal Model of Multi-Agent Architecture of a Software System Based on Knowledge Interpretation. Radioelectronic and Computer Systems, 2023, no. 4, pp. 53–64. DOI: 10.32620/reks.2023.4.05.

Shubin, I., Kozyriev, A., Liashyk, V., & Chetverykov, G. Methods of adaptive knowledge testing based on the theory of logical networks. CEUR Workshop Proceedings, 2021, vol. 2870, pp. 1184-1193. Available at: https://ceur-ws.org/Vol-2870/paper86.pdf (accessed May 11, 2024).

Shubin, I. Development of Conjunctive Decomposition Tools. CEUR Workshop Proceedings, 2021, vol. 2870, pp. 890-900. Available at: https://ceur-ws.org/Vol-2870/paper67.pdf (accessed May 15, 2024).

Jansma, A., Mediano, P. A. M., & Rosas, F. E. The Fast Möbius Transform: An algebraic approach to information decomposition, 2024. DOI: 10.48550/arXiv.2410.06224.

Dudar, Z., & Litvin, S. Metod ontolohichnoho opysu v pobudovi servis-oriyentovanykh system rozpodilenoho navchannya [Formalization and Application of Algebraic Methods in Automated Intelligent Systems]. Suchasnyy stan naukovykh doslidzhen' ta tekhnolohiy v promyslovosti — Innovative Technologies and Scientific Solutions for Industries, 2024, pp. 39-53. DOI: 10.30837/ITSSI.2024.27.039. (In Ukrainian).

Zhanlav, T., Otgondorj, Kh., Mijiddorj, R.-O., & Saruul, L. A unified approach to the construction of higher-order derivative-free iterative methods for solving systems of nonlinear equations. Proceedings of the Mongolian Academy of Sciences, 2024, vol. 64, no. 02, pp. 24–35. DOI: 10.5564/pmas.v64i02.3649.

Shubin, I., & Karataiev, O. Problemy povtornoho vykorystannya znan'u protsesi proyektuvannya prohramnykh system [Reuse of information based on the interpretation of knowledge]. Suchasnyy stan naukovykh doslidzhen' ta tekhnolohiy v promyslovosti – Innovative Technologies and Scientific Solutions for Industries, 2023, no. 2, pp. 62-71. DOI: 10.30837/ITSSI.2023.24.062. (In Ukrainian).

Omran, P. G., Wang, Z., & Wang, K., Learning Rules with Attributes and Relations in Knowledge Graphs. AAAI Spring Symposium: MAKE, 2020, vol. 3121. Available at: https://ceur-ws.org/Vol-3121/paper10.pdf (accessed 2 April 2024).

Vysotska V., Shubin I., Mezentsev M., Kobernyk K., & Chetverikov G. Ukrainian Big Data: The Problem Of Databases Localization. The 8th International Conference on Computational Linguistics and Intelligent Systems. (COLINS-2024), Lviv, Ukraine, IEEE, April 12–13, 2024, vol. 3688, pp. 122–133. Available at: https://ceur-ws.org/Vol-3688/paper9.pdf (аccessed May 14, 2024).

Pellissier-Tanon, T., Weikum, G., & Suchanek, F., YAGO 4: A Reason-able Knowledge Base. 17th International Conference, ESWC 2020, Heraklion, Crete, Greece, IEEE, 2020, pp. 583-596. DOI: 10.1007/978-3-030-49461-2_34.

Barkovska, O. Research into Speech-to-text Transformation Module in the Proposed Model of a Speaker’s Automatic Speech Annotation. Innovative Technologies and Scientific Solutions for Industries, 2022, no. 4, vol. 22, pp. 5-13. DOI: 10.30837/ITSSI.2022.22.005.

Martinsson, A., & Su, P. Mastermind with a Linear Number of Queries. Journal of Mathematical Analysis and Applications, 2023, no. 3, pp. 92-94. DOI: 10.48550/arXiv.2011.05921.

Kamide, N. Sequential Fuzzy Description Logic. Reasoning for Fuzzy Knowledge Bases with Sequential Information. 2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL), Miyazaki, Japan, IEEE, 2020 pp. 218–223. DOI: 10.1109/ISMVL49045.2020.000-2.

Qing-Hu, H., & Yarong, W. Rational solutions to the first order difference equations in the bivariate difference field. Journal of Symbolic Computation, 2024, vol. 124. DOI: 10.1016/j.jsc.2024.102308.

Shivappriya, S. N., Priyadarsini, M. J. P., Stateczny, A., Puttamadappa, C., & Parameshachari, B. D. Cascade Object Detection and Remote Sensing Object Detection Method Based on Trainable Activation Function. Remote Sensing, 2021, vol. 13, no. 2. DOI: 10.3390/rs13020200.

Zhao, Y., & Tao, C. The accurate and efficient solutions of linear systems for generalized sign regular matrices with certain signature. Journal of Computational and Applied Mathematics, 2023, vol. 431, article no. 115280. DOI: 10.1016/j.cam.2023.115280.

Shubin, I., Snisar, S., & Litvin, S. Categorical Analysis of Logical Networks in Application to Intelligent Radar Systems. 2020 IEEE International Conference on Problems of Infocommunications. Science and Technology (PIC S&T), 6–9 October 2020, Kharkiv, Ukraine, IEEE, pp. 235-238. DOI: 10.1109/picst51311.2020.9467893.

Karataiev A., & Shubin I. Formalna model multyahentnoi arkhitektury prohramnoi systemy na osnovi interpretatsii znan [Formal model of multi-agent architecture of a software system based on knowledge interpretation]. Radioelectronic and Computer Systems, 2023, no. 4, pp. 53–64. DOI: 10.32620/reks.2023.4.05.

Chen, Z., & Wang, Y. Knowledge graph completion: A review. IEEE Access, 2020, vol. 8, pp. 192435–192456. DOI: 10.1109/ACCESS.2020.3030076.

Beskorovainyi, V., Kuropatenko, O., & Gobov, D. Optimization of transportation routes in a closed logistics system. Innovative Technologies and Scientific Solutions for Industries, 2019, pp. 24-32. DOI: 10.30837/2522-9818.2019.10.024.




DOI: https://doi.org/10.32620/reks.2025.1.07

Refbacks

  • There are currently no refbacks.