30 лет методам решения геометрических ограничений: каковы дальнейшие перспективы?

В 1975 году, с помощью Фортрана (в то время еще не существовал Пролог), Мишель Бутион написал для своей диссертации, вероятно, одну из первых геометрических эскпертных систем: для решения геометрических задач на плоскости с помощью циркуля и линейки. Таким образом, вот уже около 30 лет методы решения геометрических задач с помощью ограничений, в качестве раздела вычислительных наук, являются областью активных исследований, породившей разнообразные приложения (в CAD/CAM, роботике, компьютерной графике, обучающих программах - таких как Cabri Geometre, чисто математических исслодованиях, программировании в ограничениях и др.) В докладе будет предпринята попытка ответить на вопрос: что же дальше? В чем состоят научные проблемы, многообещающие пути исследований, а также выпавшие из поля зрения подходы?



    Доминик Микелучи родился в 1959 году во Франции. В 1987 году получил звание доктора философии по теории вычислительных систем и диплом архитектора в 1989. С 2001 года - профессор теории вычислительных систем в Дижоне, Франция. Его исследовательский интерес включает геометрическое моделирование, устойчивость геометрических вычислений и близкие вычислительные области, задачи соответствия форм в медицинских приложениях, геометрические ограничения. В 2003 и 2004 годах Доминик - один из организаторов совещания Национального Центра Научных Исследований Франции в области решения геометрических ограничений.