Constructive Method of Formalization of Instruction Texts

The problem of formalization of text data, which lies at the intersection of linguistics, systems theory and information technology, is considered. The focus is on the process of translating the content presented in the instructions into formal structures. The method proposed is to extract content from the sentence of the instruction text, which allows for an effective conversion of verbal information into formalized data.

1. Anderson P.W. More Is Different. Science, 1972, No. 177 (4047), pp. 393-396.
2. Serebryakova S.V., Milostivaya A.I. Semanticheskaya emergentnost' kak perevodcheskaya problema. Vestnik VolGU. Seriya 2, Yazykovedenie. 2017. T. 16. No. 3. pp. 48-57.
3. Walter Benedikt, Hammes Jakob, Piechotta Marco, Rudolph Stephan. A Formalization Method to Process Structured Natural Language to Logic Expressions to Detect Redundant Specification and Test Statements. IEEE 25th International Requirements Engineering Conference (RE) - Lisbon. 2017. pp. 263–272.
4. Voronov M.V., Zotov D.R., Kremkov M.V. Avtomatizatsiya protsessov formalizatsii tekhnologiy. Vestnik Sankt-Peterburgskogo Gosudarstvennogo Universiteta Tekhnologii i Dizaĭna. Seriya 1: Estestvennye i Tekhnicheskie Nauki. 2022, No. 4. pp. 5-10.
5. Bol'shoy entsiklopedicheskiy slovar': V 2 t. Glavnyy redaktor A.M. Prokhorov. T. 1. Moscow, 1991.
6. Sandakova M.V. Prilagatel'noe v pozitsii atributa i predikata. Vestnik Vyatskogo Gosudarstvennogo Gumanitarnogo Universiteta Filologicheskie Nauki. 2007, No. 16, pp. 94-100.
7. Novikov A.I. Tekst i ego smyslovye dominanty. Moscow: In-t Yazykovedeniya RAN. 2007, 224 p.
8. Pashchenko Yu.A. Predikativnost' i predikat v lingvistike i logike. Vestnik TGPi Gumanitarnye Nauki, pp. 70-72.
9. Arutyunova N.D., Sokrovennaya svyazka: K probleme predikativnogo otnosheniya. Izvestiya AN SSSR, Seriya LiyA. 1980, T. 39, No 4, pp. 347-358.
10. Nemchenko V.N. Vvedenie v yazykovedenie: uchebnik dlya vuzov / V.N. Nemchenko — 2-e izd., pererab., i dop — Moscow: Izdatel'stvo Yurayt. 2015 — 679 p.
11. Zakharov Victor, Krassovitskiy Alexander, Meirambekkyzy Zhazirakhanym, Ualiyeva Irina, Khoroshilov Aleksander, Khoroshilov Alexey. Automatic Creation Technologies of Declarative Tools for Clustering Media Documents. International Conference on Engineering Technologies and Computer Science (EnT). 2019, pp. 39–42.
12. Tenyer L. Osnovy strukturnogo sintaksisa. Moscow: Progress. 1988, 656 p.
13. Makarenko N.L. Verbotsentricheskaya teoriya sintaksicheskoy struktury vyskazyvaniya v kurse RKI i sovremennogo russkogo yazyka. Materialy VII Respublikan'skogo nauchno-prakticheskogo seminara Lingvodidaktika - Minsk, MGPU, 2020, pp. 66-75.
14. Dmitrievskiy A.A., Prakticheskie zametki o russkom sintaksise. Filologicheskie zapiski IV, 1877, pp. 3–38.
15. Sithole Vusi, Marshal Linda. Building Concept Hierarchies for the Internet of Things Patterns Using Domain-specific Dependency Knowledge. Open Innovations (OI). 2019, pp. 1–7.
16. Matematicheskaya entsiklopediya: glavnyy redaktor I.M.Vinogradov, t.v – Sovetskaya entsiklopediya, 1979 — 1104 p.
17. Voronov M.V., Konstruktsionno-imitatsionnoe modelirovanie slabostrukturirovannykh system. Izvestiya MAN VSh №4(42), 2007 g., pp.156-165.
18. Baturova T.V., Semanticheskiy analiz i sposoby predstavleniya smysla teksta v komp'yuternoy lingvistike. Programmnye sistemy i produkty. 2014, No4, 45-57.
19. Voronov M.V., Pimenov V.I., Formalizatsiya regulativnykh tekstov. Informatika i Avtomatizatsiya. 2021, Tom 20, No3, 562-589.