В статье исследуется компьютерный аспект эвристической методологии Д. Пойа в образовательном процессе. Исследование выполнено в рамках си-стемы автоматического решения планиметрических задач. Исследован процесс перехода от описания задачи на естественном языке к формальному описанию на языке прикладной онтологии и построению чертежа. Процесс использует ме-тод когнитивных схем, интегрирующий знания о естественном языке, предмет-
The article considers a computer-related aspect of George Polya's heuristic technique in the educational process. The study has been carried out within a system for automatic solving planimetric problems. The process of transition from the de-scription of a problem in natural language to a formal description and drafting has been studied. The process uses the approach of cognitive schemes for the subject area, which integrates knowledge of natural language and interactive visualization of the solution. A method for the ellipsis resolution based on cognitive semantics has been used when processing the text of the problem. Experiments that generally con-firm the prospects for the developed approach are described. Expansion of research in the described direction is proposed.
