Formal-logical approach to building analysis systems of knowledge in different domains

• Published in: PROBLEMS IN PROGRAMMING
• Date: 2026
• Issue: 2-3
• Pages: 382-389
• ISSN: 1727-4907
• Author Affiliations: O.V. Palagin — Glushkov Institute of Cybernetics NAS of Ukraine; S.L. Kryvyi — Glushkov Institute of Cybernetics NAS of Ukraine; D.S. Bibikov — Kiev Taras Shevchenko National University; V.Yu. Velychko — Kiev Taras Shevchenko National University; K. Markov — Institute of Mathematics and Informatics of the Bulgarian Academy of Sciences; K. Ivanova — Institute of Mathematics and Informatics of the Bulgarian Academy of Sciences; I. Mitov — Institute of Mathematics and Informatics of the Bulgarian Academy of Sciences
• Keywords: дозволяє семантичним пошуко- вим системам долати багато з недоліків, large language models, knowledge mining, багатовимірна семантика, алгоритми та структури даних, база знань, семантичне моделювання, академічні бази даних, автоматизований семантичний аналіз, textmining
• Main Authors: Palagin, O.V., Kryvyi, S.L., Bibikov, D.S., Velychko, V.Yu., Markov, K., Ivanova, K., Mitov, I.
• Format: Article
• Language: Ukrainian
• Published: PROBLEMS IN PROGRAMMING 2026
• Subjects: UDC 51.681.3
• Online Access: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/926
• Journal Title: Problems in programming

We proposed a formal statement of the problem of knowledge extraction from natural language objects. For manipulation, analysis and transformation of texts the notion of an algebraic system of list structures is introduced. For presentation and storage of semantic networks it is offered to use reali...