A method for formalizing educational texts

Context and relevance. The formalization of educational texts is necessary for content analysis, checking the logic of exposition, and developing computer-based support for learning; however, arbitrary verbal texts are difficult to formalize automatically without taking their genre and functional features into account. Objective. The study aims to develop a method for transforming an educational text into a formal model that preserves the content and sequence of presentation of the educational material as fully as possible. Hypothesis. If an educational text is considered as a regulatory text consisting of a sequence of denotative situations, each sentence can be represented through a predicate, actants, circumstants, and the results of the described action, while relations between sentences can be represented as edges of a directed graph. Methods and materials. The study draws on semantic syntax, the concept of proposition, frame structures, and graph-based knowledge representation; the material is a verbal educational text considered as an object of content formalization. Results. An algorithm is proposed in which sentences are sequentially transformed into groups of frame instances that form subgraphs and are then combined into a single graph based on matching content components and the logic of their introduction. Conclusions. The method provides a basis for constructing ontologies of subject-domain concepts, identifying coherence violations, and developing computer-based tools to support assessment of learning outcomes and learners' self-study.

1. Арутюнова, Н.Д. (1976). Предложение и его смысл: Логико-семантические проблемы. М.: Наука.
   Arutyunova, N.D. (1976). Predlozhenie i ego smysl: Logiko-semanticheskie problemy [Sentence and its meaning: Logical-semantic problems]. Moscow: Nauka. (In Russ.).
2. Болотнова, Н.С. (2011). О типологии регулятивных структур в тексте как форме коммуникации. Вестник Томского государственного педагогического университета, 3(105), 34–40.
   Bolotnova, N.S. (2011). O tipologii regulyativnykh struktur v tekste kak forme kommunikatsii [On the typology of regulative structures in the text as a form of communication]. Vestnik Tomskogo gosudarstvennogo pedagogicheskogo universiteta, 3(105), 34–40. (In Russ.).
3. Большакова, Е.И., Воронцов, К.В., Ефремова, Н.Э., Клышинский, Э.С., Лукашевич, Н.В., Сапин, А.С. (2017). Автоматическая обработка текстов на естественном языке и анализ данных: Учебное пособие. М.: Изд-во НИУ ВШЭ.
   Bolshakova, E.I., Vorontsov, K.V., Efremova, N.E., Klyshinsky, E.S., Lukashevich, N.V., Sapin, A.S. (2017). Avtomaticheskaya obrabotka tekstov na estestvennom yazyke i analiz dannykh: Uchebnoe posobie [Natural language processing and data analysis: Textbook]. Moscow: HSE Publ. (In Russ.).
4. Быкова, В.В. (2014). О мерах целостности графов: обзор. Прикладная дискретная математика, (4(26)), 96–111. https://doi.org/10.17223/20710410/26/11
   Bykova, V.V. (2014). O merakh tselostnosti grafov: obzor [On measures of graph integrity: A survey]. Prikladnaya diskretnaya matematika, (4(26)), 96–111. (In Russ.). https://doi.org/10.17223/20710410/26/11
5. Воронов, М.В. (2022). Моделирование структуры представленных в учебных текстах знаний. Педагогика информатики, (1–2), 99–108.
   Voronov, M.V. (2022). Modelirovanie struktury predstavlennykh v uchebnykh tekstakh znanii [Modeling the structure of knowledge presented in educational texts]. Pedagogika informatiki, (1–2), 99–108. (In Russ.).
6. Воронов, М.В. (2023). Метод формализации описания технологических процессов. Информатика и кибернетика, 3(33), 50–57.
   Voronov, M.V. (2023). Metod formalizatsii opisaniya tekhnologicheskikh protsessov [A method for formalizing the description of technological processes]. Informatika i kibernetika, 3(33), 50–57. (In Russ.).
7. Галимова, Х.Н. (2021). Семантический синтаксис и пропозиция как единица пропозиционального анализа текстов. Балтийский гуманитарный журнал, 10(3(36)), 255–258. https://doi.org/10.26140/bgz3-2021-1003-0062
   Galimova, Kh.N. (2021). Semanticheskii sintaksis i propozitsiya kak edinitsa propozitsionalnogo analiza tekstov [Semantic syntax and proposition as a unit of propositional analysis of texts]. Baltiiskii gumanitarnyi zhurnal, 10(3(36)), 255–258. (In Russ.). https://doi.org/10.26140/bgz3-2021-1003-0062
8. Ершов, А.П. (1985). Машинный фонд русского языка (Внешняя постановка вопроса). Вопросы языкознания, (2), 51–53.
   Ershov, A.P. (1985). Mashinnyi fond russkogo yazyka (Vneshnyaya postanovka voprosa) [Machine fund of the Russian language (External statement of the problem)]. Voprosy yazykoznaniya, (2), 51–53. (In Russ.).
