M.V. Voronov - Dr.Sc. (Eng.), Professor, Faculty of Information Technologies, Moscow State Psychology and Pedagogical University E-mail: mivoronov@yandex.ru

The problem of formalization of knowledge presented in verbal form is considered in the article. A specific object of consider-ation is the description of technologies (technological text). There are training materials, instructions, rules, etc. Technological texts are described verbally that leads to difficulties to use ICT .The target is set: to create a tool that provides the possibility of submitting the original text in its formalized representation. Technology text is a logically related set of operations. The logic of the text is established by its author, and it should to be kept. As a rule, every simple technological action might be described in one sentence. Such a sentence introduces a new object to be considered (Objects formalized representation has to be constructed). Or the sentence describes already entered object properties (Object description should be filled up with new features). Or the sentence describes the technological action (This action should be recorded as a special formalism). The solution of two first tasks is known. The article focuses on the formalization of an individual technological action. The main role in the description of the process of action belongs to the concept-action. This concept describes by frame. It\'s slot-names described by the type of relationship in which an action may be with actors. Slots values is actors actions (sirkonstanty) The article describes algorithms of formalization of subject concepts and concepts of action, as well as introduction and filling the respective frames.There are discussed the possibilities of practical application of structured descriptions of technologies.

 

1. Voronov M.V. Razrabotka metodov formalizacii znanijj (tekhnologicheskijj podkhod). M.: SGU. 2016. 262 s.
2. Sedelnikov E.A. Struktura prostogo predlozhenija s tochki zrenija sintagmaticheskikh i paradigmaticheskikh otnoshenijj // Filologicheskie nauki. 1961. № 3. S. 66-77.
3. Tener L. Osnovy strukturnogo sintaksisa: Per. s franc. Redkol.: G.V.Stepanov (pred.) i dr.; Vstup. st. i obshh.red. V.G. Gaka. M.: Progress. 1988. 656 s.
4. Antonov I.V., Voronov M.V. Metod postroenija ontologii predmetnojj oblasti // Vestnik Sankt-Peterburgskogo gosudarstvennogo universiteta tekhnologii i dizajjna. Serija 1. Estestvennye i tekhnicheskie nauki. 2010. Vyp. 2. S. 28-32.
5. Voronov M.V. Razrabotka vpolne gibkikh otkrytykh informacionnykh sistem // Trudy 4-jj Mezhdunar. konf. «Novye informacionnye tekhnologii. Minsk-2000». 5-7 dekabrja 2000. S. 20-28.
6. Voronov M.V., Pismenskijj G.I. O Povyshenii ehffektivnosti samopodgotovki // Innovacii v obrazovanii 2016. № 11. S. 16-28.