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