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