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