ИСТИНА

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