9. Зацман, И.М. (2009). Семиотическая модель взаимосвязей концептов, информационных объектов и компьютерных кодов. Информатика и ее применение, 3(2), 65–81.
   Zatsman, I.M. (2009). Semioticheskaya model vzaimosvyazei kontseptov, informatsionnykh obektov i kompyuternykh kodov [A semiotic model of relationships between concepts, information objects and computer codes]. Informatika i ee primenenie, 3(2), 65–81. (In Russ.).
10. Маторин, С.И., Михелев, В.В. (2021). Системно-объектный детерминантный анализ. Построение таксономии предметной области. Искусственный интеллект и принятие решений, (1), 15–24. https://doi.org/10.14357/20718594210102
    Matorin, S.I., Mikhelev, V.V. (2021). Sistemno-obektnyi determinantnyi analiz. Postroenie taksonomii predmetnoi oblasti [System-object determinant analysis. Constructing a taxonomy of a subject area]. Iskusstvennyi intellekt i prinyatie reshenii, (1), 15–24. (In Russ.). https://doi.org/10.14357/20718594210102
11. Новиков, А.И. (1983). Семантика текста и ее формализация. М.: Наука.
    Novikov, A.I. (1983). Semantika teksta i ee formalizatsiya [Text semantics and its formalization]. Moscow: Nauka. (In Russ.).
12. Новиков, А.И., & Нестерова, Н.М. (1991). Реферативный перевод научно-технических текстов. М.: Наука.
    Novikov, A.I., & Nesterova, N.M. (1991). Referativnyi perevod nauchno-tekhnicheskikh tekstov [Abstract translation of scientific and technical texts]. Moscow: Nauka. (In Russ.).
13. Пешкова, Н.П. (2015). Семантика и смысл текста: >, <, =, #? (экспериментальный подход к теоретическим проблемам). Вестник Челябинского государственного университета. Филология. Искусствоведение, 15(370), 96, 69–77.
    Peshkova, N.P. (2015). Semantika i smysl teksta: >, <, =, #? (eksperimentalnyi podkhod k teoreticheskim problemam) [Semantics and meaning of text: >, <, =, #? (An experimental approach to theoretical problems)]. Vestnik Chelyabinskogo gosudarstvennogo universiteta. Filologiya. Iskusstvovedenie, 15(370), 96, 69–77. (In Russ.).
14. Пименов, В.И., Воронов, М.В. (2021). Формализация регулятивных текстов. Информатика и автоматизация, 20(3), 562–590. https://doi.org/10.15622/ia.2021.3.3
    Pimenov, V.I., Voronov, M.V. (2021). Formalizatsiya regulyativnykh tekstov [Formalization of regulatory texts]. Informatika i avtomatizatsiya, 20(3), 562–590. (In Russ.). https://doi.org/10.15622/ia.2021.3.3
15. Прияткина, А.Ф. (1990). Русский язык. М.: Высшая школа.
    Priyatkina, A.F. (1990). Russkii yazyk [Russian language]. Moscow: Vysshaya shkola. (In Russ.).
16. Сидоров, Е.В. (1987). Проблемы речевой системности. М.: Наука.
    Sidorov, E.V. (1987). Problemy rechevoi sistemnosti [Problems of speech systematicity]. Moscow: Nauka. (In Russ.).
17. Турецкий, В.Я. (2002). Математика и информатика (3-е изд., испр. и доп.). М.: ИНФРА-М.
    Turetskii, V.Ya. (2002). Matematika i informatika [Mathematics and informatics] (3rd ed., rev. and enl.). Moscow: INFRA-M. (In Russ.).
18. Хорохордина, О.В. (2013). Инструкция как тип текста. Мир русского слова, (4), 7–14.
    Khorokhordina, O.V. (2013). Instruktsiya kak tip teksta [Instruction as a type of text]. Mir russkogo slova, (4), 7–14. (In Russ.).
19. Lochter, J.V., Pires, P.R., Bossolani, C., Yamakami, A., Almeida, T.A. (2018). Evaluating the impact of corpora used to train distributed text representation models for noisy and short texts. In 2018 International Joint Conference on Neural Networks (IJCNN) (pp. 1–8). IEEE. https://doi.org/10.1109/IJCNN.2018.8489355
20. Qu, K., Li, K.C., Wong, B.T.M., Wu, M.M.F., Liu, M. (2024). A survey of knowledge graph approaches and applications in education. Electronics, 13(13), Article 2537. https://doi.org/10.3390/electronics13132537
21. Walter, B., Hammes, J., Piechotta, M., Rudolph, S. (2017). A formalization method to process structured natural language to logic expressions to detect redundant specification and test statements. In 2017 IEEE 25th International Requirements Engineering Conference (RE) (pp. 263–272). IEEE. https://doi.org/10.1109/RE.2017.38