Сопоставление ситуаций в условиях альтернативного немонотонного планирования

Данная работа посвящена разработке новых средств программирования для планирования решений сложных задач. Поставлена проблема эффективного представления и управления знаниями в планирующей системе, использующей принцип альтернативного немонотонного планирования. На примере решателя геометрических задач рассмотрено ее решение с помощью Rete-алгоритма, обеспечивающего эффективное сопоставление заданного множества ситуаций с множеством фактов. Алгоритм отличается хорошими сложностными характеристиками и используется для реализации сопоставителя ситуаций, складывающихся в базе знаний системы во время решения задач.