Матрично-векторное описание процессов апостериорного вывода в ФЗ АБС. Разработка программных комплексов, использующих алгебраические байесовские сети как базы знаний с вероятностной неопределенностью. Формализация задачи логико-вероятностного вывода.