Эта статья посвящена описанию декларативного языка, который используется для представления геометрических чертежей. Декларативный язык используется для генерации 3D модели многогранника по его ортогональным проекциям. Входными данными для процедуры синтеза являются описанные на данном языке ортогональные проекции, а результатом - сгенерированная 3D модель многогранника. Подход к решению проблемы восстановления 3D объектов напоминает интуитивные рассуждающие процессы, используемые в действиях человека. Процедура конструкции была разработана, чтобы моделировать графический процесс рассуждения с естественными ограничениями. Чтобы поддерживать задачу был представлен язык, достаточно выразительный для моделирования, ые понятия и процедур описательной геометрии. В данной работе было показано, как графические объекты и отношения, составляющие ортогональные проекции могут быть представлены через выражения языка. Точно так же были представлены графические понятия, требуемые для интерпретаций проекций в конструкции твердой модели. Наконец были проиллюстрированы процедуры конструкции для воспроизведения 3D модели, которые напоминают интуитивные процессы, используемые в человеческих действиях. Данные результаты поддерживают гипотезу, что графические понятия могут быть представлены абстрактным способом через исчисление лямбды, разрешающее нам рассмотреть интеграцию графических и лингвистических понятий в общем представительном формализме.

6. Luis Pineda "Logical Representation in Drafting and CAD Systems "

http://leibniz.iimas.unam.mx/~luis/

Эта статья посвящена описанию декларативного языка, который используется для представления геометрических чертежей для архитектуры компьютера. Здесь обсуждаются причины использования именно такого подхода для решения геометрических задач, способ применения декларативного языка а также архитектура CAD систем, основанная на интерпретации декларативного языка.