Детальная информация

Разработан модуль text2dsl, преобразующий русскоязычные условия и готовые решения задач по планиметрии в описание на языке ToKnow Geometry. Введено промежуточное представление (англ. intermediate representation, IR) для хранения извлечённых объектов, условий, числовых данных, целей и шагов решения. Реализованы детерминированное извлечение по правилам, извлечение с помощью большой языковой модели и комбиниро- ванный способ с резервным использованием результата правил. Экспериментальная проверка включала 22 сценария, 9 методов и 198 наблюдений. Извлечение по правилам обеспечило структурную валидность 100% и средний итоговый балл 87,14. Использование результата правил при ошибке языковой модели повысило структурную валидность с 77 до 92%. Модуль может использоваться как входной компонент системы ToKnow Geometry. Основное ограничение связано с полнотой извлечения данных из сложных формулировок.

The text2dsl module was developed to transform Russian-language problem statements and previously written solutions in planimetry into descriptions in the ToKnow Geometry language. An intermediate representation (IR) was introduced to store extracted objects, conditions, numerical data, goals, and solution steps. Three extraction methods were implemented: deterministic rule-based extraction, extraction using a large language model, and a combined method using rule-based results as a fallback. The experimental evaluation included 22 scenarios, 9 methods, and 198 observations. Rule-based extraction achieved a structural validity rate of 100% and an average overall score of 87.14. Using rule-based results when the language model failed increased the structural validity rate from 77% to 92%. The module can be used as an input component of the ToKnow Geometry system. Its main limitation concerns the completeness of data extraction from complex formulations.