20190182

S.S. Kurbatov, I.B.Fominykh, A.B. Vorobyev	

Applied Aspects of the Integrated Problem Solving System with Natural Language Interface

В: Уточните как разработанная система будет реагировать, если сформулированная на естественном языке геометрическая задача не имеет решения или имеет несколько альтернативных решений?

О: Если геометрическая задача не имеет решения, возможны 2 случая:
1 – система может доказать, что при некоторых допустимых в задаче условиях решений нет. Как раз для приведенной в презентации задаче возможно отсутствие решений (построенная прямая параллельна заданной в условии). Этот случай фиксируется на отдельном чертеже  (как и случай множества решений – прямые совпадают).
2 – условия содержат невыполнимое за конечное число шагов построение, например, сводятся к трисекции угла. В текущей версии система сообщит о неудаче, связанной с исчерпанием ресурсов.  Предполагается, что в онтологию будут внесены знания о такого рода задачах и без запуска решателя будет сообщено об отсутствия решения.
Вопрос об использовании других инструментов, кроме циркуля и линейки, (например, невсиса и квадратрисы) не рассматривался.