Символьное моделирование задач и конструирование программ

Представлена обновленная методология символьного моделирования программируемых задач, рассчитанная на построение систем знаний о задачах, предназначенных для автоматизированного конструирования программ. Задачные конструкции создаются посредством связей по памяти между задачами, представленными в виде задачных конструктивных объектов. Определены три типа функций связи по памяти, каждая из которых позволяет поставить в соответствие паре задач некоторую третью задачу, образованную из этой пары. Представлением задачной области, рассчитанным на формализацию задачных знаний и реализацию процесса конструирования задач, служит задачный граф. Искомая конструкция задается спецификацией задачи, содержащей описание ее памяти, ограничений на число задачных вершин (и, если необходимо, ограничений, связанных с точностью результата и др.). Механизм построения разрешающих структур ставит в соответствие спецификации исходной задачи подграф на задачном графе путем реализации трех типов поведения в соответствии с тремя типами запросов на конструирование.