Paraphrasing in the System of Automatic Solution of Planimetric Problems

An approach for synthesizing natural language sentences from ontological representation is developed. The approach is based on the method of semantically oriented paraphrasing. Preliminary results of computer realization of the approach in the subject area of planimetric problem solving are obtained. Experimental results in the aspect of synthesizing descriptions for inductive and plausible reasoning are discussed. Visualization tools (JSXGraph) provide a high visualization of synthesis and paraphrasing. In the applied aspect, the approach focuses on the creation of training systems that integrate the capabilities of linguistic processing of the problem text, automatic solution and interactive visualization. #COMESYSO1120.