ИСТИНА

В диссертационной работе проблема планирования решений сложных задач рассматривается на примере решателя геометрических задач (РГЗ, решатель). Работа состоит из четырех глав. В первой главе описана организация РГЗ, и показано, каким образом в системе решена проблема сочетания разных методов планирования при решении задачи. Вводится понятие управляющего стереотипа - элемента базы знаний, представляющего знания о методе планирования и позволяющего управлять ходом решения. Вторая глава посвящена стратегиям планирования, применяемым в решателе. Даются описания каждой используемой стратегии, и обсуждаются вопросы их совместного применения при решении задач. Особое внимание уделено ассоциативному планированию. Вводится основное понятие ассоциативного планирования - близкая (частично распознанная) ситуация. Рассматривается применение близких ситуаций для построения уточнений планов. Особенности реализации РГЗ обсуждаются в третьей главе. Детально рассмотрен алгоритм поиска близких ситуаций и строение сетевых структур, используемых при распознавании ситуаций. Приводятся критерии отбора близких ситуаций для получения эффективных планов. Также, в третьей главе приведено описание реализации программной среды поддержки планирования, являющейся составной частью решателя. В четвертой главе разбираются примеры решений задач, составленных РГЗ. На примерах продемонстрировано совместное применение разных методов планирования решений.